Operation

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

401. OPERATION OWNER (O_OO)

Operation Owner ( Arbitrary ID, Manual Operation Numbering, Label Prefix )

Identifiers:
Arbitrary ID

401.1. Operation Owner.Arbitrary ID (A)

Data Type: Operation Owner ID

401.2. Operation Owner.Manual Operation Numbering

Data Type: Boolean

401.3. Operation Owner.Label Prefix (P)

402. OPERATION (O_O)

Operation ( Operation Owner, Order, Manual Number, Number, Label, Name Owner Category, Name Owner, Name, Meaning, Signature, Description )

Identifiers:
Operation Owner + Order
Operation Owner + Number
Operation Owner + Label

402.1. Operation.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R411)

402.2. Operation.Order (A)

Data Type: Operation Order

402.3. Operation.Manual Number

Data Type: Positive Integer

402.4. Operation.Number (M)

Data Type: Positive Integer

402.5. Operation.Label (M)

Data Type: String

402.6. Operation.Name Owner Category (M)

402.7. Operation.Name Owner (M)

402.8. Operation.Name

Data Type: Name

402.9. Operation.Meaning (M)

Data Type: Name

402.10. Operation.Signature (M)

Data Type: String

402.11. Operation.Description

Data Type: Description

403. BRIDGE MAPPING (O_BM)

Bridge Mapping ( Operation Owner, Operation )

Identifiers:
Operation Owner + Operation

403.1. Bridge Mapping.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

403.2. Bridge Mapping.Operation (R)

References:
Operation.Number (across R413)

404. REQUEST MAPPING (O_RM)

Request Mapping ( Bridge Mapping Owner, Bridge Mapping, Request Wormhole, Control Reception Point )

Identifiers:
Bridge Mapping Owner + Bridge Mapping

404.1. Request Mapping.Bridge Mapping Owner (R)

References:
Bridge Mapping.Operation Owner (across R415)

404.2. Request Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R415)

404.3. Request Mapping.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R417)

404.4. Request Mapping.Control Reception Point (R)

References:
Control Reception Point.Arbitrary ID (across R417)

405. SYNCHRONOUS RETURN MAPPING (O_SRM)

Synchronous Return Mapping ( Bridge Mapping Owner, Bridge Mapping, Request Mapping )

Identifiers:
Bridge Mapping Owner + Bridge Mapping

405.1. Synchronous Return Mapping.Bridge Mapping Owner (R)

References:
Bridge Mapping.Operation Owner (across R415)
Request Mapping.Bridge Mapping Owner (across R419)

405.2. Synchronous Return Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R415)

405.3. Synchronous Return Mapping.Request Mapping (R)

References:
Request Mapping.Bridge Mapping (across R419)

406. ASYNCHRONOUS RETURN MAPPING (O_ARM)

Asynchronous Return Mapping ( Bridge Mapping Owner, Bridge Mapping, Request Mapping, Asynchronous Return Wormhole, Request Wormhole, Solicited Event )

Identifiers:
Bridge Mapping Owner + Bridge Mapping

406.1. Asynchronous Return Mapping.Bridge Mapping Owner (R)

References:
Bridge Mapping.Operation Owner (across R415)
Request Mapping.Bridge Mapping Owner (across R418)

406.2. Asynchronous Return Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R415)

406.3. Asynchronous Return Mapping.Request Mapping (R)

References:
Request Mapping.Bridge Mapping (across R418)

406.4. Asynchronous Return Mapping.Asynchronous Return Wormhole (R)

References:
Asynchronous Return Process.Wormhole (across R422)

406.5. Asynchronous Return Mapping.Request Wormhole (R)

References:
Solicited External Event.Request Wormhole (across R422)

406.6. Asynchronous Return Mapping.Solicited Event (R)

References:
Solicited External Event.External Event (across R422)

407. COUNTERPART MAPPING (O_CM)

Counterpart Mapping ( Bridge Mapping Owner, Bridge Mapping, Source Information Model, Source Object, Target Information Model, Target Object, Conditional )

Identifiers:
Bridge Mapping Owner + Bridge Mapping

407.1. Counterpart Mapping.Bridge Mapping Owner (R)

References:
Bridge Mapping.Operation Owner (across R415)

407.2. Counterpart Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R415)

407.3. Counterpart Mapping.Source Information Model (R)

References:
Object.Information Model (across R423)

407.4. Counterpart Mapping.Source Object (R)

References:
Object.Entity (across R423)

407.5. Counterpart Mapping.Target Information Model (R)

References:
Object.Information Model (across R423)

407.6. Counterpart Mapping.Target Object (R)

References:
Object.Entity (across R423)

407.7. Counterpart Mapping.Conditional

Data Type: Boolean

408. SEMANTIC SHIFT MAPPING (O_SSM)

Semantic Shift Mapping ( Bridge Mapping Owner, Bridge Mapping, Source Information Model, Source Data Type, Target Information Model, Target Data Type, Conditional )

Identifiers:
Bridge Mapping Owner + Bridge Mapping

408.1. Semantic Shift Mapping.Bridge Mapping Owner (R)

References:
Bridge Mapping.Operation Owner (across R415)

408.2. Semantic Shift Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R415)

408.3. Semantic Shift Mapping.Source Information Model (R)

References:
Data Type.Information Model (across R425)

408.4. Semantic Shift Mapping.Source Data Type (R)

References:
Data Type.Name (across R425)

408.5. Semantic Shift Mapping.Target Information Model (R)

References:
Data Type.Information Model (across R425)

408.6. Semantic Shift Mapping.Target Data Type (R)

References:
Data Type.Name (across R425)

408.7. Semantic Shift Mapping.Conditional

Data Type: Boolean

409. DOMAIN OBSERVER (O_DO)

Domain Observer ( Operation Owner, Operation )

Identifiers:
Operation Owner + Operation

409.1. Domain Observer.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

409.2. Domain Observer.Operation (R)

References:
Operation.Number (across R413)

410. OBJECT OBSERVER (O_OO_z)

Object Observer ( Domain Observer Owner, Domain Observer, Object Observation, Observed Information Model, Observed Object )

Identifiers:
Domain Observer Owner + Domain Observer

410.1. Object Observer.Domain Observer Owner (R)

References:
Domain Observer.Operation Owner (across R427)

410.2. Object Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R427)

410.3. Object Observer.Object Observation

Data Type: Object Observation

