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

Conceptual Interaction Scenario: 
As part of the Conceptual Operating Model, a Conceptual Interaction Scenario is a story that frames how the components of a Conceptual Agent interacts to achieve Conceptual Outcome Events.This includes:1) A course of events represented by Business Object Flows depicting the steps towards the delivery of expected Conceptual Outcome Events.2) Conceptual Agents who participate to the story.

Documentation : https://framework.sysfeat.com/pages/f97e3146632b266e.htm

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

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

module SysFEAT.EA.f97e3146632b266e where -- ========== Conceptual Interaction Scenario

open import Agda.Primitive
open import SysFEAT.EA.f97e3119632b25f8 public -- Conceptual Behavior
open import SysFEAT.SOF.333f35ee5dde0c8c public -- Interaction Process Type
open import SysFEAT.EA.7c4094d2552717db public -- Business Function

ConceptualInteractionScenario : ClassOfClassOfBoundedIndividual
ConceptualInteractionScenario = ClassOfBoundedIndividual


--  ConceptualInteractionScenario is subTypeOf ConceptualBehavior
st-f97e3146632b266e-f97e3119632b25f8 : ConceptualInteractionScenario ⊏ₑ ConceptualBehavior
st-f97e3146632b266e-f97e3119632b25f8 = polySubTypeOf-identity

--  ConceptualInteractionScenario is subTypeOf InteractionProcessType
st-f97e3146632b266e-333f35ee5dde0c8c : ConceptualInteractionScenario ⊏ₑ InteractionProcessType
st-f97e3146632b266e-333f35ee5dde0c8c = polySubTypeOf-identity


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

-- -------------------------------------------------------------------------------------------- 
{- Business Function Participant: -}
-- Aggregate Member : Business Function Participant
BusinessFunctionParticipant : ClassOfClassOfBoundedIndividual
BusinessFunctionParticipant = ClassOfBoundedIndividual



--  BusinessFunctionParticipant is subTypeOf ConceptualParticipant
st-f97e4064632b354d-6a7098be67875823 : BusinessFunctionParticipant ⊏ₑ ConceptualParticipant
st-f97e4064632b354d-6a7098be67875823 = polySubTypeOf-identity

--  BusinessFunctionParticipant is subTypeOf BusinessFunction
st-f97e4064632b354d-7c4094d2552717db : BusinessFunctionParticipant ⊏ₑ BusinessFunction
st-f97e4064632b354d-7c4094d2552717db = polySubTypeOf-identity

-- Membership relation
membershipOfBusinessFunctionParticipant :  Linkage ConceptualInteractionScenario BusinessFunctionParticipant
membershipOfBusinessFunctionParticipant = make_upwardNestingRelation "businessFunctionParticipant membership" "nested businessFunctionParticipant"

-- Aggregation relation
aggregationOfBusinessFunctionBusinessFunctionParticipant :  Linkage BusinessFunctionParticipant BusinessFunction
aggregationOfBusinessFunctionBusinessFunctionParticipant = make_Relation "BusinessFunction aggregation" "aggregated BusinessFunction"

{- businessFunctionParticipant : derived relation obtained by composing
   membershipOfBusinessFunctionParticipant and aggregationOfBusinessFunctionBusinessFunctionParticipant
   It directly links an Conceptual Interaction Scenario to the final aggregated BusinessFunction
   hiding the reifying BusinessFunctionParticipant
-}
businessFunctionParticipant : Linkage ConceptualInteractionScenario BusinessFunction
businessFunctionParticipant = membershipOfBusinessFunctionParticipant  ∘  aggregationOfBusinessFunctionBusinessFunctionParticipant