Process Model

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

501. PROCESS INVOCATION BLOCK (PM_PIB)

Process Invocation Block ( Information Model, Composed Operation Destination, Composed Operation, Arbitrary ID )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Arbitrary ID

501.1. Process Invocation Block.Information Model (P)

501.2. Process Invocation Block.Composed Operation Destination (P)

501.3. Process Invocation Block.Composed Operation (P)

501.4. Process Invocation Block.Arbitrary ID (A)

502. PROCESS MODEL (PM_PM)

Process Model ( Information Model, Composed Operation Destination, Composed Operation, Process Invocation Block )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation

502.1. Process Model.Information Model (R)

References:
Composed Operation.Information Model (across R501)
Process Invocation Block.Information Model (across R502)

502.2. Process Model.Composed Operation Destination (R)

References:
Composed Operation.Event Destination (across R501)
Process Invocation Block.Composed Operation Destination (across R502)

502.3. Process Model.Composed Operation (R)

References:
Composed Operation.Event Destination Operation (across R501)
Process Invocation Block.Composed Operation (across R502)

502.4. Process Model.Process Invocation Block (R)

References:
Process Invocation Block.Arbitrary ID (across R502)

503. SCOPE OF ITERATION (PM_SoI)

Scope of Iteration ( Information Model, Composed Operation Destination, Composed Operation, Process Invocation Block, Enclosing Invocation Block, Process Destination, Process, Process Invocation )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Process Invocation Block

503.1. Scope of Iteration.Information Model (R)

References:
Process Invocation Block.Information Model (across R502)
Process Model.Information Model (across R504)
Process Invocation Block.Information Model (across R505)
Process Invocation.Information Model (across R506)

503.2. Scope of Iteration.Composed Operation Destination (R)

References:
Process Invocation Block.Composed Operation Destination (across R502)
Process Model.Composed Operation Destination (across R504)
Process Invocation Block.Composed Operation Destination (across R505)
Process Invocation.Composed Operation Destination (across R506)

503.3. Scope of Iteration.Composed Operation (R)

References:
Process Invocation Block.Composed Operation (across R502)
Process Model.Composed Operation (across R504)
Process Invocation Block.Composed Operation (across R505)
Process Invocation.Composed Operation (across R506)

503.4. Scope of Iteration.Process Invocation Block (R)

References:
Process Invocation Block.Arbitrary ID (across R502)

503.5. Scope of Iteration.Enclosing Invocation Block (R)

References:
Process Invocation Block.Arbitrary ID (across R505)
Process Invocation.Process Invocation Block (across R506)

503.6. Scope of Iteration.Process Destination (R)

References:
Process Invocation.Process Destination (across R506)

503.7. Scope of Iteration.Process (R)

References:
Process Invocation.Process (across R506)

503.8. Scope of Iteration.Process Invocation (R)

References:
Process Invocation.Order (across R506)

504. PROCESS INVOCATION (PM_PI)

Process Invocation ( Information Model, Composed Operation Destination, Composed Operation, Process Destination, Process, Process Invocation Block, Order )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Process Destination + Process + Process Invocation Block + Order

504.1. Process Invocation.Information Model (R)

References:
Process Invocation Block.Information Model (across R507)
Process.Information Model (across R507)

504.2. Process Invocation.Composed Operation Destination (R)

References:
Process Invocation Block.Composed Operation Destination (across R507)

504.3. Process Invocation.Composed Operation (R)

References:
Process Invocation Block.Composed Operation (across R507)

504.4. Process Invocation.Process Destination (R)

References:
Process.Event Destination (across R507)

504.5. Process Invocation.Process (R)

References:
Process.Event Destination Operation (across R507)

504.6. Process Invocation.Process Invocation Block (R)

References:
Process Invocation Block.Arbitrary ID (across R507)

504.7. Process Invocation.Order (A)

505. FLOW (PM_F)

Flow ( Information Model, Composed Operation Destination, Composed Operation, Arbitrary ID, Target Process Destination, Target Process, Target Process Invocation Block, Target Process Invocation )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Arbitrary ID

505.1. Flow.Information Model (R)

References:
Process Model.Information Model (across R503)
Process Invocation.Information Model (across R508)

505.2. Flow.Composed Operation Destination (R)

References:
Process Model.Composed Operation Destination (across R503)
Process Invocation.Composed Operation Destination (across R508)

505.3. Flow.Composed Operation (R)

References:
Process Model.Composed Operation (across R503)
Process Invocation.Composed Operation (across R508)

