{- ============================== 
   Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Policy: 
A Policy is a Directive that is not directly enforceable whose purpose is to govern, guide or constrain the structure and Behavior Type of Agent Types in the enterprise. Policies provide the basis for rules and govern Behavior Types carried out by Agent Types.Example of Policys are Regulation Articles, Business Policys or Architecture principles.

Documentation : https://framework.sysfeat.com/pages/190c7429689664b5.htm

External references:
  OMG - BMM - Business Policy: https://www.omg.org/spec/BMM/1.3/PDF#page=45
  OMG - UAF - Rule: https://www.omg.org/spec/UAF/1.2/Beta1/DMM/PDF#Rule
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}

module SysFEAT.SOF.190c7429689664b5 where -- ========== Policy

open import Agda.Primitive
open import SysFEAT.SOF.515c6b23689335c3 public -- Directive

Policy : PropertyType
Policy = Property


--  Policy is subTypeOf Directive
st-190c7429689664b5-515c6b23689335c3 : Policy ⊏ₑ Directive
st-190c7429689664b5-515c6b23689335c3 = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Realized Policy: -}
realizedPolicy :  Linkage Policy Policy
realizedPolicy = make_subTypeOf "Realized Policy" "Realized Policy"

postulate -- realizedPolicy is subTypeOf realizedDirective
  st-01f10d3b689b501e-190c7a7f6896696e  : realizedPolicy  ⊏⋆ᵣ  realizedDirective

-- -------------------------------------------------------------------------------------------- 
{- Specialized Policy: -}
specializedPolicy :  Linkage Policy Policy
specializedPolicy = make_subTypeOf "Specialized Policy" "Specialized Policy"

postulate -- specializedPolicy is subTypeOf specializedDirective
  st-01f10d80689b50a2-190c79c26896690d  : specializedPolicy  ⊏⋆ᵣ  specializedDirective