Simulation

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

701. SOLICITED EVENT INSTANCE (S_SEI)

Solicited Event Instance ( Generated Event Count )

701.1. Solicited Event Instance.Generated Event Count

702. PROJECT POPULATION (S_PP)

Project Population ( Project, Arbitrary ID, Transient )

Identifiers:
Project + Arbitrary ID

702.1. Project Population.Project (P)

702.2. Project Population.Arbitrary ID (A)

702.3. Project Population.Transient (P)

703. MODEL POPULATION (S_MP)

Model Population ( Project, Project Population, Name, Order, Description, Transient )

Identifiers:
Project + Project Population
Project + Name
Project + Order

703.1. Model Population.Project (R)

References:
Project Population.Project (across R706)
Project.Arbitrary ID (across R708)

703.2. Model Population.Project Population (R)

References:
Project Population.Arbitrary ID (across R706)

703.3. Model Population.Name

Data Type: Name

703.4. Model Population.Order (A)

703.5. Model Population.Description

Data Type: Description

703.6. Model Population.Transient

Data Type: Boolean

704. METAMODEL POPULATION (S_MMP)

Metamodel Population ( Metamodel Project, Metamodel Project Population, Project, Metamodel Version, Transient )

Identifiers:
Metamodel Project + Metamodel Project Population
Project + Metamodel Version

704.1. Metamodel Population.Metamodel Project (R)

References:
Project Population.Project (across R706)
Project.Arbitrary ID (across R709)

704.2. Metamodel Population.Metamodel Project Population (R)

References:
Project Population.Arbitrary ID (across R706)

704.3. Metamodel Population.Project (R)

References:
Project.Arbitrary ID (across R701)

704.4. Metamodel Population.Metamodel Version

704.5. Metamodel Population.Transient

Data Type: Boolean

705. OUTPUT POPULATION (S_OP)

Output Population ( Project, Project Population, Transformation, Transient )

Identifiers:
Project + Project Population
Project + Transformation

705.1. Output Population.Project (R)

References:
Project Population.Project (across R706)
Transformation.Project (across R710)

705.2. Output Population.Project Population (R)

References:
Project Population.Arbitrary ID (across R706)

705.3. Output Population.Transformation (R)

References:
Transformation.Name (across R710)

705.4. Output Population.Transient

Data Type: Boolean

706. SNAPSHOT POPULATION (S_SP)

Snapshot Population ( Project, Project Population, Simulation, Snapshot Time, Transient )

Identifiers:
Project + Project Population
Project + Simulation + Snapshot Time

706.1. Snapshot Population.Project (R)

References:
Project Population.Project (across R706)
Simulation.Project (across R712)

706.2. Snapshot Population.Project Population (R)

References:
Project Population.Arbitrary ID (across R706)

706.3. Snapshot Population.Simulation (R)

References:
Simulation.Transformation (across R712)

706.4. Snapshot Population.Snapshot Time

Data Type: Time

706.5. Snapshot Population.Transient

Data Type: Boolean

707. DOMAIN POPULATION (S_DP)

Domain Population ( Project, Project Population, Domain )

Identifiers:
Project + Project Population + Domain

707.1. Domain Population.Project (R)

References:
Domain.Project (across R703)
Project Population.Project (across R707)

707.2. Domain Population.Project Population (R)

References:
Project Population.Arbitrary ID (across R707)

707.3. Domain Population.Domain (R)

References:
Domain.Name (across R703)

708. TRANSFORMATION (S_T)

Transformation ( Project, Name, Order, Description )

Identifiers:
Project + Name
Project + Order

708.1. Transformation.Project (R)

References:
Project.Arbitrary ID (across R702)

708.2. Transformation.Name

Data Type: Name

708.3. Transformation.Order (A)

708.4. Transformation.Description

Data Type: Description

709. SIMULATION (S_S)

Simulation ( Project, Transformation )

Identifiers:
Project + Transformation

709.1. Simulation.Project (R)

References:
Transformation.Project (across R711)

709.2. Simulation.Transformation (R)

References:
Transformation.Name (across R711)

710. OBJECT INSTANCE TABLE (S_OIT)

Object Instance Table ( Project, Project Population, Domain, Information Model, Object )

Identifiers:
Project + Project Population + Information Model + Object

710.1. Object Instance Table.Project (R)

References:
Domain Population.Project (across R714)

710.2. Object Instance Table.Project Population (R)