505.4. Flow.Arbitrary ID (A)

505.5. Flow.Target Process Destination (R)

References:
Process Invocation.Process Destination (across R508)

505.6. Flow.Target Process (R)

References:
Process Invocation.Process (across R508)

505.7. Flow.Target Process Invocation Block (R)

References:
Process Invocation.Process Invocation Block (across R508)

505.8. Flow.Target Process Invocation (R)

References:
Process Invocation.Order (across R508)

506. UNARY DATA FLOW (PM_UDF)

Unary Data Flow ( Information Model, Composed Operation Destination, Composed Operation, Flow )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Flow

506.1. Unary Data Flow.Information Model (R)

References:
Flow.Information Model (across R509)

506.2. Unary Data Flow.Composed Operation Destination (R)

References:
Flow.Composed Operation Destination (across R509)

506.3. Unary Data Flow.Composed Operation (R)

References:
Flow.Composed Operation (across R509)

506.4. Unary Data Flow.Flow (R)

References:
Flow.Arbitrary ID (across R509)

507. INPUT PARAMETER FLOW (PM_IPF)

Input Parameter Flow ( Information Model, Composed Operation Destination, Composed Operation, Unary Data Type, Composed Operation Owner, Input Parameter )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Unary Data Type

507.1. Input Parameter Flow.Information Model (R)

References:
Unary Data Flow.Information Model (across R510)

507.2. Input Parameter Flow.Composed Operation Destination (R)

References:
Unary Data Flow.Composed Operation Destination (across R510)

507.3. Input Parameter Flow.Composed Operation (R)

References:
Unary Data Flow.Composed Operation (across R510)
Input Parameter.Operation (across R511)

507.4. Input Parameter Flow.Unary Data Type (R)

References:
Unary Data Flow.Flow (across R510)

507.5. Input Parameter Flow.Composed Operation Owner (R)

References:
Input Parameter.Operation Owner (across R511)

507.6. Input Parameter Flow.Input Parameter (R)

References:
Input Parameter.Parameter (across R511)

508. LITERAL VALUE FLOW (PM_LVF)

Literal Value Flow ( Information Model, Composed Operation Destination, Composed Operation, Unary Data Flow, Literal Type, Literal Type Predefined, Literal Value )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Unary Data Flow

508.1. Literal Value Flow.Information Model (R)

References:
Unary Data Flow.Information Model (across R510)

508.2. Literal Value Flow.Composed Operation Destination (R)

References:
Unary Data Flow.Composed Operation Destination (across R510)

508.3. Literal Value Flow.Composed Operation (R)

References:
Unary Data Flow.Composed Operation (across R510)

508.4. Literal Value Flow.Unary Data Flow (R)

References:
Unary Data Flow.Flow (across R510)

508.5. Literal Value Flow.Literal Type (R)

508.6. Literal Value Flow.Literal Type Predefined (R)

508.7. Literal Value Flow.Literal Value (R)

509. CURRENT TIME FLOW (PM_CTF)

Current Time Flow ( Information Model, Composed Operation Destination, Composed Operation, Unary Data Flow )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Unary Data Flow

509.1. Current Time Flow.Information Model (R)

References:
Unary Data Flow.Information Model (across R510)

509.2. Current Time Flow.Composed Operation Destination (R)

References:
Unary Data Flow.Composed Operation Destination (across R510)

509.3. Current Time Flow.Composed Operation (R)

References:
Unary Data Flow.Composed Operation (across R510)

509.4. Current Time Flow.Unary Data Flow (R)

References:
Unary Data Flow.Flow (across R510)

510. BINARY FLOW (PM_BF)

Binary Flow ( Information Model, Composed Operation Destination, Composed Operation, Flow, Source Process Destination, Source Process, Source Process Invocation Block, Source Process Invocation )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Flow

510.1. Binary Flow.Information Model (R)

References:
Flow.Information Model (across R509)
Process Invocation.Information Model (across R513)

510.2. Binary Flow.Composed Operation Destination (R)

References:
Flow.Composed Operation Destination (across R509)
Process Invocation.Composed Operation Destination (across R513)

510.3. Binary Flow.Composed Operation (R)

References:
Flow.Composed Operation (across R509)
Process Invocation.Composed Operation (across R513)

510.4. Binary Flow.Flow (R)

References:
Flow.Arbitrary ID (across R509)

510.5. Binary Flow.Source Process Destination (R)

References:
Process Invocation.Process Destination (across R513)