410.4. Object Observer.Observed Information Model (R)

References:
Object.Information Model (across R428)

410.5. Object Observer.Observed Object (R)

References:
Object.Entity (across R428)

411. OBSERVED ATTRIBUTE (O_OA)

Observed Attribute ( Object Observer Owner, Object Observer, Observed Information Model, Observed Object, Observed Attribute )

Identifiers:
Object Observer Owner + Object Observer + Observed Attribute

411.1. Observed Attribute.Object Observer Owner (R)

References:
Object Observer.Domain Observer Owner (across R429)

411.2. Observed Attribute.Object Observer (R)

References:
Object Observer.Domain Observer (across R429)

411.3. Observed Attribute.Observed Information Model (R)

References:
Attribute.Information Model (across R429)

411.4. Observed Attribute.Observed Object (R)

References:
Attribute.Object (across R429)

411.5. Observed Attribute.Observed Attribute (R)

References:
Attribute.Name (across R429)

412. EVENT GENERATED OBSERVER (O_EGO)

Event Generated Observer ( Domain Observer Owner, Domain Observer, Information Model, Observed Event Destination, Observed Event )

Identifiers:
Domain Observer Owner + Domain Observer

412.1. Event Generated Observer.Domain Observer Owner (R)

References:
Domain Observer.Operation Owner (across R427)

412.2. Event Generated Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R427)

412.3. Event Generated Observer.Information Model (R)

References:
Event.Information Model (across R430)

412.4. Event Generated Observer.Observed Event Destination (R)

References:
Event.Event Destination (across R430)

412.5. Event Generated Observer.Observed Event (R)

References:
Event.Meaning (across R430)

413. OPERATION INVOKED OBSERVER (O_OIO)

Operation Invoked Observer ( Domain Observer Owner, Domain Observer, Observed Operation Owner, Observed Operation )

Identifiers:
Domain Observer Owner + Domain Observer

413.1. Operation Invoked Observer.Domain Observer Owner (R)

References:
Domain Observer.Operation Owner (across R427)

413.2. Operation Invoked Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R427)

413.3. Operation Invoked Observer.Observed Operation Owner (R)

References:
Operation.Operation Owner (across R431)

413.4. Operation Invoked Observer.Observed Operation (R)

References:
Operation.Number (across R431)

414. FUNCTION (O_Fun)

Function ( Operation Owner, Operation )

Identifiers:
Operation Owner + Operation

414.1. Function.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

414.2. Function.Operation (R)

References:
Operation.Number (across R413)

415. ATTRIBUTE CALCULATION (O_AC)

Attribute Calculation ( Information Model, Object, Operation Owner, Operation, For All Object Instances, Minimum Interval Before Recalculation )

Identifiers:
Operation Owner + Operation
Information Model + Object + Operation

415.1. Attribute Calculation.Information Model (R)

References:
Object.Information Model (across R433)

415.2. Attribute Calculation.Object (R)

References:
Object.Entity (across R433)

415.3. Attribute Calculation.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

415.4. Attribute Calculation.Operation (R)

References:
Operation.Number (across R413)

415.5. Attribute Calculation.For All Object Instances

Data Type: Boolean

415.6. Attribute Calculation.Minimum Interval Before Recalculation

Data Type: Non-Negative Interval

416. CALCULATED ATTRIBUTE (O_CA)

Calculated Attribute ( Information Model, Object, Attribute Calculation, Mathematically Dependent Attribute )

Identifiers:
Information Model + Object + Attribute Calculation + Mathematically Dependent Attribute

416.1. Calculated Attribute.Information Model (R)

References:
Attribute Calculation.Information Model (across R434)
Mathematically Dependent Attribute.Information Model (across R434)

416.2. Calculated Attribute.Object (R)

References:
Attribute Calculation.Object (across R434)
Mathematically Dependent Attribute.Object (across R434)

416.3. Calculated Attribute.Attribute Calculation (R)

References:
Attribute Calculation.Operation (across R434)

416.4. Calculated Attribute.Mathematically Dependent Attribute (R)

References:
Mathematically Dependent Attribute.Base Attribute (across R434)

417. RELATIONSHIP NAVIGATION (O_RN)

Relationship Navigation ( Information Model, Mathematically Dependent Relationship, Operation Owner, Operation, First To Second Mapping )

Identifiers:
Operation Owner + Operation
Information Model + Mathematically Dependent Relationship + Operation
Information Model + Mathematically Dependent Relationship + First To Second Mapping

417.1. Relationship Navigation.Information Model (R)

References:
Mathematically Dependent Relationship.Information Model (across R435)

417.2. Relationship Navigation.Mathematically Dependent Relationship (R)

References:
Mathematically Dependent Relationship.Binary Relationship (across R435)

417.3. Relationship Navigation.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

417.4. Relationship Navigation.Operation (R)

References:
Operation.Number (across R413)

417.5. Relationship Navigation.First To Second Mapping

Data Type: Boolean

418. OPERATOR (O_O_z)

Operator ( Operation Owner, Operation )

Identifiers:
Operation Owner + Operation

418.1. Operator.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

418.2. Operator.Operation (R)

References:
Operation.Number (across R413)

419. UNARY OPERATOR (O_UO)

Unary Operator ( Operator Owner, Operator, Unary Operator Category )

Identifiers:
Operator Owner + Operator
Operator Owner + Unary Operator Category

419.1. Unary Operator.Operator Owner (R)

References:
Operator.Operation Owner (across R436)

419.2. Unary Operator.Operator (R)

References:
Operator.Operation (across R436)

419.3. Unary Operator.Unary Operator Category

420. BINARY OPERATOR (O_BO)

Binary Operator ( Operator Owner, Operator, Binary Operator Category )

Identifiers:
Operator Owner + Operator
Operator Owner + Binary Operator Category

420.1. Binary Operator.Operator Owner (R)

References:
Operator.Operation Owner (across R436)

420.2. Binary Operator.Operator (R)

References:
Operator.Operation (across R436)

420.3. Binary Operator.Binary Operator Category

421. DOT OPERATOR (O_DO_z)

Dot Operator ( Operator Owner, Operator )

Identifiers:
Operator Owner + Operator

421.1. Dot Operator.Operator Owner (R)

References:
Operator.Operation Owner (across R436)

421.2. Dot Operator.Operator (R)

References:
Operator.Operation (across R436)