References:
Domain Population.Project Population (across R714)

710.3. Object Instance Table.Domain (R)

References:
Domain Population.Domain (across R714)

710.4. Object Instance Table.Information Model (R)

References:
Object.Information Model (across R714)

710.5. Object Instance Table.Object (R)

References:
Object.Entity (across R714)

711. OBJECT INSTANCE (S_OI)

Object Instance ( Project, Project Population, Information Model, Object, Order )

Identifiers:
Project + Project Population + Information Model + Object + Order

711.1. Object Instance.Project (R)

References:
Object Instance Table.Project (across R715)

711.2. Object Instance.Project Population (R)

References:
Object Instance Table.Project Population (across R715)

711.3. Object Instance.Information Model (R)

References:
Object Instance Table.Information Model (across R715)

711.4. Object Instance.Object (R)

References:
Object Instance Table.Object (across R715)

711.5. Object Instance.Order (A)

712. ATTRIBUTE INSTANCE (S_AI)

Attribute Instance ( Project, Project Population, Information Model, Object, Object Instance, Attribute, Attribute Type, Attribute Type Predefined, Attribute Value )

Identifiers:
Project + Project Population + Information Model + Object + Object Instance + Attribute

712.1. Attribute Instance.Project (R)

References:
Object Instance.Project (across R717)

712.2. Attribute Instance.Project Population (R)

References:
Object Instance.Project Population (across R717)

712.3. Attribute Instance.Information Model (R)

References:
Object Instance.Information Model (across R717)
Attribute.Information Model (across R717)

712.4. Attribute Instance.Object (R)

References:
Object Instance.Object (across R717)
Attribute.Object (across R717)

712.5. Attribute Instance.Object Instance (R)

References:
Object Instance.Order (across R717)

712.6. Attribute Instance.Attribute (R)

References:
Attribute.Name (across R717)

712.7. Attribute Instance.Attribute Type (R)

712.8. Attribute Instance.Attribute Type Predefined (R)

712.9. Attribute Instance.Attribute Value (R)

713. RELATIONSHIP INSTANCE TABLE (S_RIT)

Relationship Instance Table ( Project, Project Population, Domain, Information Model, Relationship )

Identifiers:
Project + Project Population + Information Model + Relationship

713.1. Relationship Instance Table.Project (R)

References:
Domain Population.Project (across R719)

713.2. Relationship Instance Table.Project Population (R)

References:
Domain Population.Project Population (across R719)

713.3. Relationship Instance Table.Domain (R)

References:
Domain Population.Domain (across R719)

713.4. Relationship Instance Table.Information Model (R)

References:
Relationship.Information Model (across R719)
Information Model.Arbitrary ID (across R721)

713.5. Relationship Instance Table.Relationship (R)

References:
Relationship.Relationship ID (across R719)

714. RELATIONSHIP INSTANCE (S_RI)

Relationship Instance ( Project, Project Population, Information Model, Relationship, Order )

Identifiers:
Project + Project Population + Information Model + Relationship + Order

714.1. Relationship Instance.Project (R)

References:
Relationship Instance Table.Project (across R720)

714.2. Relationship Instance.Project Population (R)

References:
Relationship Instance Table.Project Population (across R720)

714.3. Relationship Instance.Information Model (R)

References:
Relationship Instance Table.Information Model (across R720)

714.4. Relationship Instance.Relationship (R)

References:
Relationship Instance Table.Relationship (across R720)

714.5. Relationship Instance.Order

715. PARTICIPANT INSTANCE (S_PI)

Participant Instance ( Project, Project Population, Information Model, Relationship, Relationship Instance, Object, Participant, Object Instance )

Identifiers:
Project + Project Population + Information Model + Relationship + Relationship Instance + Object + Participant

715.1. Participant Instance.Project (R)

References:
Relationship Instance.Project (across R722)
Object Instance.Project (across R723)

715.2. Participant Instance.Project Population (R)

References:
Relationship Instance.Project Population (across R722)
Object Instance.Project Population (across R723)

715.3. Participant Instance.Information Model (R)

References:
Relationship Instance.Information Model (across R722)
Participant.Information Model (across R722)
Object Instance.Information Model (across R723)

715.4. Participant Instance.Relationship (R)

References:
Relationship Instance.Relationship (across R722)
Participant.Relationship (across R722)

715.5. Participant Instance.Relationship Instance (R)

References:
Relationship Instance.Order (across R722)

