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

Enterprise Stage: 
An Enterprise Stage is a past, current or future state of the Enterprise. Each stage represents an initiative comprising a purposeful set of activities whose primary purpose is focused on achieving a set of clearly defined objectives that may transcend organisational boundaries and consequently require integrated team working under the direction of an Architecture Governance Committee.

Documentation : https://framework.sysfeat.com/pages/7d28ee996630451d.htm

 - ============================== -}

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

module SysFEAT.EA.7d28ee996630451d where -- ========== Enterprise Stage

open import Agda.Primitive
open import SysFEAT.SOF.e78c5eb0661989f9 public -- Initiative Stage
open import SysFEAT.EA.036a3de3548f229e public -- Enterprise Initiative
open import SysFEAT.EA.fe1c250d678803b6 public -- Individual Resource Behavior
open import SysFEAT.EA.21ed240a689c08df public -- Value Proposition

EnterpriseStage : StateClass
EnterpriseStage = StateConcept


--  EnterpriseStage is subTypeOf InitiativeStage
st-7d28ee996630451d-e78c5eb0661989f9 : EnterpriseStage ⊏ₑ InitiativeStage
st-7d28ee996630451d-e78c5eb0661989f9 = polySubTypeOf-identity

--  EnterpriseStage is subTypeOf EnterpriseInitiative
st-7d28ee996630451d-036a3de3548f229e : EnterpriseStage ⊏ₑ EnterpriseInitiative
st-7d28ee996630451d-036a3de3548f229e = polySubTypeOf-identity

-- == Relationships =======================

{- Tactic: 
A Tactic is a Course of Action that represents part of the detailing of Strategies. A Tactic implements Strategies. For example, the Tactic  Call first-time customers personally  implements the Strategy  Increase repeat business. Tactics generally channel efforts towards Objectives. For example, the Tactic  Ship products for free  channels efforts towards the Objective  Within six months, 10% increase in product sales. 
-}
-- Aggregate Member : Tactic
Tactic : ClassOfOrderedEntity (lsuc(lzero))
Tactic = AggregateMember (lsuc(lzero))


-- Membership relation
membershipOfTactic :  Linkage EnterpriseStage Tactic
membershipOfTactic = make_upwardNestingRelation "tactic membership" "nested tactic"

-- Aggregation relation
aggregationOfIndividualResourceBehaviorTactic :  Linkage Tactic IndividualResourceBehavior
aggregationOfIndividualResourceBehaviorTactic = make_Relation "IndividualResourceBehavior aggregation" "aggregated IndividualResourceBehavior"

{- tactic : derived relation obtained by composing
   membershipOfTactic and aggregationOfIndividualResourceBehaviorTactic
   It directly links an Enterprise Stage to the final aggregated IndividualResourceBehavior
   hiding the reifying Tactic
-}
tactic : Linkage EnterpriseStage IndividualResourceBehavior
tactic = membershipOfTactic  ∘  aggregationOfIndividualResourceBehaviorTactic

postulate -- tactic is subTypeOf enterpriseCourseOfAction
  st-dd26e12e68a0a1a9-dd2696c768a1d406  : tactic   ⊏⋆ᵣ  enterpriseCourseOfAction 


{- Enterprise Objective: 
Business Capability that is exhibited by an Enterprise Stage with quantified measure (KPI) and potential geopolitical scope (Site) for a defined market segment (Business Partner).An Enterprise Objective is a quantifiable end that a company/organization wants to achieve for a given Enterprise Initiative.An Enterprise Objective may support an Enterprise Goal; it may be refined into sub-objectives.An Enterprise Objective may concern a defined Exhibited Capability and be addressed by a defined Tactic.
-}
-- Aggregate Member : Enterprise Objective
EnterpriseObjective : ClassOfClassOfIndividual
EnterpriseObjective = ClassOfIndividual

-- Membership relation
membershipOfEnterpriseObjective :  Linkage EnterpriseStage EnterpriseObjective
membershipOfEnterpriseObjective = make_upwardNestingRelation "enterpriseObjective membership" "nested enterpriseObjective"

-- Aggregation relation
aggregationOfValuePropositionEnterpriseObjective :  Linkage EnterpriseObjective ValueProposition
aggregationOfValuePropositionEnterpriseObjective = make_Relation "ValueProposition aggregation" "aggregated ValueProposition"

{- enterpriseObjective : derived relation obtained by composing
   membershipOfEnterpriseObjective and aggregationOfValuePropositionEnterpriseObjective
   It directly links an Enterprise Stage to the final aggregated ValueProposition
   hiding the reifying EnterpriseObjective
-}
enterpriseObjective : Linkage EnterpriseStage ValueProposition
enterpriseObjective = membershipOfEnterpriseObjective  ∘  aggregationOfValuePropositionEnterpriseObjective

postulate -- enterpriseObjective is subTypeOf stageObjective
  st-dd26941068a08da2-a56ba723689c4c95  : enterpriseObjective   ⊏⋆ᵣ  stageObjective