510.6. Binary Flow.Source Process (R)

References:
Process Invocation.Process (across R513)

510.7. Binary Flow.Source Process Invocation Block (R)

References:
Process Invocation.Process Invocation Block (across R513)

510.8. Binary Flow.Source Process Invocation (R)

References:
Process Invocation.Order (across R513)

511. OUTPUT PARAMETER FLOW (PM_OPF)

Output Parameter Flow ( Information Model, Composed Operation Destination, Composed Operation, Binary Flow, Source Operation Owner, Source Operation, Source Output Parameter )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Binary Flow

511.1. Output Parameter Flow.Information Model (R)

References:
Binary Flow.Information Model (across R514)

511.2. Output Parameter Flow.Composed Operation Destination (R)

References:
Binary Flow.Composed Operation Destination (across R514)

511.3. Output Parameter Flow.Composed Operation (R)

References:
Binary Flow.Composed Operation (across R514)

511.4. Output Parameter Flow.Binary Flow (R)

References:
Binary Flow.Flow (across R514)

511.5. Output Parameter Flow.Source Operation Owner (R)

References:
Output Parameter.Operation Owner (across R515)

511.6. Output Parameter Flow.Source Operation (R)

References:
Output Parameter.Operation (across R515)

511.7. Output Parameter Flow.Source Output Parameter (R)

References:
Output Parameter.Parameter (across R515)

512. CONDITIONAL CONTROL FLOW (PM_CCF)

Conditional Control Flow ( Information Model, Composed Operation Destination, Composed Operation, Binary Flow, Source Operation Owner, Source Operation, Source Output Parameter, Condition Phrase )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Binary Flow

512.1. Conditional Control Flow.Information Model (R)

References:
Binary Flow.Information Model (across R514)

512.2. Conditional Control Flow.Composed Operation Destination (R)

References:
Binary Flow.Composed Operation Destination (across R514)

512.3. Conditional Control Flow.Composed Operation (R)

References:
Binary Flow.Composed Operation (across R514)

512.4. Conditional Control Flow.Binary Flow (R)

References:
Binary Flow.Flow (across R514)

512.5. Conditional Control Flow.Source Operation Owner (R)

References:
Output Parameter.Operation Owner (across R517)

512.6. Conditional Control Flow.Source Operation (R)

References:
Output Parameter.Operation (across R517)

512.7. Conditional Control Flow.Source Output Parameter (R)

References:
Output Parameter.Parameter (across R517)

512.8. Conditional Control Flow.Condition Phrase

Data Type: Phrase

513. BOOLEAN CONTROL FLOW (PM_BCF)

Boolean Control Flow ( Information Model, Composed Operation Destination, Composed Operation, Conditional Control Flow, Matches False )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Conditional Control Flow

513.1. Boolean Control Flow.Information Model (R)

References:
Conditional Control Flow.Information Model (across R516)

513.2. Boolean Control Flow.Composed Operation Destination (R)

References:
Conditional Control Flow.Composed Operation Destination (across R516)

513.3. Boolean Control Flow.Composed Operation (R)

References:
Conditional Control Flow.Composed Operation (across R516)

513.4. Boolean Control Flow.Conditional Control Flow (R)

References:
Conditional Control Flow.Binary Flow (across R516)

513.5. Boolean Control Flow.Matches False

Data Type: Boolean

514. ENUMERATED CONTROL FLOW (PM_ECF)

Enumerated Control Flow ( Information Model, Composed Operation Destination, Composed Operation, Conditional Control Flow, Enumerated Type, Enumerated Type Predefined, Legal Value )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Conditional Control Flow

514.1. Enumerated Control Flow.Information Model (R)

References:
Conditional Control Flow.Information Model (across R516)

514.2. Enumerated Control Flow.Composed Operation Destination (R)

References:
Conditional Control Flow.Composed Operation Destination (across R516)

514.3. Enumerated Control Flow.Composed Operation (R)

References:
Conditional Control Flow.Composed Operation (across R516)

514.4. Enumerated Control Flow.Conditional Control Flow (R)

References:
Conditional Control Flow.Binary Flow (across R516)

514.5. Enumerated Control Flow.Enumerated Type (R)

514.6. Enumerated Control Flow.Enumerated Type Predefined (R)

514.7. Enumerated Control Flow.Legal Value (R)

515. UNCONDITIONAL CONTROL FLOW (PM_UCF)

Unconditional Control Flow ( Information Model, Composed Operation Destination, Composed Operation, Binary Flow )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Binary Flow

