Identifiers: 301.1. Event Destination.Information Model (R)References:
301.2. Event Destination.Arbitrary ID (A)Data Type: Event Destination ID 301.3. Event Destination.Manual Event NumberingData Type: Boolean 301.4. Event Destination.DescriptionData Type: Description 301.5. Event Destination.Operation Owner (R)References:
301.6. Event Destination.Label Prefix (M)Data Type: Label Prefix |
Identifiers: 302.1. State Model.Information Model (R)References:
302.2. State Model.Event Destination (R)References:
302.3. State Model.Manual State NumberingData Type: Boolean |
Identifiers: 303.1. Lifecycle Model.Information Model (R)References:
303.2. Lifecycle Model.State Model (R)References:
303.3. Lifecycle Model.Active Object (R)References:
|
Identifiers: 304.1. Assigner Model.Information Model (R)References:
304.2. Assigner Model.State Model (R)References:
304.3. Assigner Model.Competitive Relationship (R)References:
|
Identifiers: 305.1. Single Assigner Model.Information Model (R)References:
305.2. Single Assigner Model.Assigner Model (R)References:
|
Identifiers: 306.1. Multiple Assigner Model.Information Model (R)References:
306.2. Multiple Assigner Model.Assigner Model (R)References:
306.3. Multiple Assigner Model.Partitioning Object (R)References:
|
Identifiers: 307.1. Polymorphic Destination.Information Model (R)References:
307.2. Polymorphic Destination.Event Destination (R)References:
307.3. Polymorphic Destination.Subtype-Supertype Relationship (R)References:
|
Identifiers: 308.1. External Entity.Information Model (R)References:
308.2. External Entity.Event Destination (R)References:
308.3. External Entity.Entity (R)References:
|
Identifiers: 309.1. Event Data Item.Data Item (R)References:
309.2. Event Data Item.Information Model (R)References:
309.3. Event Data Item.Event Destination (R)References:
309.4. Event Data Item.NameData Type: Name 309.5. Event Data Item.Order (A)Data Type: Event Data Item Order |
Identifiers: 310.1. Event.Information Model (R)References:
310.2. Event.Event Destination (R)References:
310.3. Event.MeaningData Type: Name 310.4. Event.Order (A)Data Type: Event Order 310.5. Event.Manual NumberData Type: Positive Integer 310.6. Event.Number (M)Data Type: Positive Integer 310.7. Event.Label (M)Data Type: String 310.8. Event.Signature (M)Data Type: String 310.9. Event.DescriptionData Type: Description |
Identifiers: 311.1. Transition Event.Information Model (R)References:
311.2. Transition Event.State Model (R)References:
311.3. Transition Event.Event (R)References:
|
Identifiers: 312.1. Creation Event.Information Model (R)References:
312.2. Creation Event.Lifecycle Model (R)References:
312.3. Creation Event.Transition Event (R)References:
|
Identifiers: 313.1. Simple Event.Information Model (R)References:
313.2. Simple Event.State Model (R)References:
313.3. Simple Event.Transition Event (R)References:
|
Identifiers: 314.1. Deleted Event.Information Model (R)References:
314.2. Deleted Event.Lifecycle Model (R)References:
314.3. Deleted Event.Transition Event (R)Data Type: Name References:
|
Identifiers: 315.1. Polymorphic Event.Information Model (R)References:
315.2. Polymorphic Event.Polymorphic Destination (R)References:
315.3. Polymorphic Event.Event (R)References:
315.4. Polymorphic Event.Mapping Complete (M)Data Type: Boolean 315.5. Polymorphic Event.Mapping Compatible (M)Data Type: Boolean |
Identifiers: 316.1. Domain-Crossing Event.Information Model (R)References:
316.2. Domain-Crossing Event.External Entity (R)References:
316.3. Domain-Crossing Event.Event (R)References:
316.4. Domain-Crossing Event.Request Wormhole (R)References:
|
Identifiers: 317.1. Subtype Event.Information Model (P)317.2. Subtype Event.Subtype Destination (P)317.3. Subtype Event.Subtype Event (P) |
Identifiers: 318.1. Polymorphic Event Mapping.Information Model (R)References:
318.2. Polymorphic Event Mapping.Supertype Destination (R)References:
318.3. Polymorphic Event Mapping.Polymorphic Event (R)References:
318.4. Polymorphic Event Mapping.Subtype Destination (R)References:
318.5. Polymorphic Event Mapping.Subtype Event (R)References:
|
Identifiers: 319.1. Carried Data Item.Information Model (R)References:
319.2. Carried Data Item.Event Destination (R)References:
319.3. Carried Data Item.Event (R)References:
319.4. Carried Data Item.Event Data Item (R)References:
|
Identifiers: 320.1. State.Information Model (R)References:
320.2. State.State Model (R)References:
320.3. State.NameData Type: Name 320.4. State.Order (A)Data Type: State Order 320.5. State.Manual NumberData Type: Positive Integer 320.6. State.Number (M)Data Type: Positive Integer 320.7. State.Signature (M)Data Type: String 320.8. State.DescriptionData Type: Description |
Identifiers: 321.1. Empty State.Information Model (R)References:
321.2. Empty State.Lifecycle Model (R)References:
321.3. Empty State.State (R)Data Type: Name References:
|
Identifiers: 322.1. Non-Deletion State.Information Model (R)References:
322.2. Non-Deletion State.State Model (R)References:
322.3. Non-Deletion State.State (R)References:
322.4. Non-Deletion State.Initial StateData Type: Boolean 322.5. Non-Deletion State.Final State (M)Data Type: Boolean 322.6. Non-Deletion State.Wait State (M)Data Type: Boolean |
Identifiers: 323.1. Creation State.Information Model (R)References:
323.2. Creation State.Lifecycle Model (R)References:
323.3. Creation State.Non-Deletion State (R)References:
|
Identifiers: 324.1. Simple State.Information Model (R)References:
324.2. Simple State.State Model (R)References:
324.3. Simple State.Non-Deletion State (R)References:
|
Identifiers: 325.1. Deletion State.Information Model (R)References:
325.2. Deletion State.Lifecycle Model (R)References:
325.3. Deletion State.State (R)References:
|
Identifiers: 326.1. Deleted State.Information Model (R)References:
326.2. Deleted State.Lifecycle Model (R)References:
326.3. Deleted State.State (R)Data Type: Name References:
|
Identifiers: 327.1. Non-Creation State.Information Model (P)327.2. Non-Creation State.State Model (P)327.3. Non-Creation State.State (P) |
Identifiers: 328.1. Received Data Item.Information Model (R)References:
328.2. Received Data Item.State Model (R)References:
328.3. Received Data Item.State (R)References:
328.4. Received Data Item.Event Data Item (R)References:
|
Identifiers: 329.1. Transition.Information Model (R)References:
329.2. Transition.State Model (R)References:
329.3. Transition.Old State (R)References:
329.4. Transition.New State (R)References:
329.5. Transition.Transition Event (R)References:
329.6. Transition.Transition Event Compatible (M)Data Type: Boolean 329.7. Transition.Transition Event Overloaded (M)Data Type: Boolean 329.8. Transition.Transition ID (M)Data Type: Transition ID 329.9. Transition.DescriptionData Type: Description |
Identifiers: 330.1. Creation Transition.Information Model (R)References:
330.2. Creation Transition.Lifecycle Model (R)References:
330.3. Creation Transition.Empty State (R)Data Type: Name References:
330.4. Creation Transition.Creation State (R)References:
330.5. Creation Transition.Creation Event (R)References:
|
Identifiers: 331.1. Simple Transition.Information Model (R)References:
331.2. Simple Transition.State Model (R)References:
331.3. Simple Transition.Non-Deletion State (R)References:
331.4. Simple Transition.Non-Creation State (R)References:
331.5. Simple Transition.Simple Event (R)References:
|
Identifiers: 332.1. New State Transition.Information Model (R)References:
332.2. New State Transition.State Model (R)References:
332.3. New State Transition.Non-Deletion State (R)References:
332.4. New State Transition.Simple Event (R)References:
332.5. New State Transition.Transfer of ControlData Type: Boolean |
Identifiers: 333.1. Event Ignored Transition.Information Model (R)References:
333.2. Event Ignored Transition.State Model (R)References:
333.3. Event Ignored Transition.Simple State (R)References:
333.4. Event Ignored Transition.Simple Event (R)References:
|
Identifiers: 334.1. Cannot Happen Transition.Information Model (R)References:
334.2. Cannot Happen Transition.State Model (R)References:
334.3. Cannot Happen Transition.Simple State (R)References:
334.4. Cannot Happen Transition.Simple Event (R)References:
|
Identifiers: 335.1. Deleted Transition.Information Model (R)References:
335.2. Deleted Transition.Lifecycle Model (R)References:
335.3. Deleted Transition.Deletion State (R)References:
335.4. Deleted Transition.Deleted State (R)Data Type: Name References:
335.5. Deleted Transition.Deleted Event (R)Data Type: Name References:
|
Identifiers: 336.1. Communication Path.Arbitrary ID (A)Data Type: Communication Path ID 336.2. Communication Path.Information Model (R, P)References:
336.3. Communication Path.Event Source (R, P)References:
336.4. Communication Path.Event Destination (R, P)References:
336.5. Communication Path.Event (P) |
Identifiers: 337.1. Internal Event.Communication Path (R)References:
337.2. Internal Event.Information Model (R)References:
337.3. Internal Event.State Model (R)References:
337.4. Internal Event.State (R)References:
337.5. Internal Event.Event Destination (R)References:
337.6. Internal Event.Event (R)References:
|
Identifiers: 338.1. External Event.Communication Path (R)References:
338.2. External Event.Information Model (R)References:
338.3. External Event.External Entity (R)References:
338.4. External Event.Event Destination (R)References:
338.5. External Event.Event (R)References:
338.6. External Event.Control Reception Point (R)References:
|
R301. | Information Model DEFINES Event Destination (1:Mc) |
Event Destination IS DEFINED BY Information Model |
Formalization:
Event Destination.Information Model | → | Information Model.Arbitrary ID |
R302. | Event Destination DEFINES SUPPLEMENTAL Event Data Item (1:Mc) |
Event Data Item IS DEFINED BY Event Destination |
Formalization:
Event Data Item.Information Model | → | Event Destination.Information Model | |
Event Data Item.Event Destination | → | Event Destination.Arbitrary ID |
R303. | Event Destination IS A (SUPERTYPE OF) External Entity |
Event Destination IS A (SUPERTYPE OF) Polymorphic Destination | |
Event Destination IS A (SUPERTYPE OF) State Model | |
External Entity IS A (SUBTYPE OF) Event Destination | |
Polymorphic Destination IS A (SUBTYPE OF) Event Destination | |
State Model IS A (SUBTYPE OF) Event Destination |
Formalization:
External Entity.Information Model | → | Event Destination.Information Model | |
External Entity.Event Destination | → | Event Destination.Arbitrary ID | |
Polymorphic Destination.Information Model | → | Event Destination.Information Model | |
Polymorphic Destination.Event Destination | → | Event Destination.Arbitrary ID | |
State Model.Information Model | → | Event Destination.Information Model | |
State Model.Event Destination | → | Event Destination.Arbitrary ID |
R304. | Event Destination RECEIVES Event (1:Mc) |
Event IS RECEIVED BY Event Destination |
Formalization:
Event.Information Model | → | Event Destination.Information Model | |
Event.Event Destination | → | Event Destination.Arbitrary ID |
R305. | State Model DEFINES State (1:Mc) |
State IS DEFINED BY State Model |
Formalization:
State.Information Model | → | State Model.Information Model | |
State.State Model | → | State Model.Event Destination |
R306. | State Model IS A (SUPERTYPE OF) Assigner Model |
State Model IS A (SUPERTYPE OF) Lifecycle Model | |
Assigner Model IS A (SUBTYPE OF) State Model | |
Lifecycle Model IS A (SUBTYPE OF) State Model |
Formalization:
Assigner Model.Information Model | → | State Model.Information Model | |
Assigner Model.State Model | → | State Model.Event Destination | |
Lifecycle Model.Information Model | → | State Model.Information Model | |
Lifecycle Model.State Model | → | State Model.Event Destination |
R307. | Lifecycle Model HAS ACTIVE Object (1c:1) |
Object IS RELATED TO Lifecycle Model |
Formalization:
Lifecycle Model.Information Model | → | Object.Information Model | |
Lifecycle Model.Active Object | → | Object.Entity |
R308. | Assigner Model HAS COMPETITIVE Binary Relationship (1c:1) |
Binary Relationship IS RELATED TO Assigner Model |
Formalization:
Assigner Model.Information Model | → | Binary Relationship.Information Model | |
Assigner Model.Competitive Relationship | → | Binary Relationship.Relationship |
R309. | Assigner Model IS A (SUPERTYPE OF) Multiple Assigner Model |
Assigner Model IS A (SUPERTYPE OF) Single Assigner Model | |
Multiple Assigner Model IS A (SUBTYPE OF) Assigner Model | |
Single Assigner Model IS A (SUBTYPE OF) Assigner Model |
Formalization:
Multiple Assigner Model.Information Model | → | Assigner Model.Information Model | |
Multiple Assigner Model.Assigner Model | → | Assigner Model.Competitive Relationship | |
Single Assigner Model.Information Model | → | Assigner Model.Information Model | |
Single Assigner Model.Assigner Model | → | Assigner Model.Competitive Relationship |
R310. | Multiple Assigner Model HAS PARTITIONING Object (Mc:1) |
Object PARTITIONS Multiple Assigner Model |
Formalization:
Multiple Assigner Model.Information Model | → | Object.Information Model | |
Multiple Assigner Model.Partitioning Object | → | Object.Entity |
R311. | Polymorphic Destination HAS Subtype-Supertype Relationship (1c:1) |
Subtype-Supertype Relationship IS RELATED TO Polymorphic Destination |
Formalization:
Polymorphic Destination.Information Model | → | Subtype-Supertype Relationship.Information Model | |
Polymorphic Destination.Subtype-Supertype Relationship | → | Subtype-Supertype Relationship.Relationship |
R312. | State IS A (SUPERTYPE OF) Deleted State |
State IS A (SUPERTYPE OF) Deletion State | |
State IS A (SUPERTYPE OF) Empty State | |
State IS A (SUPERTYPE OF) Non-Deletion State | |
Deleted State IS A (SUBTYPE OF) State | |
Deletion State IS A (SUBTYPE OF) State | |
Empty State IS A (SUBTYPE OF) State | |
Non-Deletion State IS A (SUBTYPE OF) State |
Formalization:
Deleted State.Information Model | → | State.Information Model | |
Deleted State.Lifecycle Model | → | State.State Model | |
Deleted State.State | → | State.Name | |
Deletion State.Information Model | → | State.Information Model | |
Deletion State.Lifecycle Model | → | State.State Model | |
Deletion State.State | → | State.Name | |
Empty State.Information Model | → | State.Information Model | |
Empty State.Lifecycle Model | → | State.State Model | |
Empty State.State | → | State.Name | |
Non-Deletion State.Information Model | → | State.Information Model | |
Non-Deletion State.State Model | → | State.State Model | |
Non-Deletion State.State | → | State.Name |
R313. | Non-Deletion State IS A (SUPERTYPE OF) Creation State |
Non-Deletion State IS A (SUPERTYPE OF) Simple State | |
Creation State IS A (SUBTYPE OF) Non-Deletion State | |
Simple State IS A (SUBTYPE OF) Non-Deletion State |
Formalization:
Creation State.Information Model | → | Non-Deletion State.Information Model | |
Creation State.Lifecycle Model | → | Non-Deletion State.State Model | |
Creation State.Non-Deletion State | → | Non-Deletion State.State | |
Simple State.Information Model | → | Non-Deletion State.Information Model | |
Simple State.State Model | → | Non-Deletion State.State Model | |
Simple State.Non-Deletion State | → | Non-Deletion State.State |
R314. | Non-Creation State IS A (SUPERTYPE OF) Deletion State |
Non-Creation State IS A (SUPERTYPE OF) Simple State | |
Deletion State IS A (SUBTYPE OF) Non-Creation State | |
Simple State IS A (SUBTYPE OF) Non-Creation State |
Formalization:
Deletion State.Information Model | → | Non-Creation State.Information Model | |
Deletion State.Lifecycle Model | → | Non-Creation State.State Model | |
Deletion State.State | → | Non-Creation State.State | |
Simple State.Information Model | → | Non-Creation State.Information Model | |
Simple State.State Model | → | Non-Creation State.State Model | |
Simple State.Non-Deletion State | → | Non-Creation State.State |
R315. | Event IS A (SUPERTYPE OF) Domain-Crossing Event |
Event IS A (SUPERTYPE OF) Polymorphic Event | |
Event IS A (SUPERTYPE OF) Transition Event | |
Domain-Crossing Event IS A (SUBTYPE OF) Event | |
Polymorphic Event IS A (SUBTYPE OF) Event | |
Transition Event IS A (SUBTYPE OF) Event |
Formalization:
Domain-Crossing Event.Information Model | → | Event.Information Model | |
Domain-Crossing Event.External Entity | → | Event.Event Destination | |
Domain-Crossing Event.Event | → | Event.Meaning | |
Polymorphic Event.Information Model | → | Event.Information Model | |
Polymorphic Event.Polymorphic Destination | → | Event.Event Destination | |
Polymorphic Event.Event | → | Event.Meaning | |
Transition Event.Information Model | → | Event.Information Model | |
Transition Event.State Model | → | Event.Event Destination | |
Transition Event.Event | → | Event.Meaning |
R316. | Transition Event IS A (SUPERTYPE OF) Creation Event |
Transition Event IS A (SUPERTYPE OF) Deleted Event | |
Transition Event IS A (SUPERTYPE OF) Simple Event | |
Creation Event IS A (SUBTYPE OF) Transition Event | |
Deleted Event IS A (SUBTYPE OF) Transition Event | |
Simple Event IS A (SUBTYPE OF) Transition Event |
Formalization:
Creation Event.Information Model | → | Transition Event.Information Model | |
Creation Event.Lifecycle Model | → | Transition Event.State Model | |
Creation Event.Transition Event | → | Transition Event.Event | |
Deleted Event.Information Model | → | Transition Event.Information Model | |
Deleted Event.Lifecycle Model | → | Transition Event.State Model | |
Deleted Event.Transition Event | → | Transition Event.Event | |
Simple Event.Information Model | → | Transition Event.Information Model | |
Simple Event.State Model | → | Transition Event.State Model | |
Simple Event.Transition Event | → | Transition Event.Event |
R317. | Polymorphic Event HAS TRUE Simple Event (Mc:Mc) |
Simple Event IS TRUE EVENT FOR Polymorphic Event |
R318. | Subtype Event IS A (SUPERTYPE OF) Polymorphic Event |
Subtype Event IS A (SUPERTYPE OF) Simple Event | |
Polymorphic Event IS A (SUBTYPE OF) Subtype Event | |
Simple Event IS A (SUBTYPE OF) Subtype Event |
Formalization:
Polymorphic Event.Information Model | → | Subtype Event.Information Model | |
Polymorphic Event.Polymorphic Destination | → | Subtype Event.Subtype Destination | |
Polymorphic Event.Event | → | Subtype Event.Subtype Event | |
Simple Event.Information Model | → | Subtype Event.Information Model | |
Simple Event.State Model | → | Subtype Event.Subtype Destination | |
Simple Event.Transition Event | → | Subtype Event.Subtype Event |
R319. | Polymorphic Event MAPS TO Subtype Event (Mc:Mc) |
Subtype Event MAPS FROM Polymorphic Event | |
Polymorphic Event Mapping ASSOCIATES Polymorphic Event AND Subtype Event 1-(Mc:Mc) |
Formalization:
Polymorphic Event Mapping.Information Model | → | Polymorphic Event.Information Model | |
Polymorphic Event Mapping.Supertype Destination | → | Polymorphic Event.Polymorphic Destination | |
Polymorphic Event Mapping.Polymorphic Event | → | Polymorphic Event.Event | |
Polymorphic Event Mapping.Information Model | → | Subtype Event.Information Model | |
Polymorphic Event Mapping.Subtype Destination | → | Subtype Event.Subtype Destination | |
Polymorphic Event Mapping.Subtype Event | → | Subtype Event.Subtype Event |
R320. | State GENERATES INTERNAL Event (Mc:Mc) |
Event IS GENERATED BY State | |
Internal Event ASSOCIATES State AND Event M-(Mc:Mc) |
Formalization:
Internal Event.Information Model | → | State.Information Model | |
Internal Event.State Model | → | State.State Model | |
Internal Event.State | → | State.Name | |
Internal Event.Information Model | → | Event.Information Model | |
Internal Event.Event Destination | → | Event.Event Destination | |
Internal Event.Event | → | Event.Meaning |
R321. | External Entity GENERATES EXTERNAL Event (Mc:Mc) |
Event IS GENERATED BY External Entity | |
External Event ASSOCIATES External Entity AND Event M-(Mc:Mc) |
Formalization:
External Event.Information Model | → | External Entity.Information Model | |
External Event.External Entity | → | External Entity.Event Destination | |
External Event.Information Model | → | Event.Information Model | |
External Event.Event Destination | → | Event.Event Destination | |
External Event.Event | → | Event.Meaning |
R322. | Event CARRIES Event Data Item (Mc:Mc) |
Event Data Item IS CARRIED BY Event | |
Carried Data Item ASSOCIATES Event AND Event Data Item 1-(Mc:Mc) |
Formalization:
Carried Data Item.Information Model | → | Event.Information Model | |
Carried Data Item.Event Destination | → | Event.Event Destination | |
Carried Data Item.Event | → | Event.Meaning | |
Carried Data Item.Information Model | → | Event Data Item.Information Model | |
Carried Data Item.Event Destination | → | Event Data Item.Event Destination | |
Carried Data Item.Event Data Item | → | Event Data Item.Name |
R323. | State RECEIVES Event Data Item (Mc:Mc) |
Event Data Item IS RECEIVED BY State | |
Received Data Item ASSOCIATES State AND Event Data Item 1-(Mc:Mc) |
Formalization:
Received Data Item.Information Model | → | State.Information Model | |
Received Data Item.State Model | → | State.State Model | |
Received Data Item.State | → | State.Name | |
Received Data Item.Information Model | → | Event Data Item.Information Model | |
Received Data Item.State Model | → | Event Data Item.Event Destination | |
Received Data Item.Event Data Item | → | Event Data Item.Name |
R324. | Simple Transition IS A (SUPERTYPE OF) Cannot Happen Transition |
Simple Transition IS A (SUPERTYPE OF) Event Ignored Transition | |
Simple Transition IS A (SUPERTYPE OF) New State Transition | |
Cannot Happen Transition IS A (SUBTYPE OF) Simple Transition | |
Event Ignored Transition IS A (SUBTYPE OF) Simple Transition | |
New State Transition IS A (SUBTYPE OF) Simple Transition |
Formalization:
Cannot Happen Transition.Information Model | → | Simple Transition.Information Model | |
Cannot Happen Transition.State Model | → | Simple Transition.State Model | |
Cannot Happen Transition.Simple State | → | Simple Transition.Non-Deletion State | |
Cannot Happen Transition.Simple Event | → | Simple Transition.Simple Event | |
Event Ignored Transition.Information Model | → | Simple Transition.Information Model | |
Event Ignored Transition.State Model | → | Simple Transition.State Model | |
Event Ignored Transition.Simple State | → | Simple Transition.Non-Deletion State | |
Event Ignored Transition.Simple Event | → | Simple Transition.Simple Event | |
New State Transition.Information Model | → | Simple Transition.Information Model | |
New State Transition.State Model | → | Simple Transition.State Model | |
New State Transition.Non-Deletion State | → | Simple Transition.Non-Deletion State | |
New State Transition.Simple Event | → | Simple Transition.Simple Event |
R325. | State TRANSITIONS TO NEW State (Mc:Mc) |
State TRANSITIONS FROM OLD State | |
Transition CAPTURES TRANSITION BETWEEN State AND State M-(Mc:Mc) |
Formalization:
Transition.Information Model | → | State.Information Model | |
Transition.State Model | → | State.State Model | |
Transition.Old State | → | State.Name | |
Transition.Information Model | → | State.Information Model | |
Transition.State Model | → | State.State Model | |
Transition.New State | → | State.Name |
R326. | Transition IS A (SUPERTYPE OF) Creation Transition |
Transition IS A (SUPERTYPE OF) Deleted Transition | |
Transition IS A (SUPERTYPE OF) Simple Transition | |
Creation Transition IS A (SUBTYPE OF) Transition | |
Deleted Transition IS A (SUBTYPE OF) Transition | |
Simple Transition IS A (SUBTYPE OF) Transition |
Formalization:
Creation Transition.Information Model | → | Transition.Information Model | |
Creation Transition.Lifecycle Model | → | Transition.State Model | |
Creation Transition.Empty State | → | Transition.Old State | |
Creation Transition.Creation State | → | Transition.New State | |
Creation Transition.Creation Event | → | Transition.Transition Event | |
Deleted Transition.Information Model | → | Transition.Information Model | |
Deleted Transition.Lifecycle Model | → | Transition.State Model | |
Deleted Transition.Deletion State | → | Transition.Old State | |
Deleted Transition.Deleted State | → | Transition.New State | |
Deleted Transition.Deleted Event | → | Transition.Transition Event | |
Simple Transition.Information Model | → | Transition.Information Model | |
Simple Transition.State Model | → | Transition.State Model | |
Simple Transition.Non-Deletion State | → | Transition.Old State | |
Simple Transition.Non-Creation State | → | Transition.New State | |
Simple Transition.Simple Event | → | Transition.Transition Event |
R327. | Transition IS TRIGGERED BY Transition Event (Mc:1) |
Transition Event TRIGGERS Transition |
Formalization:
Transition.Information Model | → | Transition Event.Information Model | |
Transition.State Model | → | Transition Event.State Model | |
Transition.Transition Event | → | Transition Event.Event |
R328. | Event Destination GENERATES EVENTS TO DESTINATION Event Destination (Mc:Mc) |
Event Destination RECEIVES EVENTS FROM SOURCE Event Destination | |
Communication Path DEFINES ASYNCHRONOUS COMMUNICATION PATH BETWEEN Event Destination AND Event Destination 1-(Mc:Mc) |
Formalization:
Communication Path.Information Model | → | Event Destination.Information Model | |
Communication Path.Event Source | → | Event Destination.Arbitrary ID | |
Communication Path.Information Model | → | Event Destination.Information Model | |
Communication Path.Event Destination | → | Event Destination.Arbitrary ID |
R329. | Communication Path IS A (SUPERTYPE OF) External Event |
Communication Path IS A (SUPERTYPE OF) Internal Event | |
External Event IS A (SUBTYPE OF) Communication Path | |
Internal Event IS A (SUBTYPE OF) Communication Path |
Formalization:
External Event.Communication Path | → | Communication Path.Arbitrary ID | |
Internal Event.Communication Path | → | Communication Path.Arbitrary ID |