State Model

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

301. EVENT DESTINATION (SM_ED)

Event Destination ( Information Model, Arbitrary ID, Manual Event Numbering, Description, Operation Owner, Label Prefix )

Identifiers:
Information Model + Arbitrary ID

301.1. Event Destination.Information Model (R)

References:
Information Model.Arbitrary ID (across R301)

301.2. Event Destination.Arbitrary ID (A)

Data Type: Event Destination ID

301.3. Event Destination.Manual Event Numbering

Data Type: Boolean

301.4. Event Destination.Description

Data Type: Description

301.5. Event Destination.Operation Owner (R)

References:
Operation Owner.Arbitrary ID (across R410)

301.6. Event Destination.Label Prefix (M)

Data Type: Label Prefix

302. STATE MODEL (SM_SM)

State Model ( Information Model, Event Destination, Manual State Numbering )

Identifiers:
Information Model + Event Destination

302.1. State Model.Information Model (R)

References:
Event Destination.Information Model (across R303)

302.2. State Model.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R303)

302.3. State Model.Manual State Numbering

Data Type: Boolean

303. LIFECYCLE MODEL (SM_LM)

Lifecycle Model ( Information Model, State Model, Active Object )

Identifiers:
Information Model + State Model
Information Model + Active Object

303.1. Lifecycle Model.Information Model (R)

References:
State Model.Information Model (across R306)
Object.Information Model (across R307)

303.2. Lifecycle Model.State Model (R)

References:
State Model.Event Destination (across R306)

303.3. Lifecycle Model.Active Object (R)

References:
Object.Entity (across R307)

304. ASSIGNER MODEL (SM_AM)

Assigner Model ( Information Model, State Model, Competitive Relationship )

Identifiers:
Information Model + State Model
Information Model + Competitive Relationship

304.1. Assigner Model.Information Model (R)

References:
State Model.Information Model (across R306)
Binary Relationship.Information Model (across R308)

304.2. Assigner Model.State Model (R)

References:
State Model.Event Destination (across R306)

304.3. Assigner Model.Competitive Relationship (R)

References:
Binary Relationship.Relationship (across R308)

305. SINGLE ASSIGNER MODEL (SM_SAM)

Single Assigner Model ( Information Model, Assigner Model )

Identifiers:
Information Model + Assigner Model

305.1. Single Assigner Model.Information Model (R)

References:
Assigner Model.Information Model (across R309)

305.2. Single Assigner Model.Assigner Model (R)

References:
Assigner Model.Competitive Relationship (across R309)

306. MULTIPLE ASSIGNER MODEL (SM_MAM)

Multiple Assigner Model ( Information Model, Assigner Model, Partitioning Object )

Identifiers:
Information Model + Assigner Model

306.1. Multiple Assigner Model.Information Model (R)

References:
Assigner Model.Information Model (across R309)
Object.Information Model (across R310)

306.2. Multiple Assigner Model.Assigner Model (R)

References:
Assigner Model.Competitive Relationship (across R309)

306.3. Multiple Assigner Model.Partitioning Object (R)

References:
Object.Entity (across R310)

307. POLYMORPHIC DESTINATION (SM_PD)

Polymorphic Destination ( Information Model, Event Destination, Subtype-Supertype Relationship )

Identifiers:
Information Model + Event Destination
Information Model + Subtype-Supertype Relationship

307.1. Polymorphic Destination.Information Model (R)

References:
Event Destination.Information Model (across R303)
Subtype-Supertype Relationship.Information Model (across R311)

307.2. Polymorphic Destination.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R303)

307.3. Polymorphic Destination.Subtype-Supertype Relationship (R)

References:
Subtype-Supertype Relationship.Relationship (across R311)

308. EXTERNAL ENTITY (SM_EE)

External Entity ( Information Model, Event Destination, Entity )

Identifiers:
Information Model + Event Destination
Information Model + Entity

308.1. External Entity.Information Model (R)

References:
Entity.Information Model (across R109)
Event Destination.Information Model (across R303)

308.2. External Entity.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R303)

308.3. External Entity.Entity (R)

References:
Entity.Name (across R109)

309. EVENT DATA ITEM (SM_EDI)

Event Data Item ( Data Item, Information Model, Event Destination, Name, Order )

Identifiers:
Data Item
Information Model + Event Destination + Name
Information Model + Event Destination + Order

309.1. Event Data Item.Data Item (R)

References:
Data Item.Arbitrary ID (across R248)

309.2. Event Data Item.Information Model (R)

