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 R404)

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 R406)

403.2. Bridge Mapping.Operation (R)

References:
Operation.Number (across R406)

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 R408)

404.2. Request Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R408)

404.3. Request Mapping.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R25)

404.4. Request Mapping.Control Reception Point (R)

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

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 R408)
Request Mapping.Bridge Mapping Owner (across R411)

405.2. Synchronous Return Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R408)

405.3. Synchronous Return Mapping.Request Mapping (R)

References:
Request Mapping.Bridge Mapping (across R411)

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 R408)
Request Mapping.Bridge Mapping Owner (across R410)

406.2. Asynchronous Return Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R408)

406.3. Asynchronous Return Mapping.Request Mapping (R)

References:
Request Mapping.Bridge Mapping (across R410)

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

References:
Asynchronous Return Process.Wormhole (across R26)

406.5. Asynchronous Return Mapping.Request Wormhole (R)

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

406.6. Asynchronous Return Mapping.Solicited Event (R)

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

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 R408)

407.2. Counterpart Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R408)

407.3. Counterpart Mapping.Source Information Model (R)

References:
Object.Information Model (across R27)

407.4. Counterpart Mapping.Source Object (R)

References:
Object.Entity (across R27)

407.5. Counterpart Mapping.Target Information Model (R)

References:
Object.Information Model (across R27)

407.6. Counterpart Mapping.Target Object (R)

References:
Object.Entity (across R27)

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 R408)

408.2. Semantic Shift Mapping.Bridge Mapping (R)

References:
Bridge Mapping.Operation (across R408)

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

References:
Data Type.Information Model (across R28)

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

References:
Data Type.Name (across R28)

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

References:
Data Type.Information Model (across R28)

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

References:
Data Type.Name (across R28)

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 R406)

409.2. Domain Observer.Operation (R)

References:
Operation.Number (across R406)

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 R416)

410.2. Object Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R416)

410.3. Object Observer.Object Observation

Data Type: Object Observation

410.4. Object Observer.Observed Information Model (R)

References:
Object.Information Model (across R417)

410.5. Object Observer.Observed Object (R)

References:
Object.Entity (across R417)

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 R418)

411.2. Observed Attribute.Object Observer (R)

References:
Object Observer.Domain Observer (across R418)

411.3. Observed Attribute.Observed Information Model (R)

References:
Attribute.Information Model (across R418)

411.4. Observed Attribute.Observed Object (R)

References:
Attribute.Object (across R418)

411.5. Observed Attribute.Observed Attribute (R)

References:
Attribute.Name (across R418)

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 R416)

412.2. Event Generated Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R416)

412.3. Event Generated Observer.Information Model (R)

References:
Event.Information Model (across R419)

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

References:
Event.Event Destination (across R419)

412.5. Event Generated Observer.Observed Event (R)

References:
Event.Meaning (across R419)

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 R416)

413.2. Operation Invoked Observer.Domain Observer (R)

References:
Domain Observer.Operation (across R416)

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

References:
Operation.Operation Owner (across R420)

413.4. Operation Invoked Observer.Observed Operation (R)

References:
Operation.Number (across R420)

414. FUNCTION (O_Fun)

Function ( Operation Owner, Operation )

Identifiers:
Operation Owner + Operation

414.1. Function.Operation Owner (R)

References:
Operation.Operation Owner (across R406)

414.2. Function.Operation (R)

References:
Operation.Number (across R406)

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 R422)

415.2. Attribute Calculation.Object (R)

References:
Object.Entity (across R422)

415.3. Attribute Calculation.Operation Owner (R)

References:
Operation.Operation Owner (across R406)

415.4. Attribute Calculation.Operation (R)

References:
Operation.Number (across R406)

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 R423)
Mathematically Dependent Attribute.Information Model (across R423)

416.2. Calculated Attribute.Object (R)

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

416.3. Calculated Attribute.Attribute Calculation (R)

References:
Attribute Calculation.Operation (across R423)

416.4. Calculated Attribute.Mathematically Dependent Attribute (R)

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

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 R424)

417.2. Relationship Navigation.Mathematically Dependent Relationship (R)

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

417.3. Relationship Navigation.Operation Owner (R)

References:
Operation.Operation Owner (across R406)

417.4. Relationship Navigation.Operation (R)

References:
Operation.Number (across R406)

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 R406)

418.2. Operator.Operation (R)

References:
Operation.Number (across R406)

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 R425)

419.2. Unary Operator.Operator (R)

References:
Operator.Operation (across R425)

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 R425)

420.2. Binary Operator.Operator (R)

References:
Operator.Operation (across R425)

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 R425)

421.2. Dot Operator.Operator (R)

References:
Operator.Operation (across R425)

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 R428)

422.2. Event Destination Operation.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R428)

422.3. Event Destination Operation.Operation Owner (R)

References:
Operation.Operation Owner (across R406)

422.4. Event Destination Operation.Operation (R)

References:
Operation.Number (across R406)

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 R427)

423.2. Composed Operation.Event Destination (R)

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

423.3. Composed Operation.Event Destination Operation (R)

References:
Event Destination Operation.Operation (across R427)

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 R402)
Composed Operation.Information Model (across R429)

424.2. Action.State Model (R)

References:
State.State Model (across R402)
Composed Operation.Event Destination (across R429)

424.3. Action.Composed Operation (R)

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

424.4. Action.State (R)