422. EVENT DESTINATION OPERATION (O_EDO)

Event Destination Operation ( Information Model, Event Destination, Operation Owner, Operation )

Identifiers:
Operation Owner + Operation
Information Model + Event Destination + Operation

422.1. Event Destination Operation.Information Model (R)

References:
Event Destination.Information Model (across R439)

422.2. Event Destination Operation.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R439)

422.3. Event Destination Operation.Operation Owner (R)

References:
Operation.Operation Owner (across R413)

422.4. Event Destination Operation.Operation (R)

References:
Operation.Number (across R413)

423. COMPOSED OPERATION (O_CO)

Composed Operation ( Information Model, Event Destination, Event Destination Operation )

Identifiers:
Information Model + Event Destination + Event Destination Operation

423.1. Composed Operation.Information Model (R)

References:
Event Destination Operation.Information Model (across R438)

423.2. Composed Operation.Event Destination (R)

References:
Event Destination Operation.Event Destination (across R438)

423.3. Composed Operation.Event Destination Operation (R)

References:
Event Destination Operation.Operation (across R438)

424. ACTION (O_A)

Action ( Information Model, State Model, Composed Operation, State )

Identifiers:
Information Model + State Model + Composed Operation
Information Model + State Model + State

424.1. Action.Information Model (R)

References:
State.Information Model (across R404)
Composed Operation.Information Model (across R440)

424.2. Action.State Model (R)

References:
State.State Model (across R404)
Composed Operation.Event Destination (across R440)

424.3. Action.Composed Operation (R)

References:
Composed Operation.Event Destination Operation (across R440)

424.4. Action.State (R)

References:
State.Name (across R404)

425. SYNCHRONOUS SERVICE (O_SS)

Synchronous Service ( Information Model, External Entity, Composed Operation, Control Reception Point )

Identifiers:
Information Model + External Entity + Composed Operation
Control Reception Point

425.1. Synchronous Service.Information Model (R)

References:
Control Reception Point.Information Model (across R407)
Composed Operation.Information Model (across R440)

425.2. Synchronous Service.External Entity (R)

References:
Control Reception Point.External Entity (across R407)
Composed Operation.Event Destination (across R440)

425.3. Synchronous Service.Composed Operation (R)

References:
Composed Operation.Event Destination Operation (across R440)

425.4. Synchronous Service.Control Reception Point (R)

References:
Control Reception Point.Arbitrary ID (across R407)

426. PROCESS (O_P)

Process ( Information Model, Event Destination, Event Destination Operation )

Identifiers:
Information Model + Event Destination + Event Destination Operation

426.1. Process.Information Model (R)

References:
Event Destination Operation.Information Model (across R438)

426.2. Process.Event Destination (R)

References:
Event Destination Operation.Event Destination (across R438)

426.3. Process.Event Destination Operation (R)

References:
Event Destination Operation.Operation (across R438)

427. STATE MODEL PROCESS (O_SMP)

State Model Process ( Information Model, State Model, Process, Accessor, Event Generator, Test )

Identifiers:
Information Model + State Model + Process

427.1. State Model Process.Information Model (R)

References:
Process.Information Model (across R442)

427.2. State Model Process.State Model (R)

References:
Process.Event Destination (across R442)

427.3. State Model Process.Process (R)

References:
Process.Event Destination Operation (across R442)

427.4. State Model Process.Accessor (M)

Data Type: Boolean

427.5. State Model Process.Event Generator (M)

Data Type: Boolean

427.6. State Model Process.Test (M)

Data Type: Boolean

428. SIMPLE PROCESS (O_SP)

Simple Process ( Information Model, State Model, State Model Process )

428.1. Simple Process.Information Model

428.2. Simple Process.State Model

428.3. Simple Process.State Model Process

429. OBJECT INSTANCE PROCESS (O_OIP)

Object Instance Process ( Information Model, State Model, State Model Process )

429.1. Object Instance Process.Information Model

429.2. Object Instance Process.State Model

429.3. Object Instance Process.State Model Process

430. POLYMORPHIC PROCESS (O_PP)

Polymorphic Process ( Information Model, Polymorphic Destination, Process )

Identifiers:
Information Model + Polymorphic Destination + Process

430.1. Polymorphic Process.Information Model (R)

References:
Process.Information Model (across R442)

430.2. Polymorphic Process.Polymorphic Destination (R)

References:
Process.Event Destination (across R442)

430.3. Polymorphic Process.Process (R)

References:
Process.Event Destination Operation (across R442)

431. SUBTYPE PROCESS (O_SP_z)

Subtype Process ( Information Model, Event Destination, Process )

Identifiers:
Information Model + Event Destination + Process

431.1. Subtype Process.Information Model (P)

431.2. Subtype Process.Event Destination (P)

431.3. Subtype Process.Process (P)

432. POLYMORPHIC PROCESS MAPPING (O_PPM)

Polymorphic Process Mapping ( )

433. BRIDGING PROCESS (O_BP)

Bridging Process ( Information Model, External Entity, Process, Request Wormhole )

Identifiers:
Information Model + External Entity + Process
Request Wormhole

433.1. Bridging Process.Information Model (R)

References:
Process.Information Model (across R442)

433.2. Bridging Process.External Entity (R)

References:
Process.Event Destination (across R442)

433.3. Bridging Process.Process (R)

References:
Process.Event Destination Operation (across R442)

433.4. Bridging Process.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R406)

434. SYNCHRONOUS RETURN PROCESS (O_SRP)

Synchronous Return Process ( Information Model, External Entity, Process, Synchronous Service, Wormhole )

Identifiers:
Information Model + External Entity + Process
Wormhole

434.1. Synchronous Return Process.Information Model (R)

References:
Wormhole.Information Model (across R405)
Process.Information Model (across R442)

434.2. Synchronous Return Process.External Entity (R)

References:
Wormhole.External Entity (across R405)
Process.Event Destination (across R442)

434.3. Synchronous Return Process.Process (R)

References:
Process.Event Destination Operation (across R442)

434.4. Synchronous Return Process.Synchronous Service (R)

References:
Synchronous Service.Control Reception Point (across R441)

434.5. Synchronous Return Process.Wormhole (R)

References:
Wormhole.Arbitrary ID (across R405)

435. ASYNCHRONOUS RETURN PROCESS (O_ARP)

Asynchronous Return Process ( Information Model, External Entity, Process, Wormhole )