References:
Event Destination.Information Model (across R302)

309.3. Event Data Item.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R302)

309.4. Event Data Item.Name

Data Type: Name

309.5. Event Data Item.Order (A)

Data Type: Event Data Item Order

310. EVENT (SM_E)

Event ( Information Model, Event Destination, Meaning, Order, Manual Number, Number, Label, Signature, Description )

Identifiers:
Information Model + Event Destination + Meaning
Information Model + Event Destination + Order
Information Model + Event Destination + Number
Information Model + Label

310.1. Event.Information Model (R)

References:
Event Destination.Information Model (across R304)

310.2. Event.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R304)

310.3. Event.Meaning

Data Type: Name

310.4. Event.Order (A)

Data Type: Event Order

310.5. Event.Manual Number

Data 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.Description

Data Type: Description

311. TRANSITION EVENT (SM_TE)

Transition Event ( Information Model, State Model, Event )

Identifiers:
Information Model + State Model + Event

311.1. Transition Event.Information Model (R)

References:
Event.Information Model (across R315)

311.2. Transition Event.State Model (R)

References:
Event.Event Destination (across R315)

311.3. Transition Event.Event (R)

References:
Event.Meaning (across R315)

312. CREATION EVENT (SM_CE)

Creation Event ( Information Model, Lifecycle Model, Transition Event )

Identifiers:
Information Model + Lifecycle Model + Transition Event

312.1. Creation Event.Information Model (R)

References:
Transition Event.Information Model (across R316)

312.2. Creation Event.Lifecycle Model (R)

References:
Transition Event.State Model (across R316)

312.3. Creation Event.Transition Event (R)

References:
Transition Event.Event (across R316)

313. SIMPLE EVENT (SM_SE)

Simple Event ( Information Model, State Model, Transition Event )

Identifiers:
Information Model + State Model + Transition Event

313.1. Simple Event.Information Model (R)

References:
Transition Event.Information Model (across R316)
Subtype Event.Information Model (across R318)

313.2. Simple Event.State Model (R)

References:
Transition Event.State Model (across R316)
Subtype Event.Subtype Destination (across R318)

313.3. Simple Event.Transition Event (R)

References:
Transition Event.Event (across R316)
Subtype Event.Subtype Event (across R318)

314. DELETED EVENT (SM_DE)

Deleted Event ( Information Model, Lifecycle Model, Transition Event )

Identifiers:
Information Model + Lifecycle Model

314.1. Deleted Event.Information Model (R)

References:
Transition Event.Information Model (across R316)

314.2. Deleted Event.Lifecycle Model (R)

References:
Transition Event.State Model (across R316)

314.3. Deleted Event.Transition Event (R)

Data Type: Name

References:
Transition Event.Event (across R316)

315. POLYMORPHIC EVENT (SM_PE)

Polymorphic Event ( Information Model, Polymorphic Destination, Event, Mapping Complete, Mapping Compatible )

Identifiers:
Information Model + Polymorphic Destination + Event

315.1. Polymorphic Event.Information Model (R)

References:
Event.Information Model (across R315)
Subtype Event.Information Model (across R318)

315.2. Polymorphic Event.Polymorphic Destination (R)

References:
Event.Event Destination (across R315)
Subtype Event.Subtype Destination (across R318)

315.3. Polymorphic Event.Event (R)

References:
Event.Meaning (across R315)
Subtype Event.Subtype Event (across R318)

315.4. Polymorphic Event.Mapping Complete (M)

Data Type: Boolean

315.5. Polymorphic Event.Mapping Compatible (M)

Data Type: Boolean

316. DOMAIN-CROSSING EVENT (SM_DCE)

Domain-Crossing Event ( Information Model, External Entity, Event, Request Wormhole )

Identifiers:
Information Model + External Entity + Event

316.1. Domain-Crossing Event.Information Model (R)

References:
Event.Information Model (across R315)

316.2. Domain-Crossing Event.External Entity (R)

References:
Event.Event Destination (across R315)

316.3. Domain-Crossing Event.Event (R)

References:
Event.Meaning (across R315)

316.4. Domain-Crossing Event.Request Wormhole (R)

References:
Request Wormhole.Wormhole (across R406)

317. SUBTYPE EVENT (SM_SubE)

Subtype Event ( Information Model, Subtype Destination, Subtype Event )

Identifiers:
Information Model + Subtype Destination + Subtype Event

317.1. Subtype Event.Information Model (P)

317.2. Subtype Event.Subtype Destination (P)