715.6. Participant Instance.Object (R)

References:
Participant.Object (across R722)
Object Instance.Object (across R723)

715.7. Participant Instance.Participant (R)

References:
Participant.Role (across R722)

715.8. Participant Instance.Object Instance (R)

References:
Object Instance.Order (across R723)

716. STATE MACHINE TABLE (S_SMT)

State Machine Table ( Project, Project Population, Domain, Information Model, State Model )

Identifiers:
Project + Project Population + Information Model + State Model

716.1. State Machine Table.Project (R)

References:
Domain Population.Project (across R724)

716.2. State Machine Table.Project Population (R)

References:
Domain Population.Project Population (across R724)

716.3. State Machine Table.Domain (R)

References:
Domain Population.Domain (across R724)

716.4. State Machine Table.Information Model (R)

References:
State Model.Information Model (across R724)

716.5. State Machine Table.State Model (R)

References:
State Model.Event Destination (across R724)

717. STATE MACHINE (S_SM)

State Machine ( Project, Project Population, Information Model, State Model, Order, Current State, Active/Partitioning Object, Active/Partitioning Object Instance )

Identifiers:
Project + Project Population + Information Model + State Model + Order

717.1. State Machine.Project (R)

References:
State Machine Table.Project (across R725)

717.2. State Machine.Project Population (R)

References:
State Machine Table.Project Population (across R725)

717.3. State Machine.Information Model (R)

References:
State Machine Table.Information Model (across R725)
State.Information Model (across R727)

717.4. State Machine.State Model (R)

References:
State Machine Table.State Model (across R725)
State.State Model (across R727)

717.5. State Machine.Order

717.6. State Machine.Current State (R)

References:
State.Name (across R727)

717.7. State Machine.Active/Partitioning Object (R)

717.8. State Machine.Active/Partitioning Object Instance (R)

718. EVENT INSTANCE TABLE (S_EIT)

Event Instance Table ( Project, Project Population, Domain, Information Model, Event Destination, Event )

Identifiers:
Project + Project Population + Information Model + Event Destination + Event

718.1. Event Instance Table.Project (R)

References:
Domain Population.Project (across R728)

718.2. Event Instance Table.Project Population (R)

References:
Domain Population.Project Population (across R728)

718.3. Event Instance Table.Domain (R)

References:
Domain Population.Domain (across R728)

718.4. Event Instance Table.Information Model (R)

References:
Event.Information Model (across R728)

718.5. Event Instance Table.Event Destination (R)

References:
Event.Event Destination (across R728)

718.6. Event Instance Table.Event (R)

References:
Event.Meaning (across R728)

719. EVENT INSTANCE (S_EI)

Event Instance ( Project, Project Population, Information Model, Event Destination, Event, Order, Self-Directed )

Identifiers:
Project + Project Population + Information Model + Event Destination + Event + Order

719.1. Event Instance.Project (R)

References:
Event Instance Table.Project (across R729)

719.2. Event Instance.Project Population (R)

References:
Event Instance Table.Project Population (across R729)

719.3. Event Instance.Information Model (R)

References:
Event Instance Table.Information Model (across R729)

719.4. Event Instance.Event Destination (R)

References:
Event Instance Table.Event Destination (across R729)

719.5. Event Instance.Event (R)

References:
Event Instance Table.Event (across R729)

719.6. Event Instance.Order (A)

719.7. Event Instance.Self-Directed

Data Type: Boolean

720. EVENT DATA ITEM INSTANCE (S_EDII)

Event Data Item Instance ( Project, Project Population, Information Model, State Model, State Machine, Event, Event Instance, Event Data Item, Event Data Item Type, Event Data Item Type Predefined, Event Data Item Value )

Identifiers:
Project + Project Population + Information Model + State Model + State Machine + Event + Event Instance + Event Data Item

720.1. Event Data Item Instance.Project (R)

720.2. Event Data Item Instance.Project Population (R)

720.3. Event Data Item Instance.Information Model (R)

References:
Event Data Item.Information Model (across R731)

720.4. Event Data Item Instance.State Model (R)

References:
Event Data Item.Event Destination (across R731)

720.5. Event Data Item Instance.State Machine (R)

720.6. Event Data Item Instance.Event (R)

720.7. Event Data Item Instance.Event Instance (R)

720.8. Event Data Item Instance.Event Data Item (R)

References:
Event Data Item.Name (across R731)

720.9. Event Data Item Instance.Event Data Item Type (R)

