Identifiers: 401.1. Operation Owner.Arbitrary ID (A)Data Type: Operation Owner ID 401.2. Operation Owner.Manual Operation NumberingData Type: Boolean 401.3. Operation Owner.Label Prefix (P) |
Identifiers: 402.1. Operation.Operation Owner (R)References:
402.2. Operation.Order (A)Data Type: Operation Order 402.3. Operation.Manual NumberData 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.NameData Type: Name 402.9. Operation.Meaning (M)Data Type: Name 402.10. Operation.Signature (M)Data Type: String 402.11. Operation.DescriptionData Type: Description |
Identifiers: 403.1. Bridge Mapping.Operation Owner (R)References:
403.2. Bridge Mapping.Operation (R)References:
|
Identifiers: 404.1. Request Mapping.Bridge Mapping Owner (R)References:
404.2. Request Mapping.Bridge Mapping (R)References:
404.3. Request Mapping.Request Wormhole (R)References:
404.4. Request Mapping.Control Reception Point (R)References:
|
Identifiers: 405.1. Synchronous Return Mapping.Bridge Mapping Owner (R)References:
405.2. Synchronous Return Mapping.Bridge Mapping (R)References:
405.3. Synchronous Return Mapping.Request Mapping (R)References:
|
Identifiers: 406.1. Asynchronous Return Mapping.Bridge Mapping Owner (R)References:
406.2. Asynchronous Return Mapping.Bridge Mapping (R)References:
406.3. Asynchronous Return Mapping.Request Mapping (R)References:
406.4. Asynchronous Return Mapping.Asynchronous Return Wormhole (R)References:
406.5. Asynchronous Return Mapping.Request Wormhole (R)References:
406.6. Asynchronous Return Mapping.Solicited Event (R)References:
|
Identifiers: 407.1. Counterpart Mapping.Bridge Mapping Owner (R)References:
407.2. Counterpart Mapping.Bridge Mapping (R)References:
407.3. Counterpart Mapping.Source Information Model (R)References:
407.4. Counterpart Mapping.Source Object (R)References:
407.5. Counterpart Mapping.Target Information Model (R)References:
407.6. Counterpart Mapping.Target Object (R)References:
407.7. Counterpart Mapping.ConditionalData Type: Boolean |
Identifiers: 408.1. Semantic Shift Mapping.Bridge Mapping Owner (R)References:
408.2. Semantic Shift Mapping.Bridge Mapping (R)References:
408.3. Semantic Shift Mapping.Source Information Model (R)References:
408.4. Semantic Shift Mapping.Source Data Type (R)References:
408.5. Semantic Shift Mapping.Target Information Model (R)References:
408.6. Semantic Shift Mapping.Target Data Type (R)References:
408.7. Semantic Shift Mapping.ConditionalData Type: Boolean |
Identifiers: 409.1. Domain Observer.Operation Owner (R)References:
409.2. Domain Observer.Operation (R)References:
|
Identifiers: 410.1. Object Observer.Domain Observer Owner (R)References:
410.2. Object Observer.Domain Observer (R)References:
410.3. Object Observer.Object ObservationData Type: Object Observation 410.4. Object Observer.Observed Information Model (R)References:
410.5. Object Observer.Observed Object (R)References:
|
Identifiers: 411.1. Observed Attribute.Object Observer Owner (R)References:
411.2. Observed Attribute.Object Observer (R)References:
411.3. Observed Attribute.Observed Information Model (R)References:
411.4. Observed Attribute.Observed Object (R)References:
411.5. Observed Attribute.Observed Attribute (R)References:
|
Identifiers: 412.1. Event Generated Observer.Domain Observer Owner (R)References:
412.2. Event Generated Observer.Domain Observer (R)References:
412.3. Event Generated Observer.Information Model (R)References:
412.4. Event Generated Observer.Observed Event Destination (R)References:
412.5. Event Generated Observer.Observed Event (R)References:
|
Identifiers: 413.1. Operation Invoked Observer.Domain Observer Owner (R)References:
413.2. Operation Invoked Observer.Domain Observer (R)References:
413.3. Operation Invoked Observer.Observed Operation Owner (R)References:
413.4. Operation Invoked Observer.Observed Operation (R)References:
|
Identifiers: 414.1. Function.Operation Owner (R)References:
414.2. Function.Operation (R)References:
|
Identifiers: 415.1. Attribute Calculation.Information Model (R)References:
415.2. Attribute Calculation.Object (R)References:
415.3. Attribute Calculation.Operation Owner (R)References:
415.4. Attribute Calculation.Operation (R)References:
415.5. Attribute Calculation.For All Object InstancesData Type: Boolean 415.6. Attribute Calculation.Minimum Interval Before RecalculationData Type: Non-Negative Interval |
Identifiers: 416.1. Calculated Attribute.Information Model (R)References:
416.2. Calculated Attribute.Object (R)References:
416.3. Calculated Attribute.Attribute Calculation (R)References:
416.4. Calculated Attribute.Mathematically Dependent Attribute (R)References:
|
Identifiers: 417.1. Relationship Navigation.Information Model (R)References:
417.2. Relationship Navigation.Mathematically Dependent Relationship (R)References:
417.3. Relationship Navigation.Operation Owner (R)References:
417.4. Relationship Navigation.Operation (R)References:
417.5. Relationship Navigation.First To Second MappingData Type: Boolean |
Identifiers: 418.1. Operator.Operation Owner (R)References:
418.2. Operator.Operation (R)References:
|
Identifiers: 419.1. Unary Operator.Operator Owner (R)References:
419.2. Unary Operator.Operator (R)References:
419.3. Unary Operator.Unary Operator Category |
Identifiers: 420.1. Binary Operator.Operator Owner (R)References:
420.2. Binary Operator.Operator (R)References:
420.3. Binary Operator.Binary Operator Category |
Identifiers: 421.1. Dot Operator.Operator Owner (R)References:
421.2. Dot Operator.Operator (R)References:
|
Identifiers: 422.1. Event Destination Operation.Information Model (R)References:
422.2. Event Destination Operation.Event Destination (R)References:
422.3. Event Destination Operation.Operation Owner (R)References:
422.4. Event Destination Operation.Operation (R)References:
|
Identifiers: 423.1. Composed Operation.Information Model (R)References:
423.2. Composed Operation.Event Destination (R)References:
423.3. Composed Operation.Event Destination Operation (R)References:
|
Identifiers: 424.1. Action.Information Model (R)References:
424.2. Action.State Model (R)References:
424.3. Action.Composed Operation (R)References:
424.4. Action.State (R)References:
|
Identifiers: 425.1. Synchronous Service.Information Model (R)References:
425.2. Synchronous Service.External Entity (R)References:
425.3. Synchronous Service.Composed Operation (R)References:
425.4. Synchronous Service.Control Reception Point (R)References:
|
Identifiers: 426.1. Process.Information Model (R)References:
426.2. Process.Event Destination (R)References:
426.3. Process.Event Destination Operation (R)References:
|
Identifiers: 427.1. State Model Process.Information Model (R)References:
427.2. State Model Process.State Model (R)References:
427.3. State Model Process.Process (R)References:
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.1. Simple Process.Information Model428.2. Simple Process.State Model428.3. Simple Process.State Model Process |
429.1. Object Instance Process.Information Model429.2. Object Instance Process.State Model429.3. Object Instance Process.State Model Process |
Identifiers: 430.1. Polymorphic Process.Information Model (R)References:
430.2. Polymorphic Process.Polymorphic Destination (R)References:
430.3. Polymorphic Process.Process (R)References:
|
Identifiers: 431.1. Subtype Process.Information Model (P)431.2. Subtype Process.Event Destination (P)431.3. Subtype Process.Process (P) |
|
Identifiers: 433.1. Bridging Process.Information Model (R)References:
433.2. Bridging Process.External Entity (R)References:
433.3. Bridging Process.Process (R)References:
433.4. Bridging Process.Request Wormhole (R)References:
|
Identifiers: 434.1. Synchronous Return Process.Information Model (R)References:
434.2. Synchronous Return Process.External Entity (R)References:
434.3. Synchronous Return Process.Process (R)References:
434.4. Synchronous Return Process.Synchronous Service (R)References:
434.5. Synchronous Return Process.Wormhole (R)References:
|
Identifiers: 435.1. Asynchronous Return Process.Information Model (R)References:
435.2. Asynchronous Return Process.External Entity (R)References:
435.3. Asynchronous Return Process.Process (R)References:
435.4. Asynchronous Return Process.Wormhole (R)References:
|
Identifiers: 436.1. Parameter.Data Item (R)References:
436.2. Parameter.Operation Owner (R)References:
436.3. Parameter.Operation (R)References:
436.4. Parameter.Order (A)Data Type: Parameter Order 436.5. Parameter.Name (P) |
Identifiers: 437.1. User Defined Parameter.Operation Owner (R)References:
437.2. User Defined Parameter.Operation (R)References:
437.3. User Defined Parameter.Parameter (R)References:
437.4. User Defined Parameter.NameData Type: Name |
Identifiers: 438.1. Predefined Parameter.Operation Owner (R)References:
438.2. Predefined Parameter.Operation (R)References:
438.3. Predefined Parameter.Parameter (R)References:
438.4. Predefined Parameter.Predefined Parameter Category438.5. Predefined Parameter.Name (M)Data Type: Name |
Identifiers: 439.1. Event Data Item Parameter.Operation Owner (R)References:
439.2. Event Data Item Parameter.Operation (R)References:
439.3. Event Data Item Parameter.Input Parameter (R)References:
439.4. Event Data Item Parameter.Information Model (R)References:
439.5. Event Data Item Parameter.Event Destination (R)References:
439.6. Event Data Item Parameter.Event Data Item (R)References:
439.7. Event Data Item Parameter.Name (M)Data Type: Name |
Identifiers: 440.1. Parameter Parameter.Operation Owner (R)References:
440.2. Parameter Parameter.Operation (R)References:
440.3. Parameter Parameter.Parameter (R)References:
440.4. Parameter Parameter.Source Operation Owner (R)References:
440.5. Parameter Parameter.Source Operation (R)References:
440.6. Parameter Parameter.Source Parameter (R)References:
440.7. Parameter Parameter.Name (M)Data Type: Name |
Identifiers: 441.1. Observed Attribute Parameter.Operation Owner (R)References:
441.2. Observed Attribute Parameter.Operation (R)References:
441.3. Observed Attribute Parameter.Input Parameter (R)References:
441.4. Observed Attribute Parameter.Name (M)Data Type: Name 441.5. Observed Attribute Parameter.Observed Attribute (R)References:
441.6. Observed Attribute Parameter.Observed Attribute Category |
Identifiers: 442.1. Input Parameter.Operation Owner (R)References:
442.2. Input Parameter.Operation (R)References:
442.3. Input Parameter.Parameter (R)References:
|
Identifiers: 443.1. Output Parameter.Operation Owner (R)References:
443.2. Output Parameter.Operation (R)References:
443.3. Output Parameter.Parameter (R)References:
|
Identifiers: 444.1. Wormhole.Information Model (P)444.2. Wormhole.External Entity (P)444.3. Wormhole.Arbitrary ID (A) |
Identifiers: 445.1. Request Wormhole.Information Model (R, P)References:
445.2. Request Wormhole.External Entity (R, P)References:
445.3. Request Wormhole.Wormhole (R)References:
|
Identifiers: 446.1. Control Reception Point.Information Model (P)446.2. Control Reception Point.External Entity (P)446.3. Control Reception Point.Arbitrary ID (A) |
Identifiers: 447.1. Solicited External Event.Request Wormhole (R)References:
447.2. Solicited External Event.External Event (R)References:
447.3. Solicited External Event.ManyData Type: Boolean 447.4. Solicited External Event.ConditionalData Type: Boolean |
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