317.3. Subtype Event.Subtype Event (P)

318. POLYMORPHIC EVENT MAPPING (SM_PEM)

Polymorphic Event Mapping ( Information Model, Supertype Destination, Polymorphic Event, Subtype Destination, Subtype Event )

Identifiers:
Information Model + Supertype Destination + Polymorphic Event + Subtype Destination + Subtype Event

318.1. Polymorphic Event Mapping.Information Model (R)

References:
Polymorphic Event.Information Model (across R319)
Subtype Event.Information Model (across R319)

318.2. Polymorphic Event Mapping.Supertype Destination (R)

References:
Polymorphic Event.Polymorphic Destination (across R319)

318.3. Polymorphic Event Mapping.Polymorphic Event (R)

References:
Polymorphic Event.Event (across R319)

318.4. Polymorphic Event Mapping.Subtype Destination (R)

References:
Subtype Event.Subtype Destination (across R319)

318.5. Polymorphic Event Mapping.Subtype Event (R)

References:
Subtype Event.Subtype Event (across R319)

319. CARRIED DATA ITEM (SM_CDI)

Carried Data Item ( Information Model, Event Destination, Event, Event Data Item )

Identifiers:
Information Model + Event Destination + Event + Event Data Item

319.1. Carried Data Item.Information Model (R)

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

319.2. Carried Data Item.Event Destination (R)

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

319.3. Carried Data Item.Event (R)

References:
Event.Meaning (across R322)

319.4. Carried Data Item.Event Data Item (R)

References:
Event Data Item.Name (across R322)

320. STATE (SM_S)

State ( Information Model, State Model, Name, Order, Manual Number, Number, Signature, Description )

Identifiers:
Information Model + State Model + Name
Information Model + State Model + Order
Information Model + State Model + Number

320.1. State.Information Model (R)

References:
State Model.Information Model (across R305)

320.2. State.State Model (R)

References:
State Model.Event Destination (across R305)

320.3. State.Name

Data Type: Name

320.4. State.Order (A)

Data Type: State Order

320.5. State.Manual Number

Data Type: Positive Integer

320.6. State.Number (M)

Data Type: Positive Integer

320.7. State.Signature (M)

Data Type: String

320.8. State.Description

Data Type: Description

321. EMPTY STATE (SM_ES)

Empty State ( Information Model, Lifecycle Model, State )

Identifiers:
Information Model + Lifecycle Model

321.1. Empty State.Information Model (R)

References:
State.Information Model (across R312)

321.2. Empty State.Lifecycle Model (R)

References:
State.State Model (across R312)

321.3. Empty State.State (R)

Data Type: Name

References:
State.Name (across R312)

322. NON-DELETION STATE (SM_NDS)

Non-Deletion State ( Information Model, State Model, State, Initial State, Final State, Wait State )

Identifiers:
Information Model + State Model + State

322.1. Non-Deletion State.Information Model (R)

References:
State.Information Model (across R312)

322.2. Non-Deletion State.State Model (R)

References:
State.State Model (across R312)

322.3. Non-Deletion State.State (R)

References:
State.Name (across R312)

322.4. Non-Deletion State.Initial State

Data Type: Boolean

322.5. Non-Deletion State.Final State (M)

Data Type: Boolean

322.6. Non-Deletion State.Wait State (M)

Data Type: Boolean

323. CREATION STATE (SM_CS)

Creation State ( Information Model, Lifecycle Model, Non-Deletion State )

Identifiers:
Information Model + Lifecycle Model + Non-Deletion State

323.1. Creation State.Information Model (R)

References:
Non-Deletion State.Information Model (across R313)

323.2. Creation State.Lifecycle Model (R)

References:
Non-Deletion State.State Model (across R313)

323.3. Creation State.Non-Deletion State (R)

References:
Non-Deletion State.State (across R313)

324. SIMPLE STATE (SM_SS)

Simple State ( Information Model, State Model, Non-Deletion State )

Identifiers:
Information Model + State Model + Non-Deletion State

324.1. Simple State.Information Model (R)

References:
Non-Deletion State.Information Model (across R313)
Non-Creation State.Information Model (across R314)

324.2. Simple State.State Model (R)

References:
Non-Deletion State.State Model (across R313)
Non-Creation State.State Model (across R314)

324.3. Simple State.Non-Deletion State (R)

References:
Non-Deletion State.State (across R313)
Non-Creation State.State (across R314)

325. DELETION STATE (SM_DS)

Deletion State ( Information Model, Lifecycle Model, State )