515.1. Unconditional Control Flow.Information Model (R)

References:
Binary Flow.Information Model (across R514)

515.2. Unconditional Control Flow.Composed Operation Destination (R)

References:
Binary Flow.Composed Operation Destination (across R514)

515.3. Unconditional Control Flow.Composed Operation (R)

References:
Binary Flow.Composed Operation (across R514)

515.4. Unconditional Control Flow.Binary Flow (R)

References:
Binary Flow.Flow (across R514)

516. DATA FLOW (PM_DF)

Data Flow ( Information Model, Composed Operation Destination, Composed Operation, Data Flow, Target Operation Owner, Target Operation, Target Input Parameter )

Identifiers:
Information Model + Composed Operation Destination + Composed Operation + Data Flow

516.1. Data Flow.Information Model (P)

516.2. Data Flow.Composed Operation Destination (P)

516.3. Data Flow.Composed Operation (P)

516.4. Data Flow.Data Flow (P)

516.5. Data Flow.Target Operation Owner (R)

References:
Input Parameter.Operation Owner (across R520)

516.6. Data Flow.Target Operation (R)

References:
Input Parameter.Operation (across R520)

516.7. Data Flow.Target Input Parameter (R)

References:
Input Parameter.Parameter (across R520)

Part III: Relationships

R501.Composed Operation DEFINES Process Model (1:1c)
Process Model IS DEFINED BY Composed Operation

Formalization:
Process Model.Information Model → Composed Operation.Information Model
Process Model.Composed Operation Destination → Composed Operation.Event Destination
Process Model.Composed Operation → Composed Operation.Event Destination Operation

R502.Process Invocation Block IS A (SUPERTYPE OF) Process Model
Process Invocation Block IS A (SUPERTYPE OF) Scope of Iteration

Process Model IS A (SUBTYPE OF) Process Invocation Block
Scope of Iteration IS A (SUBTYPE OF) Process Invocation Block

Formalization:
Process Model.Information Model → Process Invocation Block.Information Model
Process Model.Composed Operation Destination → Process Invocation Block.Composed Operation Destination
Process Model.Composed Operation → Process Invocation Block.Composed Operation
Process Model.Process Invocation Block → Process Invocation Block.Arbitrary ID
Scope of Iteration.Information Model → Process Invocation Block.Information Model
Scope of Iteration.Composed Operation Destination → Process Invocation Block.Composed Operation Destination
Scope of Iteration.Composed Operation → Process Invocation Block.Composed Operation
Scope of Iteration.Process Invocation Block → Process Invocation Block.Arbitrary ID

R503.Process Model DEFINES Flow (1:Mc)
Flow IS DEFINED BY Process Model

Formalization:
Flow.Information Model → Process Model.Information Model
Flow.Composed Operation Destination → Process Model.Composed Operation Destination
Flow.Composed Operation → Process Model.Composed Operation

R504.Scope of Iteration IS CONTAINED IN Process Model (Mc:1)
Process Model CONTAINS Scope of Iteration

Formalization:
Scope of Iteration.Information Model → Process Model.Information Model
Scope of Iteration.Composed Operation Destination → Process Model.Composed Operation Destination
Scope of Iteration.Composed Operation → Process Model.Composed Operation

R505.Scope of Iteration IS ENCLOSED BY Process Invocation Block (Mc:1)
Process Invocation Block ENCLOSES Scope of Iteration

Formalization:
Scope of Iteration.Information Model → Process Invocation Block.Information Model
Scope of Iteration.Composed Operation Destination → Process Invocation Block.Composed Operation Destination
Scope of Iteration.Composed Operation → Process Invocation Block.Composed Operation
Scope of Iteration.Enclosing Invocation Block → Process Invocation Block.Arbitrary ID

R506.Scope of Iteration ITERATES OVER OUTPUT PARAMETERS RECEIVED FROM Process Invocation (Mc:1)
Process Invocation SENDS OUTPUT PARAMETERS INTO Scope of Iteration

Formalization:
Scope of Iteration.Information Model → Process Invocation.Information Model
Scope of Iteration.Composed Operation Destination → Process Invocation.Composed Operation Destination
Scope of Iteration.Composed Operation → Process Invocation.Composed Operation
Scope of Iteration.Enclosing Invocation Block → Process Invocation.Process Invocation Block
Scope of Iteration.Process Destination → Process Invocation.Process Destination
Scope of Iteration.Process → Process Invocation.Process
Scope of Iteration.Process Invocation → Process Invocation.Order