720.10. Event Data Item Instance.Event Data Item Type Predefined (R)

720.11. Event Data Item Instance.Event Data Item Value (R)

721. GENERATED EVENT INSTANCE (S_GEI)

Generated Event Instance ( Project, Project Population, Information Model, State Model, State Machine, Event, Event Instance, Order )

Identifiers:
Project + Project Population + Information Model + State Model + State Machine + Event + Event Instance + Order

721.1. Generated Event Instance.Project (R)

721.2. Generated Event Instance.Project Population (R)

721.3. Generated Event Instance.Information Model (R)

721.4. Generated Event Instance.State Model (R)

721.5. Generated Event Instance.State Machine (R)

721.6. Generated Event Instance.Event (R)

721.7. Generated Event Instance.Event Instance (R)

721.8. Generated Event Instance.Order

722. THREAD OF CONTROL (S_ToC)

Thread of Control ( )

723. DELAYED EVENT INSTANCE (S_DEI)

Delayed Event Instance ( Project, Project Population, Information Model, State Model, State Machine, Event, Event Instance, Generated Event Instance, Delay, Recurring, Delayed Event Instance, Delay Expiry Time, Remaining Time )

Identifiers:
Project + Project Population + Information Model + State Model + State Machine + Event + Event Instance + Generated Event Instance

723.1. Delayed Event Instance.Project (R)

References:
Generated Event Instance.Project (across R733)

723.2. Delayed Event Instance.Project Population (R)

References:
Generated Event Instance.Project Population (across R733)

723.3. Delayed Event Instance.Information Model (R)

References:
Generated Event Instance.Information Model (across R733)

723.4. Delayed Event Instance.State Model (R)

References:
Generated Event Instance.State Model (across R733)

723.5. Delayed Event Instance.State Machine (R)

References:
Generated Event Instance.State Machine (across R733)

723.6. Delayed Event Instance.Event (R)

References:
Generated Event Instance.Event (across R733)

723.7. Delayed Event Instance.Event Instance (R)

References:
Generated Event Instance.Event Instance (across R733)

723.8. Delayed Event Instance.Generated Event Instance (R)

References:
Generated Event Instance.Order (across R733)

723.9. Delayed Event Instance.Delay

Data Type: Duration

723.10. Delayed Event Instance.Recurring

Data Type: Boolean

723.11. Delayed Event Instance.Delayed Event Instance

723.12. Delayed Event Instance.Delay Expiry Time

Data Type: Time

723.13. Delayed Event Instance.Remaining Time (M)

Data Type: Duration

724. SIMPLE GENERATED EVENT INSTANCE (S_SGEI)

Simple Generated Event Instance ( Project, Project Population, Information Model, State Model, State Machine, Event, Event Instance, Generated Event Instance )

Identifiers:
Project + Project Population + Information Model + State Model + State Machine + Event + Event Instance + Generated Event Instance

724.1. Simple Generated Event Instance.Project (R)

References:
Generated Event Instance.Project (across R733)

724.2. Simple Generated Event Instance.Project Population (R)

References:
Generated Event Instance.Project Population (across R733)

724.3. Simple Generated Event Instance.Information Model (R)

References:
Generated Event Instance.Information Model (across R733)

724.4. Simple Generated Event Instance.State Model (R)

References:
Generated Event Instance.State Model (across R733)

724.5. Simple Generated Event Instance.State Machine (R)

References:
Generated Event Instance.State Machine (across R733)

724.6. Simple Generated Event Instance.Event (R)

References:
Generated Event Instance.Event (across R733)

724.7. Simple Generated Event Instance.Event Instance (R)

References:
Generated Event Instance.Event Instance (across R733)

724.8. Simple Generated Event Instance.Generated Event Instance (R)

References:
Generated Event Instance.Order (across R733)

725. INPUT POPULATION (S_IP)

Input Population ( Project, Project Population )

Identifiers:
Project + Project Population

725.1. Input Population.Project (P)

725.2. Input Population.Project Population (P)

726. FILTERED POPULATION (S_FP)

Filtered Population ( Project, Project Population, Transformation, Order )

Identifiers:
Project + Project Population + Transformation
Project + Transformation + Order

726.1. Filtered Population.Project (R)

References:
Transformation.Project (across R735)
Input Population.Project (across R735)

726.2. Filtered Population.Project Population (R)

References:
Input Population.Project Population (across R735)