Identifiers:
Information Model + External Entity + Process
Wormhole

435.1. Asynchronous Return Process.Information Model (R)

References:
Wormhole.Information Model (across R405)
Process.Information Model (across R442)

435.2. Asynchronous Return Process.External Entity (R)

References:
Wormhole.External Entity (across R405)
Process.Event Destination (across R442)

435.3. Asynchronous Return Process.Process (R)

References:
Process.Event Destination Operation (across R442)

435.4. Asynchronous Return Process.Wormhole (R)

References:
Wormhole.Arbitrary ID (across R405)

436. PARAMETER (O_Param)

Parameter ( Data Item, Operation Owner, Operation, Order, Name )

Identifiers:
Data Item
Operation Owner + Operation + Order
Operation Owner + Operation + Name

436.1. Parameter.Data Item (R)

References:
Data Item.Arbitrary ID (across R248)

436.2. Parameter.Operation Owner (R)

References:
Operation.Operation Owner (across R412)

436.3. Parameter.Operation (R)

References:
Operation.Number (across R412)

436.4. Parameter.Order (A)

Data Type: Parameter Order

436.5. Parameter.Name (P)

437. USER DEFINED PARAMETER (O_UDP)

User Defined Parameter ( Operation Owner, Operation, Parameter, Name )

Identifiers:
Operation Owner + Operation + Parameter

437.1. User Defined Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R447)

437.2. User Defined Parameter.Operation (R)

References:
Parameter.Operation (across R447)

437.3. User Defined Parameter.Parameter (R)

References:
Parameter.Order (across R447)

437.4. User Defined Parameter.Name

Data Type: Name

438. PREDEFINED PARAMETER (O_SParam)

Predefined Parameter ( Operation Owner, Operation, Parameter, Predefined Parameter Category, Name )

Identifiers:
Operation Owner + Operation + Parameter

438.1. Predefined Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R447)

438.2. Predefined Parameter.Operation (R)

References:
Parameter.Operation (across R447)

438.3. Predefined Parameter.Parameter (R)

References:
Parameter.Order (across R447)

438.4. Predefined Parameter.Predefined Parameter Category

438.5. Predefined Parameter.Name (M)

Data Type: Name

439. EVENT DATA ITEM PARAMETER (O_EDIP)

Event Data Item Parameter ( Operation Owner, Operation, Input Parameter, Information Model, Event Destination, Event Data Item, Name )

Identifiers:
Operation Owner + Operation + Input Parameter

439.1. Event Data Item Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R447)

439.2. Event Data Item Parameter.Operation (R)

References:
Parameter.Operation (across R447)

439.3. Event Data Item Parameter.Input Parameter (R)

References:
Parameter.Order (across R447)

439.4. Event Data Item Parameter.Information Model (R)

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

439.5. Event Data Item Parameter.Event Destination (R)

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

439.6. Event Data Item Parameter.Event Data Item (R)

References:
Event Data Item.Name (across R449)

439.7. Event Data Item Parameter.Name (M)

Data Type: Name

440. PARAMETER PARAMETER (O_PP_z)

Parameter Parameter ( Operation Owner, Operation, Parameter, Source Operation Owner, Source Operation, Source Parameter, Name )

Identifiers:
Operation Owner + Operation + Parameter

440.1. Parameter Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R447)

440.2. Parameter Parameter.Operation (R)

References:
Parameter.Operation (across R447)

440.3. Parameter Parameter.Parameter (R)

References:
Parameter.Order (across R447)

440.4. Parameter Parameter.Source Operation Owner (R)

References:
Parameter.Operation Owner (across R450)

440.5. Parameter Parameter.Source Operation (R)

References:
Parameter.Operation (across R450)

440.6. Parameter Parameter.Source Parameter (R)

References:
Parameter.Order (across R450)

440.7. Parameter Parameter.Name (M)

Data Type: Name

441. OBSERVED ATTRIBUTE PARAMETER (O_OAP)

Observed Attribute Parameter ( Operation Owner, Operation, Input Parameter, Name, Observed Attribute, Observed Attribute Category )

Identifiers:
Operation Owner + Operation + Input Parameter
Operation Owner + Operation + Observed Attribute + Observed Attribute Category

441.1. Observed Attribute Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R447)
Observed Attribute.Object Observer Owner (across R451)

441.2. Observed Attribute Parameter.Operation (R)

References:
Parameter.Operation (across R447)
Observed Attribute.Object Observer (across R451)

441.3. Observed Attribute Parameter.Input Parameter (R)

References:
Parameter.Order (across R447)

441.4. Observed Attribute Parameter.Name (M)

Data Type: Name

441.5. Observed Attribute Parameter.Observed Attribute (R)

References:
Observed Attribute.Observed Attribute (across R451)

441.6. Observed Attribute Parameter.Observed Attribute Category

442. INPUT PARAMETER (O_IP)

Input Parameter ( Operation Owner, Operation, Parameter )

Identifiers:
Operation Owner + Operation + Parameter

442.1. Input Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R448)

442.2. Input Parameter.Operation (R)

References:
Parameter.Operation (across R448)

442.3. Input Parameter.Parameter (R)

References:
Parameter.Order (across R448)

443. OUTPUT PARAMETER (O_OP)

Output Parameter ( Operation Owner, Operation, Parameter )

Identifiers:
Operation Owner + Operation + Parameter

443.1. Output Parameter.Operation Owner (R)

References:
Parameter.Operation Owner (across R448)

443.2. Output Parameter.Operation (R)

References:
Parameter.Operation (across R448)

443.3. Output Parameter.Parameter (R)

References:
Parameter.Order (across R448)

444. WORMHOLE (O_W)

Wormhole ( Information Model, External Entity, Arbitrary ID )

Identifiers:
Information Model + External Entity + Arbitrary ID

444.1. Wormhole.Information Model (P)

444.2. Wormhole.External Entity (P)

444.3. Wormhole.Arbitrary ID (A)

445. REQUEST WORMHOLE (O_RW)

Request Wormhole ( Information Model, External Entity, Wormhole )

Identifiers:
Information Model + External Entity + Wormhole

445.1. Request Wormhole.Information Model (R, P)

References:
Wormhole.Information Model (across R405)

445.2. Request Wormhole.External Entity (R, P)

References:
Wormhole.External Entity (across R405)

445.3. Request Wormhole.Wormhole (R)