R507.Process Invocation Block INVOKES Process (Mc:Mc)
Process IS INVOKED BY Process Invocation Block
Process Invocation ASSOCIATES Process Invocation Block AND Process M-(Mc:Mc)

Formalization:
Process Invocation.Information Model → Process Invocation Block.Information Model
Process Invocation.Composed Operation Destination → Process Invocation Block.Composed Operation Destination
Process Invocation.Composed Operation → Process Invocation Block.Composed Operation
Process Invocation.Process Invocation Block → Process Invocation Block.Arbitrary ID
Process Invocation.Information Model → Process.Information Model
Process Invocation.Process Destination → Process.Event Destination
Process Invocation.Process → Process.Event Destination Operation

R508.Flow FLOWS TO TARGET Process Invocation (Mc:1)
Process Invocation RECEIVES INPUT Flow

Formalization:
Flow.Information Model → Process Invocation.Information Model
Flow.Composed Operation Destination → Process Invocation.Composed Operation Destination
Flow.Composed Operation → Process Invocation.Composed Operation
Flow.Target Process Invocation Block → Process Invocation.Process Invocation Block
Flow.Target Process Destination → Process Invocation.Process Destination
Flow.Target Process → Process Invocation.Process
Flow.Target Process Invocation → Process Invocation.Order

R509.Flow IS A (SUPERTYPE OF) Binary Flow
Flow IS A (SUPERTYPE OF) Unary Data Flow

Binary Flow IS A (SUBTYPE OF) Flow
Unary Data Flow IS A (SUBTYPE OF) Flow

Formalization:
Binary Flow.Information Model → Flow.Information Model
Binary Flow.Composed Operation Destination → Flow.Composed Operation Destination
Binary Flow.Composed Operation → Flow.Composed Operation
Binary Flow.Flow → Flow.Arbitrary ID
Unary Data Flow.Information Model → Flow.Information Model
Unary Data Flow.Composed Operation Destination → Flow.Composed Operation Destination
Unary Data Flow.Composed Operation → Flow.Composed Operation
Unary Data Flow.Flow → Flow.Arbitrary ID

R510.Unary Data Flow IS A (SUPERTYPE OF) Current Time Flow
Unary Data Flow IS A (SUPERTYPE OF) Input Parameter Flow
Unary Data Flow IS A (SUPERTYPE OF) Literal Value Flow

Current Time Flow IS A (SUBTYPE OF) Unary Data Flow
Input Parameter Flow IS A (SUBTYPE OF) Unary Data Flow
Literal Value Flow IS A (SUBTYPE OF) Unary Data Flow

Formalization:
Current Time Flow.Information Model → Unary Data Flow.Information Model
Current Time Flow.Composed Operation Destination → Unary Data Flow.Composed Operation Destination
Current Time Flow.Composed Operation → Unary Data Flow.Composed Operation
Current Time Flow.Unary Data Flow → Unary Data Flow.Flow
Input Parameter Flow.Information Model → Unary Data Flow.Information Model
Input Parameter Flow.Composed Operation Destination → Unary Data Flow.Composed Operation Destination
Input Parameter Flow.Composed Operation → Unary Data Flow.Composed Operation
Input Parameter Flow.Unary Data Type → Unary Data Flow.Flow
Literal Value Flow.Information Model → Unary Data Flow.Information Model
Literal Value Flow.Composed Operation Destination → Unary Data Flow.Composed Operation Destination
Literal Value Flow.Composed Operation → Unary Data Flow.Composed Operation
Literal Value Flow.Unary Data Flow → Unary Data Flow.Flow

R511.Input Parameter Flow IS RELATED TO Input Parameter (Mc:1)
Input Parameter IS RELATED TO Input Parameter Flow

Formalization:
Input Parameter Flow.Composed Operation Owner → Input Parameter.Operation Owner
Input Parameter Flow.Composed Operation → Input Parameter.Operation
Input Parameter Flow.Input Parameter → Input Parameter.Parameter

R512.Literal Value Flow IS RELATED TO Population Independent Value (Mc:1)
Population Independent Value IS RELATED TO Literal Value Flow

R513.Binary Flow FLOWS FROM SOURCE Process Invocation (Mc:1)
Process Invocation GENERATES OUTPUT Binary Flow