726.3. Filtered Population.Transformation (R)

References:
Transformation.Name (across R735)

726.4. Filtered Population.Order

727. OBJECT INSTANCE FILTER (S_OIF)

Object Instance Filter ( Project, Transformation, Input Population, Filter Type, Domain )

Identifiers:
Project + Transformation + Input Population

727.1. Object Instance Filter.Project (R)

References:
Filtered Population.Project (across R736)
Domain.Project (across R738)

727.2. Object Instance Filter.Transformation (R)

References:
Filtered Population.Transformation (across R736)

727.3. Object Instance Filter.Input Population (R)

References:
Filtered Population.Order (across R736)

727.4. Object Instance Filter.Filter Type

Data Type: Filter Type

727.5. Object Instance Filter.Domain (R)

References:
Domain.Name (across R738)

728. DOMAIN FILTER (S_DF)

Domain Filter ( Project, Transformation, Input Population )

Identifiers:
Project + Transformation + Input Population

728.1. Domain Filter.Project (R)

References:
Object Instance Filter.Project (across R737)

728.2. Domain Filter.Transformation (R)

References:
Object Instance Filter.Transformation (across R737)

728.3. Domain Filter.Input Population (R)

References:
Object Instance Filter.Input Population (across R737)

729. SUBSYSTEM FILTER (S_SF)

Subsystem Filter ( Project, Transformation, Input Population, Information Model, Subsystem )

Identifiers:
Project + Transformation + Input Population

729.1. Subsystem Filter.Project (R)

References:
Object Instance Filter.Project (across R737)

729.2. Subsystem Filter.Transformation (R)

References:
Object Instance Filter.Transformation (across R737)

729.3. Subsystem Filter.Input Population (R)

References:
Object Instance Filter.Input Population (across R737)

729.4. Subsystem Filter.Information Model (R)

References:
Subsystem.Partitioned Information Model (across R739)

729.5. Subsystem Filter.Subsystem (R)

References:
Subsystem.Name (across R739)

730. OBJECT FILTER (S_OF)

Object Filter ( Project, Transformation, Input Population, Information Model, Object )

Identifiers:
Project + Transformation + Input Population

730.1. Object Filter.Project (R)

References:
Object Instance Filter.Project (across R737)

730.2. Object Filter.Transformation (R)

References:
Object Instance Filter.Transformation (across R737)

730.3. Object Filter.Input Population (R)

References:
Object Instance Filter.Input Population (across R737)

730.4. Object Filter.Information Model (R)

References:
Object.Information Model (across R740)

730.5. Object Filter.Object (R)

References:
Object.Entity (across R740)

Part III: Relationships

R701.Project ACCESSES Metamodel Population (1:Mc)
Metamodel Population IS ACCESSED BY Project

Formalization:
Metamodel Population.Project → Project.Arbitrary ID

R702.Project DEFINES Transformation (1:Mc)
Transformation IS DEFINED BY Project

Formalization:
Transformation.Project → Project.Arbitrary ID

R703.Domain IS INSTANTIATED AS Domain Population (1:Mc)
Domain Population IS INSTANCE OF Domain

Formalization:
Domain Population.Project → Domain.Project
Domain Population.Domain → Domain.Name

R704.Transfer Vector Value IS RELATED TO Solicited Event Instance (Mc:1)
Solicited Event Instance IS RELATED TO Transfer Vector Value

R705.Solicited Event Instance REFERENCES SOLICITED Event Instance (Mc:1)
Event Instance IS REFERENCED BY Solicited Event Instance

R706.Project Population IS A (SUPERTYPE OF) Metamodel Population
Project Population IS A (SUPERTYPE OF) Model Population
Project Population IS A (SUPERTYPE OF) Output Population
Project Population IS A (SUPERTYPE OF) Snapshot Population

Metamodel Population IS A (SUBTYPE OF) Project Population
Model Population IS A (SUBTYPE OF) Project Population
Output Population IS A (SUBTYPE OF) Project Population
Snapshot Population IS A (SUBTYPE OF) Project Population

Formalization:
Metamodel Population.Metamodel Project → Project Population.Project
Metamodel Population.Metamodel Project Population → Project Population.Arbitrary ID
Model Population.Project → Project Population.Project
Model Population.Project Population → Project Population.Arbitrary ID
Output Population.Project → Project Population.Project
Output Population.Project Population → Project Population.Arbitrary ID
Snapshot Population.Project → Project Population.Project
Snapshot Population.Project Population → Project Population.Arbitrary ID