References:
Wormhole.Arbitrary ID (across R405)

446. CONTROL RECEPTION POINT (O_CRP)

Control Reception Point ( Information Model, External Entity, Arbitrary ID )

Identifiers:
Information Model + External Entity + Arbitrary ID

446.1. Control Reception Point.Information Model (P)

446.2. Control Reception Point.External Entity (P)

446.3. Control Reception Point.Arbitrary ID (A)

447. SOLICITED EXTERNAL EVENT (O_SEE)

Solicited External Event ( Request Wormhole, External Event, Many, Conditional )

Identifiers:
Request Wormhole + External Event

447.1. Solicited External Event.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R409)

447.2. Solicited External Event.External Event (R)

References:
External Event.Control Reception Point (across R409)

447.3. Solicited External Event.Many

Data Type: Boolean

447.4. Solicited External Event.Conditional

Data Type: Boolean

Part III: Relationships

R401.Layer IS RELATED TO Domain Observer (1:Mc)
Domain Observer IS RELATED TO Layer

Formalization: R401 = R413 + R411 + R410

R402.External Entity ASSUMES CAPABILITIES ARE PROVIDED BY SERVER DOMAINS TO HANDLE Wormhole (1:Mc)
Wormhole DEFINES CLIENT INTERFACE FOR External Entity

R403.External Entity PROVIDES CAPABILITIES TO CLIENT DOMAINS USING Control Reception Point (1:Mc)
Control Reception Point DEFINES SERVER INTERFACE FOR External Entity

R404.State PERFORMS Action (1:1c)
Action IS PERFORMED ON ENTRY TO State

Formalization:
Action.Information Model  State.Information Model
Action.State Model  State.State Model
Action.State  State.Name

R405.Wormhole IS A (SUPERTYPE OF) Asynchronous Return Process
Wormhole IS A (SUPERTYPE OF) Request Wormhole
Wormhole IS A (SUPERTYPE OF) Synchronous Return Process

Asynchronous Return Process IS A (SUBTYPE OF) Wormhole
Request Wormhole IS A (SUBTYPE OF) Wormhole
Synchronous Return Process IS A (SUBTYPE OF) Wormhole

Formalization:
Asynchronous Return Process.Information Model  Wormhole.Information Model
Asynchronous Return Process.External Entity  Wormhole.External Entity
Asynchronous Return Process.Wormhole  Wormhole.Arbitrary ID
Request Wormhole.Information Model  Wormhole.Information Model
Request Wormhole.External Entity  Wormhole.External Entity
Request Wormhole.Wormhole  Wormhole.Arbitrary ID
Synchronous Return Process.Information Model  Wormhole.Information Model
Synchronous Return Process.External Entity  Wormhole.External Entity
Synchronous Return Process.Wormhole  Wormhole.Arbitrary ID

R406.Request Wormhole IS A (SUPERTYPE OF) Bridging Process
Request Wormhole IS A (SUPERTYPE OF) Domain-Crossing Event

Bridging Process IS A (SUBTYPE OF) Request Wormhole
Domain-Crossing Event IS A (SUBTYPE OF) Request Wormhole

Formalization:
Bridging Process.Request Wormhole  Request Wormhole.Wormhole
Domain-Crossing Event.Request Wormhole  Request Wormhole.Wormhole

R407.Control Reception Point IS A (SUPERTYPE OF) External Event
Control Reception Point IS A (SUPERTYPE OF) Synchronous Service

External Event IS A (SUBTYPE OF) Control Reception Point
Synchronous Service IS A (SUBTYPE OF) Control Reception Point

Formalization:
External Event.Information Model  Control Reception Point.Information Model
External Event.External Entity  Control Reception Point.External Entity
External Event.Control Reception Point  Control Reception Point.Arbitrary ID
Synchronous Service.Information Model  Control Reception Point.Information Model
Synchronous Service.External Entity  Control Reception Point.External Entity
Synchronous Service.Control Reception Point  Control Reception Point.Arbitrary ID

R408.Control Reception Point RETURNS RESULTS ASYNCHRONOUSLY USING Asynchronous Return Process (Mc:Mc)
Asynchronous Return Process RETURNS RESULTS FOR Control Reception Point

R409.Request Wormhole SOLICITS External Event (Mc:Mc)
External Event IS SOLICITED BY Request Wormhole
Solicited External Event ASSOCIATES Request Wormhole AND External Event 1-(Mc:Mc)

Formalization:
Solicited External Event.Request Wormhole  Request Wormhole.Wormhole
Solicited External Event.External Event  External Event.Control Reception Point

R410.Operation Owner IS A (SUPERTYPE OF) Bridge
Operation Owner IS A (SUPERTYPE OF) Data Type
Operation Owner IS A (SUPERTYPE OF) Event Destination
Operation Owner IS A (SUPERTYPE OF) Information Model
Operation Owner IS A (SUPERTYPE OF) Layer
Operation Owner IS A (SUPERTYPE OF) Mathematically Dependent Relationship
Operation Owner IS A (SUPERTYPE OF) Object

Bridge IS A (SUBTYPE OF) Operation Owner
Data Type IS A (SUBTYPE OF) Operation Owner
Event Destination IS A (SUBTYPE OF) Operation Owner
Information Model IS A (SUBTYPE OF) Operation Owner
Layer IS A (SUBTYPE OF) Operation Owner
Mathematically Dependent Relationship IS A (SUBTYPE OF) Operation Owner
Object IS A (SUBTYPE OF) Operation Owner

Formalization:
Bridge.Operation Owner  Operation Owner.Arbitrary ID
Data Type.Operation Owner  Operation Owner.Arbitrary ID
Event Destination.Operation Owner  Operation Owner.Arbitrary ID
Information Model.Operation Owner  Operation Owner.Arbitrary ID
Layer.Operation Owner  Operation Owner.Arbitrary ID
Mathematically Dependent Relationship.Operation Owner  Operation Owner.Arbitrary ID
Object.Operation Owner  Operation Owner.Arbitrary ID

R411.Operation Owner OWNS Operation (1:Mc)
Operation IS OWNED BY Operation Owner

Formalization:
Operation.Operation Owner  Operation Owner.Arbitrary ID

R412.Operation DEFINES Parameter (1:Mc)
Parameter IS DEFINED BY Operation

Formalization:
Parameter.Operation Owner  Operation.Operation Owner
Parameter.Operation  Operation.Number