Identifiers:
Information Model + Lifecycle Model + State

325.1. Deletion State.Information Model (R)

References:
State.Information Model (across R312)
Non-Creation State.Information Model (across R314)

325.2. Deletion State.Lifecycle Model (R)

References:
State.State Model (across R312)
Non-Creation State.State Model (across R314)

325.3. Deletion State.State (R)

References:
State.Name (across R312)
Non-Creation State.State (across R314)

326. DELETED STATE (SM_DedS)

Deleted State ( Information Model, Lifecycle Model, State )

Identifiers:
Information Model + Lifecycle Model

326.1. Deleted State.Information Model (R)

References:
State.Information Model (across R312)

326.2. Deleted State.Lifecycle Model (R)

References:
State.State Model (across R312)

326.3. Deleted State.State (R)

Data Type: Name

References:
State.Name (across R312)

327. NON-CREATION STATE (SM_NCS)

Non-Creation State ( Information Model, State Model, State )

Identifiers:
Information Model + State Model + State

327.1. Non-Creation State.Information Model (P)

327.2. Non-Creation State.State Model (P)

327.3. Non-Creation State.State (P)

328. RECEIVED DATA ITEM (SM_RDI)

Received Data Item ( Information Model, State Model, State, Event Data Item )

Identifiers:
Information Model + State Model + State + Event Data Item

328.1. Received Data Item.Information Model (R)

References:
State.Information Model (across R323)
Event Data Item.Information Model (across R323)

328.2. Received Data Item.State Model (R)

References:
State.State Model (across R323)
Event Data Item.Event Destination (across R323)

328.3. Received Data Item.State (R)

References:
State.Name (across R323)

328.4. Received Data Item.Event Data Item (R)

References:
Event Data Item.Name (across R323)

329. TRANSITION (SM_T)

Transition ( Information Model, State Model, Old State, New State, Transition Event, Transition Event Compatible, Transition Event Overloaded, Transition ID, Description )

Identifiers:
Information Model + State Model + Old State + New State + Transition Event
Information Model + State Model + Transition ID

329.1. Transition.Information Model (R)

References:
State.Information Model (across R325)
State.Information Model (across R325)
Transition Event.Information Model (across R327)

329.2. Transition.State Model (R)

References:
State.State Model (across R325)
State.State Model (across R325)
Transition Event.State Model (across R327)

329.3. Transition.Old State (R)

References:
State.Name (across R325)

329.4. Transition.New State (R)

References:
State.Name (across R325)

329.5. Transition.Transition Event (R)

References:
Transition Event.Event (across R327)

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

Data Type: Description

330. CREATION TRANSITION (SM_CT)

Creation Transition ( Information Model, Lifecycle Model, Empty State, Creation State, Creation Event )

Identifiers:
Information Model + Lifecycle Model + Creation State
Information Model + Lifecycle Model + Creation Event

330.1. Creation Transition.Information Model (R)

References:
Transition.Information Model (across R326)

330.2. Creation Transition.Lifecycle Model (R)

References:
Transition.State Model (across R326)

330.3. Creation Transition.Empty State (R)

Data Type: Name

References:
Transition.Old State (across R326)

330.4. Creation Transition.Creation State (R)

References:
Transition.New State (across R326)

330.5. Creation Transition.Creation Event (R)

References:
Transition.Transition Event (across R326)

331. SIMPLE TRANSITION (SM_ST)

Simple Transition ( Information Model, State Model, Non-Deletion State, Non-Creation State, Simple Event )

Identifiers:
Information Model + State Model + Non-Deletion State + Simple Event

331.1. Simple Transition.Information Model (R)

References:
Transition.Information Model (across R326)

331.2. Simple Transition.State Model (R)

References:
Transition.State Model (across R326)

331.3. Simple Transition.Non-Deletion State (R)

References:
Transition.Old State (across R326)

331.4. Simple Transition.Non-Creation State (R)

References:
Transition.New State (across R326)

331.5. Simple Transition.Simple Event (R)

References:
Transition.Transition Event (across R326)

332. NEW STATE TRANSITION (SM_NST)

New State Transition ( Information Model, State Model, Non-Deletion State, Simple Event, Transfer of Control )

Identifiers:
Information Model + State Model + Non-Deletion State + Simple Event

332.1. New State Transition.Information Model (R)

References:
Simple Transition.Information Model (across R324)

332.2. New State Transition.State Model (R)

References:
Simple Transition.State Model (across R324)

332.3. New State Transition.Non-Deletion State (R)