R707.Project Population IS RELATED TO Domain Population (1:Mc)
Domain Population IS RELATED TO Project Population

Formalization:
Domain Population.Project → Project Population.Project
Domain Population.Project Population → Project Population.Arbitrary ID

R708.Model Population IS DEFINED BY Project (Mc:1)
Project DEFINES Model Population

Formalization:
Model Population.Project → Project.Arbitrary ID

R709.Metamodel Population IS DEFINED BY Project (Mc:1)
Project DEFINES Metamodel Population

Formalization:
Metamodel Population.Metamodel Project → Project.Arbitrary ID

R710.Transformation GENERATES Output Population (1:1c)
Output Population IS OUTPUT FROM Transformation

Formalization:
Output Population.Project → Transformation.Project
Output Population.Transformation → Transformation.Name

R711.Transformation IS A (SUPERTYPE OF) Simulation
Transformation IS A (SUPERTYPE OF) Translation

Simulation IS A (SUBTYPE OF) Transformation
Translation IS A (SUBTYPE OF) Transformation

Formalization:
Simulation.Project → Transformation.Project
Simulation.Transformation → Transformation.Name
Translation.Project → Transformation.Project
Translation.Transformation → Transformation.Name

R712.Simulation CAPTURES Snapshot Population (1:Mc)
Snapshot Population IS CAPTURED BY Simulation

Formalization:
Snapshot Population.Project → Simulation.Project
Snapshot Population.Simulation → Simulation.Transformation

R713.Simulation INVOLVES Thread of Control (1:Mc)
Thread of Control IS INVOLVED IN Simulation

R714.Domain Population IS POPULATED WITH INSTANCES OF Object (Mc:Mc)
Object INSTANCES POPULATE Domain Population
Object Instance Table ASSOCIATES Domain Population AND Object 1-(Mc:Mc)

Formalization:
Object Instance Table.Project → Domain Population.Project
Object Instance Table.Project Population → Domain Population.Project Population
Object Instance Table.Domain → Domain Population.Domain
Object Instance Table.Information Model → Object.Information Model
Object Instance Table.Object → Object.Entity

R715.Object Instance Table CONTAINS Object Instance (1:Mc)
Object Instance IS CONTAINED IN Object Instance Table

Formalization:
Object Instance.Project → Object Instance Table.Project
Object Instance.Project Population → Object Instance Table.Project Population
Object Instance.Information Model → Object Instance Table.Information Model
Object Instance.Object → Object Instance Table.Object

R716.Object Instance Table IS RELATED TO Information Model (Mc:1)
Information Model IS RELATED TO Object Instance Table

Formalization: R716 = R714 + R703 + R8 + R10

R717.Object Instance IS RELATED TO Attribute (Mc:Mc)
Attribute IS RELATED TO Object Instance
Attribute Instance ASSOCIATES Object Instance AND Attribute 1-(Mc:Mc)

Formalization:
Attribute Instance.Project → Object Instance.Project
Attribute Instance.Project Population → Object Instance.Project Population
Attribute Instance.Information Model → Object Instance.Information Model
Attribute Instance.Object → Object Instance.Object
Attribute Instance.Object Instance → Object Instance.Order
Attribute Instance.Information Model → Attribute.Information Model
Attribute Instance.Object → Attribute.Object
Attribute Instance.Attribute → Attribute.Name

R718.Attribute Instance IS RELATED TO Data Value (Mc:1)
Data Value IS RELATED TO Attribute Instance

R719.Domain Population IS POPULATED WITH INSTANCES OF Relationship (Mc:Mc)
Relationship INSTANCES POPULATE Domain Population
Relationship Instance Table ASSOCIATES Domain Population AND Relationship 1-(Mc:Mc)

Formalization:
Relationship Instance Table.Project → Domain Population.Project
Relationship Instance Table.Project Population → Domain Population.Project Population
Relationship Instance Table.Domain → Domain Population.Domain
Relationship Instance Table.Information Model → Relationship.Information Model
Relationship Instance Table.Relationship → Relationship.Relationship ID

R720.Relationship Instance Table CONTAINS Relationship Instance (1:Mc)
Relationship Instance IS CONTAINED IN Relationship Instance Table