Formalization:
Binary Flow.Information Model → Process Invocation.Information Model
Binary Flow.Composed Operation Destination → Process Invocation.Composed Operation Destination
Binary Flow.Composed Operation → Process Invocation.Composed Operation
Binary Flow.Source Process Invocation Block → Process Invocation.Process Invocation Block
Binary Flow.Source Process Destination → Process Invocation.Process Destination
Binary Flow.Source Process → Process Invocation.Process
Binary Flow.Source Process Invocation → Process Invocation.Order

R514.Binary Flow IS A (SUPERTYPE OF) Conditional Control Flow
Binary Flow IS A (SUPERTYPE OF) Output Parameter Flow
Binary Flow IS A (SUPERTYPE OF) Unconditional Control Flow

Conditional Control Flow IS A (SUBTYPE OF) Binary Flow
Output Parameter Flow IS A (SUBTYPE OF) Binary Flow
Unconditional Control Flow IS A (SUBTYPE OF) Binary Flow

Formalization:
Conditional Control Flow.Information Model → Binary Flow.Information Model
Conditional Control Flow.Composed Operation Destination → Binary Flow.Composed Operation Destination
Conditional Control Flow.Composed Operation → Binary Flow.Composed Operation
Conditional Control Flow.Binary Flow → Binary Flow.Flow
Output Parameter Flow.Information Model → Binary Flow.Information Model
Output Parameter Flow.Composed Operation Destination → Binary Flow.Composed Operation Destination
Output Parameter Flow.Composed Operation → Binary Flow.Composed Operation
Output Parameter Flow.Binary Flow → Binary Flow.Flow
Unconditional Control Flow.Information Model → Binary Flow.Information Model
Unconditional Control Flow.Composed Operation Destination → Binary Flow.Composed Operation Destination
Unconditional Control Flow.Composed Operation → Binary Flow.Composed Operation
Unconditional Control Flow.Binary Flow → Binary Flow.Flow

R515.Output Parameter Flow IS RELATED TO Output Parameter (Mc:1)
Output Parameter IS RELATED TO Output Parameter Flow

Formalization:
Output Parameter Flow.Source Operation Owner → Output Parameter.Operation Owner
Output Parameter Flow.Source Operation → Output Parameter.Operation
Output Parameter Flow.Source Output Parameter → Output Parameter.Parameter

R516.Conditional Control Flow IS A (SUPERTYPE OF) Boolean Control Flow
Conditional Control Flow IS A (SUPERTYPE OF) Enumerated Control Flow

Boolean Control Flow IS A (SUBTYPE OF) Conditional Control Flow
Enumerated Control Flow IS A (SUBTYPE OF) Conditional Control Flow

Formalization:
Boolean Control Flow.Information Model → Conditional Control Flow.Information Model
Boolean Control Flow.Composed Operation Destination → Conditional Control Flow.Composed Operation Destination
Boolean Control Flow.Composed Operation → Conditional Control Flow.Composed Operation
Boolean Control Flow.Conditional Control Flow → Conditional Control Flow.Binary Flow
Enumerated Control Flow.Information Model → Conditional Control Flow.Information Model
Enumerated Control Flow.Composed Operation Destination → Conditional Control Flow.Composed Operation Destination
Enumerated Control Flow.Composed Operation → Conditional Control Flow.Composed Operation
Enumerated Control Flow.Conditional Control Flow → Conditional Control Flow.Binary Flow

R517.Conditional Control Flow TESTS Output Parameter (Mc:1)
Output Parameter IS RELATED TO Conditional Control Flow

Formalization:
Conditional Control Flow.Source Operation Owner → Output Parameter.Operation Owner
Conditional Control Flow.Source Operation → Output Parameter.Operation
Conditional Control Flow.Source Output Parameter → Output Parameter.Parameter

R518.Enumerated Control Flow ENABLES TARGET PROCESS IF SOURCE OUTPUT MATCHES Legal Value (Mc:1)
Legal Value IS RELATED TO Enumerated Control Flow

R519.Data Flow IS A (SUPERTYPE OF) Output Parameter Flow
Data Flow IS A (SUPERTYPE OF) Unary Data Flow

Output Parameter Flow IS A (SUBTYPE OF) Data Flow
Unary Data Flow IS A (SUBTYPE OF) Data Flow

R520.Data Flow IS RELATED TO Input Parameter (Mc:1)
Input Parameter IS RELATED TO Data Flow

Formalization:
Data Flow.Target Operation Owner → Input Parameter.Operation Owner
Data Flow.Target Operation → Input Parameter.Operation
Data Flow.Target Input Parameter → Input Parameter.Parameter