References:
Simple Transition.Non-Deletion State (across R324)

332.4. New State Transition.Simple Event (R)

References:
Simple Transition.Simple Event (across R324)

332.5. New State Transition.Transfer of Control

Data Type: Boolean

333. EVENT IGNORED TRANSITION (SM_EIT)

Event Ignored Transition ( Information Model, State Model, Simple State, Simple Event )

Identifiers:
Information Model + State Model + Simple State + Simple Event

333.1. Event Ignored Transition.Information Model (R)

References:
Simple Transition.Information Model (across R324)

333.2. Event Ignored Transition.State Model (R)

References:
Simple Transition.State Model (across R324)

333.3. Event Ignored Transition.Simple State (R)

References:
Simple Transition.Non-Deletion State (across R324)

333.4. Event Ignored Transition.Simple Event (R)

References:
Simple Transition.Simple Event (across R324)

334. CANNOT HAPPEN TRANSITION (SM_CHT)

Cannot Happen Transition ( Information Model, State Model, Simple State, Simple Event )

Identifiers:
Information Model + State Model + Simple State + Simple Event

334.1. Cannot Happen Transition.Information Model (R)

References:
Simple Transition.Information Model (across R324)

334.2. Cannot Happen Transition.State Model (R)

References:
Simple Transition.State Model (across R324)

334.3. Cannot Happen Transition.Simple State (R)

References:
Simple Transition.Non-Deletion State (across R324)

334.4. Cannot Happen Transition.Simple Event (R)

References:
Simple Transition.Simple Event (across R324)

335. DELETED TRANSITION (SM_DT)

Deleted Transition ( Information Model, Lifecycle Model, Deletion State, Deleted State, Deleted Event )

Identifiers:
Information Model + Lifecycle Model + Deletion State

335.1. Deleted Transition.Information Model (R)

References:
Transition.Information Model (across R326)

335.2. Deleted Transition.Lifecycle Model (R)

References:
Transition.State Model (across R326)

335.3. Deleted Transition.Deletion State (R)

References:
Transition.Old State (across R326)

335.4. Deleted Transition.Deleted State (R)

Data Type: Name

References:
Transition.New State (across R326)

335.5. Deleted Transition.Deleted Event (R)

Data Type: Name

References:
Transition.Transition Event (across R326)

336. COMMUNICATION PATH (SM_CP)

Communication Path ( Arbitrary ID, Information Model, Event Source, Event Destination, Event )

Identifiers:
Arbitrary ID

336.1. Communication Path.Arbitrary ID (A)

Data Type: Communication Path ID

336.2. Communication Path.Information Model (R, P)

References:
Event Destination.Information Model (across R328)
Event Destination.Information Model (across R328)

336.3. Communication Path.Event Source (R, P)

References:
Event Destination.Arbitrary ID (across R328)

336.4. Communication Path.Event Destination (R, P)

References:
Event Destination.Arbitrary ID (across R328)

336.5. Communication Path.Event (P)

337. INTERNAL EVENT (SM_IE)

Internal Event ( Communication Path, Information Model, State Model, State, Event Destination, Event )

Identifiers:
Communication Path

337.1. Internal Event.Communication Path (R)

References:
Communication Path.Arbitrary ID (across R329)

337.2. Internal Event.Information Model (R)

References:
State.Information Model (across R320)
Event.Information Model (across R320)

337.3. Internal Event.State Model (R)

References:
State.State Model (across R320)

337.4. Internal Event.State (R)

References:
State.Name (across R320)

337.5. Internal Event.Event Destination (R)

References:
Event.Event Destination (across R320)

337.6. Internal Event.Event (R)

References:
Event.Meaning (across R320)

338. EXTERNAL EVENT (SM_EEve)

External Event ( Communication Path, Information Model, External Entity, Event Destination, Event, Control Reception Point )

Identifiers:
Communication Path
Control Reception Point

338.1. External Event.Communication Path (R)

References:
Communication Path.Arbitrary ID (across R329)

338.2. External Event.Information Model (R)

References:
External Entity.Information Model (across R321)
Event.Information Model (across R321)
Control Reception Point.Information Model (across R407)

338.3. External Event.External Entity (R)

References:
External Entity.Event Destination (across R321)
Control Reception Point.External Entity (across R407)

338.4. External Event.Event Destination (R)

References:
Event.Event Destination (across R321)

338.5. External Event.Event (R)

References:
Event.Meaning (across R321)

338.6. External Event.Control Reception Point (R)

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

Part III: Relationships

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