Formalization:
Relationship Instance.Project → Relationship Instance Table.Project
Relationship Instance.Project Population → Relationship Instance Table.Project Population
Relationship Instance.Information Model → Relationship Instance Table.Information Model
Relationship Instance.Relationship → Relationship Instance Table.Relationship

R721.Relationship Instance Table IS RELATED TO Information Model (Mc:1)
Information Model IS RELATED TO Relationship Instance Table

Formalization: R721 = R719 + R703 + R8 + R10

R722.Relationship Instance IS RELATED TO Participant (Mc:M)
Participant IS RELATED TO Relationship Instance
Participant Instance ASSOCIATES Relationship Instance AND Participant 1-(Mc:M)

Formalization:
Participant Instance.Project → Relationship Instance.Project
Participant Instance.Project Population → Relationship Instance.Project Population
Participant Instance.Information Model → Relationship Instance.Information Model
Participant Instance.Relationship → Relationship Instance.Relationship
Participant Instance.Relationship Instance → Relationship Instance.Order
Participant Instance.Information Model → Participant.Information Model
Participant Instance.Relationship → Participant.Relationship
Participant Instance.Object → Participant.Object
Participant Instance.Participant → Participant.Role

R723.Participant Instance IS RELATED TO Object Instance (Mc:1)
Object Instance IS RELATED TO Participant Instance

Formalization:
Participant Instance.Project → Object Instance.Project
Participant Instance.Project Population → Object Instance.Project Population
Participant Instance.Information Model → Object Instance.Information Model
Participant Instance.Object → Object Instance.Object
Participant Instance.Object Instance → Object Instance.Order

R724.Domain Population IS RELATED TO State Model (Mc:Mc)
State Model IS RELATED TO Domain Population
State Machine Table ASSOCIATES Domain Population AND State Model 1-(Mc:Mc)

Formalization:
State Machine Table.Project → Domain Population.Project
State Machine Table.Project Population → Domain Population.Project Population
State Machine Table.Domain → Domain Population.Domain
State Machine Table.Information Model → State Model.Information Model
State Machine Table.State Model → State Model.Event Destination

R725.State Machine Table CONTAINS State Machine (1:Mc)
State Machine IS CONTAINED IN State Machine Table

Formalization:
State Machine.Project → State Machine Table.Project
State Machine.Project Population → State Machine Table.Project Population
State Machine.Information Model → State Machine Table.Information Model
State Machine.State Model → State Machine Table.State Model

R726.State Machine HAS ACTIVE OR PARTITIONING Object Instance (Mc:1c)
Object Instance IS ACTIVE OR PARTITIONING OBJECT INSTANCE FOR State Machine

R727.State Machine HAS CURRENT State (Mc:1)
State IS CURRENT STATE FOR State Machine

Formalization:
State Machine.Information Model → State.Information Model
State Machine.State Model → State.State Model
State Machine.Current State → State.Name

R728.Domain Population IS RELATED TO Event (Mc:Mc)
Event IS RELATED TO Domain Population
Event Instance Table ASSOCIATES Domain Population AND Event 1-(Mc:Mc)

Formalization:
Event Instance Table.Project → Domain Population.Project
Event Instance Table.Project Population → Domain Population.Project Population
Event Instance Table.Domain → Domain Population.Domain
Event Instance Table.Information Model → Event.Information Model
Event Instance Table.Event Destination → Event.Event Destination
Event Instance Table.Event → Event.Meaning

R729.Event Instance Table CONTAINS Event Instance (1:Mc)
Event Instance IS CONTAINED IN Event Instance Table

Formalization:
Event Instance.Project → Event Instance Table.Project
Event Instance.Project Population → Event Instance Table.Project Population
Event Instance.Information Model → Event Instance Table.Information Model
Event Instance.Event Destination → Event Instance Table.Event Destination
Event Instance.Event → Event Instance Table.Event

R730.Event Instance IS RELATED TO Generated Event Instance (1:Mc)
Generated Event Instance IS RELATED TO Event Instance

R731.Event Instance IS RELATED TO Event Data Item (Mc:Mc)
Event Data Item IS RELATED TO Event Instance
Event Data Item Instance ASSOCIATES Event Instance AND Event Data Item 1-(Mc:Mc)

Formalization:
Event Data Item Instance.Information Model → Event Data Item.Information Model
Event Data Item Instance.State Model → Event Data Item.Event Destination
Event Data Item Instance.Event Data Item → Event Data Item.Name

R732.Event Data Item Instance IS RELATED TO Data Value (Mc:1)
Data Value IS RELATED TO Event Data Item Instance