R413.Operation IS A (SUPERTYPE OF) Attribute Calculation
Operation IS A (SUPERTYPE OF) Bridge Mapping
Operation IS A (SUPERTYPE OF) Domain Observer
Operation IS A (SUPERTYPE OF) Event Destination Operation
Operation IS A (SUPERTYPE OF) Function
Operation IS A (SUPERTYPE OF) Operator
Operation IS A (SUPERTYPE OF) Relationship Navigation

Attribute Calculation IS A (SUBTYPE OF) Operation
Bridge Mapping IS A (SUBTYPE OF) Operation
Domain Observer IS A (SUBTYPE OF) Operation
Event Destination Operation IS A (SUBTYPE OF) Operation
Function IS A (SUBTYPE OF) Operation
Operator IS A (SUBTYPE OF) Operation
Relationship Navigation IS A (SUBTYPE OF) Operation

Formalization:
Attribute Calculation.Operation Owner  Operation.Operation Owner
Attribute Calculation.Operation  Operation.Number
Bridge Mapping.Operation Owner  Operation.Operation Owner
Bridge Mapping.Operation  Operation.Number
Domain Observer.Operation Owner  Operation.Operation Owner
Domain Observer.Operation  Operation.Number
Event Destination Operation.Operation Owner  Operation.Operation Owner
Event Destination Operation.Operation  Operation.Number
Function.Operation Owner  Operation.Operation Owner
Function.Operation  Operation.Number
Operator.Operation Owner  Operation.Operation Owner
Operator.Operation  Operation.Number
Relationship Navigation.Operation Owner  Operation.Operation Owner
Relationship Navigation.Operation  Operation.Number

R414.Operation IS UNIQUELY NAMED WITHIN CONTEXT OF Operation Owner (Mc:1c)
Operation Owner IS NAMING CONTEXT FOR Operation

R415.Bridge Mapping IS A (SUPERTYPE OF) Asynchronous Return Mapping
Bridge Mapping IS A (SUPERTYPE OF) Counterpart Mapping
Bridge Mapping IS A (SUPERTYPE OF) Request Mapping
Bridge Mapping IS A (SUPERTYPE OF) Semantic Shift Mapping
Bridge Mapping IS A (SUPERTYPE OF) Synchronous Return Mapping

Asynchronous Return Mapping IS A (SUBTYPE OF) Bridge Mapping
Counterpart Mapping IS A (SUBTYPE OF) Bridge Mapping
Request Mapping IS A (SUBTYPE OF) Bridge Mapping
Semantic Shift Mapping IS A (SUBTYPE OF) Bridge Mapping
Synchronous Return Mapping IS A (SUBTYPE OF) Bridge Mapping

Formalization:
Asynchronous Return Mapping.Bridge Mapping Owner  Bridge Mapping.Operation Owner
Asynchronous Return Mapping.Bridge Mapping  Bridge Mapping.Operation
Counterpart Mapping.Bridge Mapping Owner  Bridge Mapping.Operation Owner
Counterpart Mapping.Bridge Mapping  Bridge Mapping.Operation
Request Mapping.Bridge Mapping Owner  Bridge Mapping.Operation Owner
Request Mapping.Bridge Mapping  Bridge Mapping.Operation
Semantic Shift Mapping.Bridge Mapping Owner  Bridge Mapping.Operation Owner
Semantic Shift Mapping.Bridge Mapping  Bridge Mapping.Operation
Synchronous Return Mapping.Bridge Mapping Owner  Bridge Mapping.Operation Owner
Synchronous Return Mapping.Bridge Mapping  Bridge Mapping.Operation

R416.Bridge Mapping IS RELATED TO Bridge (Mc:1)
Bridge IS RELATED TO Bridge Mapping

Formalization: R416 = R413 + R411 + R410

R417.Request Wormhole TRANSFERS CONTROL TO Control Reception Point (Mc:Mc)
Control Reception Point RECEIVES CONTROL FROM Request Wormhole
Request Mapping ASSOCIATES Request Wormhole AND Control Reception Point 1-(Mc:Mc)

Formalization:
Request Mapping.Request Wormhole  Request Wormhole.Wormhole
Request Mapping.Control Reception Point  Control Reception Point.Arbitrary ID

R418.Request Mapping SOLICITS EVENT GENERATED BY Asynchronous Return Mapping (1:Mc)
Asynchronous Return Mapping GENERATES EVENT SOLICITED BY Request Mapping

Formalization:
Asynchronous Return Mapping.Bridge Mapping Owner  Request Mapping.Bridge Mapping Owner
Asynchronous Return Mapping.Request Mapping  Request Mapping.Bridge Mapping

R419.Synchronous Return Mapping RETURNS RESULTS REQUESTED BY Request Mapping (1c:1)
Request Mapping REQUESTS RESULTS RETURNED BY Synchronous Return Mapping

Formalization:
Synchronous Return Mapping.Bridge Mapping Owner  Request Mapping.Bridge Mapping Owner
Synchronous Return Mapping.Request Mapping  Request Mapping.Bridge Mapping

R420.Synchronous Return Mapping SYNCHRONOUSLY RETURNS RESULTS FROM Synchronous Service (Mc:1)
Synchronous Service IS RELATED TO Synchronous Return Mapping

Formalization: R420 = R419 + R417 + R407

R421.Synchronous Return Mapping SYNCHRONOUSLY RETURNS RESULTS TO Bridging Process (Mc:1)
Bridging Process IS RELATED TO Synchronous Return Mapping

Formalization: R421 = R419 + R417 + R406

R422.Asynchronous Return Process IS RELATED TO Solicited External Event (Mc:Mc)
Solicited External Event IS RELATED TO Asynchronous Return Process
Asynchronous Return Mapping ASSOCIATES Asynchronous Return Process AND Solicited External Event 1-(Mc:Mc)

Formalization:
Asynchronous Return Mapping.Asynchronous Return Wormhole  Asynchronous Return Process.Wormhole
Asynchronous Return Mapping.Request Wormhole  Solicited External Event.Request Wormhole
Asynchronous Return Mapping.Solicited Event  Solicited External Event.External Event

R423.Object MAPS TO Object (Mc:Mc)
Object MAPS FROM Object
Counterpart Mapping ASSOCIATES Object AND Object 1-(Mc:Mc)