References:
State.Name (across R402)

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 R18)
Composed Operation.Information Model (across R429)

425.2. Synchronous Service.External Entity (R)

References:
Control Reception Point.External Entity (across R18)
Composed Operation.Event Destination (across R429)

425.3. Synchronous Service.Composed Operation (R)

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

425.4. Synchronous Service.Control Reception Point (R)

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

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 R427)

426.2. Process.Event Destination (R)

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

426.3. Process.Event Destination Operation (R)

References:
Event Destination Operation.Operation (across R427)

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 R431)

427.2. State Model Process.State Model (R)

References:
Process.Event Destination (across R431)

427.3. State Model Process.Process (R)

References:
Process.Event Destination Operation (across R431)

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 R431)

430.2. Polymorphic Process.Polymorphic Destination (R)

References:
Process.Event Destination (across R431)

430.3. Polymorphic Process.Process (R)

References:
Process.Event Destination Operation (across R431)

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 R431)

433.2. Bridging Process.External Entity (R)

References:
Process.Event Destination (across R431)

433.3. Bridging Process.Process (R)

References:
Process.Event Destination Operation (across R431)

433.4. Bridging Process.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R17)

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 R16)
Process.Information Model (across R431)

434.2. Synchronous Return Process.External Entity (R)

References:
Wormhole.External Entity (across R16)
Process.Event Destination (across R431)

434.3. Synchronous Return Process.Process (R)

References:
Process.Event Destination Operation (across R431)

434.4. Synchronous Return Process.Synchronous Service (R)

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

434.5. Synchronous Return Process.Wormhole (R)

References:
Wormhole.Arbitrary ID (across R16)

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 R16)
Process.Information Model (across R431)

435.2. Asynchronous Return Process.External Entity (R)

References:
Wormhole.External Entity (across R16)
Process.Event Destination (across R431)

435.3. Asynchronous Return Process.Process (R)

References:
Process.Event Destination Operation (across R431)

435.4. Asynchronous Return Process.Wormhole (R)

References:
Wormhole.Arbitrary ID (across R16)

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 R405)

436.3. Parameter.Operation (R)

References:
Operation.Number (across R405)

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 R436)

437.2. User Defined Parameter.Operation (R)

References:
Parameter.Operation (across R436)

437.3. User Defined Parameter.Parameter (R)

References:
Parameter.Order (across R436)

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 R436)

438.2. Predefined Parameter.Operation (R)

References:
Parameter.Operation (across R436)

438.3. Predefined Parameter.Parameter (R)

References:
Parameter.Order (across R436)

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 R436)

439.2. Event Data Item Parameter.Operation (R)

References:
Parameter.Operation (across R436)

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

References:
Parameter.Order (across R436)

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

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

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

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

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

References:
Event Data Item.Name (across R438)

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 R436)

440.2. Parameter Parameter.Operation (R)

References:
Parameter.Operation (across R436)

440.3. Parameter Parameter.Parameter (R)

References:
Parameter.Order (across R436)

440.4. Parameter Parameter.Source Operation Owner (R)

References:
Parameter.Operation Owner (across R439)

440.5. Parameter Parameter.Source Operation (R)

References:
Parameter.Operation (across R439)

440.6. Parameter Parameter.Source Parameter (R)

References:
Parameter.Order (across R439)

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 R436)
Observed Attribute.Object Observer Owner (across R440)

441.2. Observed Attribute Parameter.Operation (R)

References:
Parameter.Operation (across R436)
Observed Attribute.Object Observer (across R440)

441.3. Observed Attribute Parameter.Input Parameter (R)

References:
Parameter.Order (across R436)

441.4. Observed Attribute Parameter.Name (M)

Data Type: Name

441.5. Observed Attribute Parameter.Observed Attribute (R)

References:
Observed Attribute.Observed Attribute (across R440)

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 R437)

442.2. Input Parameter.Operation (R)

References:
Parameter.Operation (across R437)

442.3. Input Parameter.Parameter (R)

References:
Parameter.Order (across R437)

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 R437)

443.2. Output Parameter.Operation (R)

References:
Parameter.Operation (across R437)

443.3. Output Parameter.Parameter (R)

References:
Parameter.Order (across R437)

Part III: Relationships

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

Formalization: R401 = R406 + R404 + R403

R402.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

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

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

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

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

Formalization:
Operation.Operation Owner → Operation Owner.Arbitrary ID

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

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

R406.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

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

R408.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

R409.Bridge Mapping IS RELATED TO Internal Bridge (Mc:1)
Internal Bridge IS RELATED TO Bridge Mapping

Formalization: R409 = R406 + R404 + R403

R410.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

R411.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

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

Formalization: R412 = R411 + R25 + R18

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

Formalization: R413 = R411 + R25 + R17

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

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

R416.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

R417.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

R418.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

R419.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

R420.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

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

Formalization: R421 = R406 + R404 + R403

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

Formalization: R422 = R406 + R404 + R403

R423.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

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

Formalization: R424 = R406 + R404 + R403

R425.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

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

Formalization: R426 = R406 + R404 + R403

R427.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

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

Formalization: R428 = R406 + R404 + R403

R429.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

R430.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

R431.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

R432.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

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

R434.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

R435.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)

R436.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

R437.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

R438.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

R439.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

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

Formalization: R440 = R436 + R248 + R249 + R418