R733.Generated Event Instance IS A (SUPERTYPE OF) Delayed Event Instance
Generated Event Instance IS A (SUPERTYPE OF) Simple Generated Event Instance

Delayed Event Instance IS A (SUBTYPE OF) Generated Event Instance
Simple Generated Event Instance IS A (SUBTYPE OF) Generated Event Instance

Formalization:
Delayed Event Instance.Project → Generated Event Instance.Project
Delayed Event Instance.Project Population → Generated Event Instance.Project Population
Delayed Event Instance.Information Model → Generated Event Instance.Information Model
Delayed Event Instance.State Model → Generated Event Instance.State Model
Delayed Event Instance.State Machine → Generated Event Instance.State Machine
Delayed Event Instance.Event → Generated Event Instance.Event
Delayed Event Instance.Event Instance → Generated Event Instance.Event Instance
Delayed Event Instance.Generated Event Instance → Generated Event Instance.Order
Simple Generated Event Instance.Project → Generated Event Instance.Project
Simple Generated Event Instance.Project Population → Generated Event Instance.Project Population
Simple Generated Event Instance.Information Model → Generated Event Instance.Information Model
Simple Generated Event Instance.State Model → Generated Event Instance.State Model
Simple Generated Event Instance.State Machine → Generated Event Instance.State Machine
Simple Generated Event Instance.Event → Generated Event Instance.Event
Simple Generated Event Instance.Event Instance → Generated Event Instance.Event Instance
Simple Generated Event Instance.Generated Event Instance → Generated Event Instance.Order

R734.Input Population IS A (SUPERTYPE OF) Model Population
Input Population IS A (SUPERTYPE OF) Output Population

Model Population IS A (SUBTYPE OF) Input Population
Output Population IS A (SUBTYPE OF) Input Population

R735.Transformation ACCEPTS Input Population (Mc:Mc)
Input Population IS INPUT TO Transformation
Filtered Population ASSOCIATES Transformation AND Input Population 1-(Mc:Mc)

Formalization:
Filtered Population.Project → Transformation.Project
Filtered Population.Transformation → Transformation.Name
Filtered Population.Project → Input Population.Project
Filtered Population.Project Population → Input Population.Project Population

R736.Filtered Population IS FILTERED BY Object Instance Filter (1:Mc)
Object Instance Filter DETERMINES WHICH OBJECT INSTANCES ARE INPUT FROM Filtered Population

Formalization:
Object Instance Filter.Project → Filtered Population.Project
Object Instance Filter.Transformation → Filtered Population.Transformation
Object Instance Filter.Input Population → Filtered Population.Order

R737.Object Instance Filter IS A (SUPERTYPE OF) Domain Filter
Object Instance Filter IS A (SUPERTYPE OF) Object Filter
Object Instance Filter IS A (SUPERTYPE OF) Subsystem Filter

Domain Filter IS A (SUBTYPE OF) Object Instance Filter
Object Filter IS A (SUBTYPE OF) Object Instance Filter
Subsystem Filter IS A (SUBTYPE OF) Object Instance Filter

Formalization:
Domain Filter.Project → Object Instance Filter.Project
Domain Filter.Transformation → Object Instance Filter.Transformation
Domain Filter.Input Population → Object Instance Filter.Input Population
Object Filter.Project → Object Instance Filter.Project
Object Filter.Transformation → Object Instance Filter.Transformation
Object Filter.Input Population → Object Instance Filter.Input Population
Subsystem Filter.Project → Object Instance Filter.Project
Subsystem Filter.Transformation → Object Instance Filter.Transformation
Subsystem Filter.Input Population → Object Instance Filter.Input Population

R738.Object Instance Filter IS RELATED TO Domain (Mc:1)
Domain IS RELATED TO Object Instance Filter

Formalization:
Object Instance Filter.Project → Domain.Project
Object Instance Filter.Domain → Domain.Name

R739.Subsystem Filter IS RELATED TO Subsystem (Mc:1)
Subsystem IS RELATED TO Subsystem Filter

Formalization:
Subsystem Filter.Information Model → Subsystem.Partitioned Information Model
Subsystem Filter.Subsystem → Subsystem.Name

R740.Object Filter IS RELATED TO Object (Mc:1)
Object IS RELATED TO Object Filter

Formalization:
Object Filter.Information Model → Object.Information Model
Object Filter.Object → Object.Entity