Formalization:
Counterpart Mapping.Source Information Model  Object.Information Model
Counterpart Mapping.Source Object  Object.Entity
Counterpart Mapping.Target Information Model  Object.Information Model
Counterpart Mapping.Target Object  Object.Entity

R424.Counterpart Mapping HAS REVERSE Counterpart Mapping (1c:1c)
Counterpart Mapping HAS REVERSE Counterpart Mapping

R425.Data Type MAPS TO Data Type (Mc:Mc)
Data Type MAPS FROM Data Type
Semantic Shift Mapping ASSOCIATES Data Type AND Data Type 1-(Mc:Mc)

Formalization:
Semantic Shift Mapping.Source Information Model  Data Type.Information Model
Semantic Shift Mapping.Source Data Type  Data Type.Name
Semantic Shift Mapping.Target Information Model  Data Type.Information Model
Semantic Shift Mapping.Target Data Type  Data Type.Name

R426.Semantic Shift Mapping HAS REVERSE Semantic Shift Mapping (1c:1c)
Semantic Shift Mapping HAS REVERSE Semantic Shift Mapping

R427.Domain Observer IS A (SUPERTYPE OF) Event Generated Observer
Domain Observer IS A (SUPERTYPE OF) Object Observer
Domain Observer IS A (SUPERTYPE OF) Operation Invoked Observer

Event Generated Observer IS A (SUBTYPE OF) Domain Observer
Object Observer IS A (SUBTYPE OF) Domain Observer
Operation Invoked Observer IS A (SUBTYPE OF) Domain Observer

Formalization:
Event Generated Observer.Domain Observer Owner  Domain Observer.Operation Owner
Event Generated Observer.Domain Observer  Domain Observer.Operation
Object Observer.Domain Observer Owner  Domain Observer.Operation Owner
Object Observer.Domain Observer  Domain Observer.Operation
Operation Invoked Observer.Domain Observer Owner  Domain Observer.Operation Owner
Operation Invoked Observer.Domain Observer  Domain Observer.Operation

R428.Object Observer OBSERVES Object (Mc:1)
Object IS OBSERVED BY Object Observer

Formalization:
Object Observer.Observed Information Model  Object.Information Model
Object Observer.Observed Object  Object.Entity

R429.Object Observer OBSERVES Attribute (Mc:Mc)
Attribute IS OBSERVED BY Object Observer
Observed Attribute ASSOCIATES Object Observer AND Attribute 1-(Mc:Mc)

Formalization:
Observed Attribute.Object Observer Owner  Object Observer.Domain Observer Owner
Observed Attribute.Object Observer  Object Observer.Domain Observer
Observed Attribute.Observed Information Model  Attribute.Information Model
Observed Attribute.Observed Object  Attribute.Object
Observed Attribute.Observed Attribute  Attribute.Name

R430.Event Generated Observer OBSERVES Event (Mc:1)
Event IS OBSERVED BY Event Generated Observer

Formalization:
Event Generated Observer.Information Model  Event.Information Model
Event Generated Observer.Observed Event Destination  Event.Event Destination
Event Generated Observer.Observed Event  Event.Meaning

R431.Operation Invoked Observer OBSERVES Operation (Mc:1)
Operation IS OBSERVED BY Operation Invoked Observer

Formalization:
Operation Invoked Observer.Observed Operation Owner  Operation.Operation Owner
Operation Invoked Observer.Observed Operation  Operation.Number

R432.Function IS RELATED TO Information Model (Mc:1)
Information Model IS RELATED TO Function

Formalization: R432 = R413 + R411 + R410

R433.Attribute Calculation IS RELATED TO Object (Mc:1)
Object IS RELATED TO Attribute Calculation

Formalization: R433 = R413 + R411 + R410

R434.Attribute Calculation CALCULATES Mathematically Dependent Attribute (Mc:M)
Mathematically Dependent Attribute IS CALCULATED BY Attribute Calculation
Calculated Attribute ASSOCIATES Attribute Calculation AND Mathematically Dependent Attribute 1-(Mc:M)

Formalization:
Calculated Attribute.Attribute Calculation  Attribute Calculation.Operation
Calculated Attribute.Information Model  Attribute Calculation.Information Model
Calculated Attribute.Object  Attribute Calculation.Object
Calculated Attribute.Information Model  Mathematically Dependent Attribute.Information Model
Calculated Attribute.Object  Mathematically Dependent Attribute.Object
Calculated Attribute.Mathematically Dependent Attribute  Mathematically Dependent Attribute.Base Attribute

R435.Relationship Navigation IS RELATED TO Mathematically Dependent Relationship (Mc:1)
Mathematically Dependent Relationship IS RELATED TO Relationship Navigation

Formalization: R435 = R413 + R411 + R410

R436.Operator IS A (SUPERTYPE OF) Binary Operator
Operator IS A (SUPERTYPE OF) Dot Operator
Operator IS A (SUPERTYPE OF) Unary Operator

Binary Operator IS A (SUBTYPE OF) Operator
Dot Operator IS A (SUBTYPE OF) Operator
Unary Operator IS A (SUBTYPE OF) Operator

Formalization:
Binary Operator.Operator Owner  Operator.Operation Owner
Binary Operator.Operator  Operator.Operation
Dot Operator.Operator Owner  Operator.Operation Owner
Dot Operator.Operator  Operator.Operation
Unary Operator.Operator Owner  Operator.Operation Owner
Unary Operator.Operator  Operator.Operation

R437.Operator IS RELATED TO Data Type (Mc:1)
Data Type IS RELATED TO Operator

Formalization: R437 = R413 + R411 + R410

R438.Event Destination Operation IS A (SUPERTYPE OF) Composed Operation
Event Destination Operation IS A (SUPERTYPE OF) Process

Composed Operation IS A (SUBTYPE OF) Event Destination Operation
Process IS A (SUBTYPE OF) Event Destination Operation

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

R439.Event Destination Operation IS RELATED TO Event Destination (Mc:1)
Event Destination IS RELATED TO Event Destination Operation

Formalization: R439 = R413 + R411 + R410

R440.Composed Operation IS A (SUPERTYPE OF) Action
Composed Operation IS A (SUPERTYPE OF) Synchronous Service

Action IS A (SUBTYPE OF) Composed Operation
Synchronous Service IS A (SUBTYPE OF) Composed Operation

