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

Information Map: 
An Information Map is a Operating Property Map that is the top level grouping of Information Domains. Information Maps are used to provide navigationtop level entry points for Information Dictionary(ies) and to scope data management initiatives at the level of portfolio management ( Data Catalog), at the project level or at the Enterprise level (Enterprise Concept Map).

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

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

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

module SysFEAT.SOF.d6cd2d8e5ab98edc where -- ========== Information Map

open import Agda.Primitive
open import SysFEAT.UpperOntology.06710aeb68ed2d29 public -- Meta Family of Class
open import SysFEAT.SOF.6c5f80e468587f06 public -- Information Block
open import SysFEAT.SOF.d6cd116d5ab97525 public -- Information Domain

InformationMap : ClassOfClassOfBoundedIndividual
InformationMap = ClassOfBoundedIndividual

--  InformationMap withAspect MetaFamilyOfClass
st-d6cd2d8e5ab98edc-06710aeb68ed2d29 : InformationMap ⊏ₐₑ (MetaFamilyOfClass (lsuc(lzero)))
st-d6cd2d8e5ab98edc-06710aeb68ed2d29 = polySubTypeOf-identity

--  InformationMap withAspect InformationBlock
st-d6cd2d8e5ab98edc-6c5f80e468587f06 : InformationMap ⊏ₐₑ (InformationBlock (lsuc(lzero)))
st-d6cd2d8e5ab98edc-6c5f80e468587f06 = polySubTypeOf-identity


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

-- -------------------------------------------------------------------------------------------- 
{- Information Domain Member: -}
-- Aggregate Member : Information Domain Member
InformationDomainMember : ClassOfClassOfIndividual
InformationDomainMember = ClassOfIndividual


--  InformationDomainMember withAspect UnboundedMember
st-dfa4e2865ebb4e38-8cfaf71a6852b042 : InformationDomainMember ⊏ₐₑ (UnboundedMember (lsuc(lzero)))
st-dfa4e2865ebb4e38-8cfaf71a6852b042 = polySubTypeOf-identity

--  InformationDomainMember is subTypeOf InformationDomain
st-dfa4e2865ebb4e38-d6cd116d5ab97525 : InformationDomainMember ⊏ₑ InformationDomain
st-dfa4e2865ebb4e38-d6cd116d5ab97525 = polySubTypeOf-identity

-- Membership relation
membershipOfInformationDomainMember :  Linkage InformationMap InformationDomainMember
membershipOfInformationDomainMember = make_upwardNestingRelation "informationDomainMember membership" "nested informationDomainMember"

-- Aggregation relation
aggregationOfInformationDomainInformationDomainMember :  Linkage InformationDomainMember InformationDomain
aggregationOfInformationDomainInformationDomainMember = make_Relation "InformationDomain aggregation" "aggregated InformationDomain"

{- informationDomainMember : derived relation obtained by composing
   membershipOfInformationDomainMember and aggregationOfInformationDomainInformationDomainMember
   It directly links an Information Map to the final aggregated InformationDomain
   hiding the reifying InformationDomainMember
-}
informationDomainMember : Linkage InformationMap InformationDomain
informationDomainMember = membershipOfInformationDomainMember  ∘  aggregationOfInformationDomainInformationDomainMember



-- -------------------------------------------------------------------------------------------- 
{- external Information Area: -}
-- Aggregate Member : external Information Area
externalInformationArea : ClassOfClassOfIndividual
externalInformationArea = ClassOfIndividual


--  externalInformationArea withAspect UnboundedMember
st-dfa4e2b35ebb4ee8-8cfaf71a6852b042 : externalInformationArea ⊏ₐₑ (UnboundedMember (lsuc(lzero)))
st-dfa4e2b35ebb4ee8-8cfaf71a6852b042 = polySubTypeOf-identity

--  externalInformationArea is subTypeOf InformationDomain
st-dfa4e2b35ebb4ee8-d6cd116d5ab97525 : externalInformationArea ⊏ₑ InformationDomain
st-dfa4e2b35ebb4ee8-d6cd116d5ab97525 = polySubTypeOf-identity

-- Membership relation
membershipOfexternalInformationArea :  Linkage InformationMap externalInformationArea
membershipOfexternalInformationArea = make_upwardNestingRelation "externalInformationArea membership" "nested externalInformationArea"

-- Aggregation relation
aggregationOfInformationDomainexternalInformationArea :  Linkage externalInformationArea InformationDomain
aggregationOfInformationDomainexternalInformationArea = make_Relation "InformationDomain aggregation" "aggregated InformationDomain"

{- externalInformationArea : derived relation obtained by composing
   membershipOfexternalInformationArea and aggregationOfInformationDomainexternalInformationArea
   It directly links an Information Map to the final aggregated InformationDomain
   hiding the reifying externalInformationArea
-}
externalInformationArea : Linkage InformationMap InformationDomain
externalInformationArea = membershipOfexternalInformationArea  ∘  aggregationOfInformationDomainexternalInformationArea