Formalization:
Action.Information Model  Composed Operation.Information Model
Action.State Model  Composed Operation.Event Destination
Action.Composed Operation  Composed Operation.Event Destination Operation
Synchronous Service.Information Model  Composed Operation.Information Model
Synchronous Service.External Entity  Composed Operation.Event Destination
Synchronous Service.Composed Operation  Composed Operation.Event Destination Operation

R441.Synchronous Service RETURNS RESULTS SYNCHRONOUSLY USING Synchronous Return Process (1:1c)
Synchronous Return Process RETURNS RESULTS FOR Synchronous Service

Formalization:
Synchronous Return Process.Synchronous Service  Synchronous Service.Control Reception Point

R442.Process IS A (SUPERTYPE OF) Asynchronous Return Process
Process IS A (SUPERTYPE OF) Bridging Process
Process IS A (SUPERTYPE OF) Polymorphic Process
Process IS A (SUPERTYPE OF) State Model Process
Process IS A (SUPERTYPE OF) Synchronous Return Process

Asynchronous Return Process IS A (SUBTYPE OF) Process
Bridging Process IS A (SUBTYPE OF) Process
Polymorphic Process IS A (SUBTYPE OF) Process
State Model Process IS A (SUBTYPE OF) Process
Synchronous Return Process IS A (SUBTYPE OF) Process

Formalization:
Asynchronous Return Process.Information Model  Process.Information Model
Asynchronous Return Process.External Entity  Process.Event Destination
Asynchronous Return Process.Process  Process.Event Destination Operation
Bridging Process.Information Model  Process.Information Model
Bridging Process.External Entity  Process.Event Destination
Bridging Process.Process  Process.Event Destination Operation
Polymorphic Process.Information Model  Process.Information Model
Polymorphic Process.Polymorphic Destination  Process.Event Destination
Polymorphic Process.Process  Process.Event Destination Operation
State Model Process.Information Model  Process.Information Model
State Model Process.State Model  Process.Event Destination
State Model Process.Process  Process.Event Destination Operation
Synchronous Return Process.Information Model  Process.Information Model
Synchronous Return Process.External Entity  Process.Event Destination
Synchronous Return Process.Process  Process.Event Destination Operation

R443.State Model Process IS A (SUPERTYPE OF) Object Instance Process
State Model Process IS A (SUPERTYPE OF) Simple Process

Object Instance Process IS A (SUBTYPE OF) State Model Process
Simple Process IS A (SUBTYPE OF) State Model Process

R444.Polymorphic Process HAS TRUE Object Instance Process (Mc:Mc)
Object Instance Process IS TRUE PROCESS FOR Polymorphic Process

R445.Subtype Process IS A (SUPERTYPE OF) Object Instance Process
Subtype Process IS A (SUPERTYPE OF) Polymorphic Process

Object Instance Process IS A (SUBTYPE OF) Subtype Process
Polymorphic Process IS A (SUBTYPE OF) Subtype Process

R446.Polymorphic Process MAPS TO Subtype Process (Mc:Mc)
Subtype Process MAPS FROM Polymorphic Process
Polymorphic Process Mapping ASSOCIATES Polymorphic Process AND Subtype Process 1-(Mc:Mc)

R447.Parameter IS A (SUPERTYPE OF) Event Data Item Parameter
Parameter IS A (SUPERTYPE OF) Observed Attribute Parameter
Parameter IS A (SUPERTYPE OF) Parameter Parameter
Parameter IS A (SUPERTYPE OF) Predefined Parameter
Parameter IS A (SUPERTYPE OF) User Defined Parameter

Event Data Item Parameter IS A (SUBTYPE OF) Parameter
Observed Attribute Parameter IS A (SUBTYPE OF) Parameter
Parameter Parameter IS A (SUBTYPE OF) Parameter
Predefined Parameter IS A (SUBTYPE OF) Parameter
User Defined Parameter IS A (SUBTYPE OF) Parameter

Formalization:
Event Data Item Parameter.Operation Owner  Parameter.Operation Owner
Event Data Item Parameter.Operation  Parameter.Operation
Event Data Item Parameter.Input Parameter  Parameter.Order
Observed Attribute Parameter.Operation Owner  Parameter.Operation Owner
Observed Attribute Parameter.Operation  Parameter.Operation
Observed Attribute Parameter.Input Parameter  Parameter.Order
Parameter Parameter.Operation Owner  Parameter.Operation Owner
Parameter Parameter.Operation  Parameter.Operation
Parameter Parameter.Parameter  Parameter.Order
Predefined Parameter.Operation Owner  Parameter.Operation Owner
Predefined Parameter.Operation  Parameter.Operation
Predefined Parameter.Parameter  Parameter.Order
User Defined Parameter.Operation Owner  Parameter.Operation Owner
User Defined Parameter.Operation  Parameter.Operation
User Defined Parameter.Parameter  Parameter.Order

R448.Parameter IS A (SUPERTYPE OF) Input Parameter
Parameter IS A (SUPERTYPE OF) Output Parameter

Input Parameter IS A (SUBTYPE OF) Parameter
Output Parameter IS A (SUBTYPE OF) Parameter

Formalization:
Input Parameter.Operation Owner  Parameter.Operation Owner
Input Parameter.Operation  Parameter.Operation
Input Parameter.Parameter  Parameter.Order
Output Parameter.Operation Owner  Parameter.Operation Owner
Output Parameter.Operation  Parameter.Operation
Output Parameter.Parameter  Parameter.Order

R449.Event Data Item Parameter RECEIVES Event Data Item (Mc:1)
Event Data Item IS RECEIVED AS Event Data Item Parameter

Formalization:
Event Data Item Parameter.Information Model  Event Data Item.Information Model
Event Data Item Parameter.Event Destination  Event Data Item.Event Destination
Event Data Item Parameter.Event Data Item  Event Data Item.Name

R450.Parameter Parameter HAS SOURCE Parameter (Mc:1)
Parameter IS SOURCE PARAMETER OF Parameter Parameter

Formalization:
Parameter Parameter.Source Operation Owner  Parameter.Operation Owner
Parameter Parameter.Source Operation  Parameter.Operation
Parameter Parameter.Source Parameter  Parameter.Order

R451.Observed Attribute Parameter IS RELATED TO Observed Attribute (Mc:1)
Observed Attribute IS RELATED TO Observed Attribute Parameter

Formalization: R451 = R447 + R248 + R249 + R429