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

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 R307)
Object.Information Model (across R308)

303.2. Lifecycle Model.State Model (R)

References:
State Model.Event Destination (across R307)

303.3. Lifecycle Model.Active Object (R)

References:
Object.Entity (across R308)

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 R307)
Binary Relationship.Information Model (across R310)

304.2. Assigner Model.State Model (R)

References:
State Model.Event Destination (across R307)

304.3. Assigner Model.Competitive Relationship (R)

References:
Binary Relationship.Relationship (across R310)

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

305.2. Single Assigner Model.Assigner Model (R)

References:
Assigner Model.Competitive Relationship (across R311)

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 R311)
Object.Information Model (across R314)

306.2. Multiple Assigner Model.Assigner Model (R)

References:
Assigner Model.Competitive Relationship (across R311)

306.3. Multiple Assigner Model.Partitioning Object (R)

References:
Object.Entity (across R314)

307. EXTERNAL ENTITY (SM_EE)

External Entity ( Information Model, Event Destination, Entity )

Identifiers:
Information Model + Entity
Information Model + Event Destination

307.1. External Entity.Information Model (R)

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

307.2. External Entity.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R303)

307.3. External Entity.Entity (R)

References:
Entity.Name (across R109)

308. POLYMORPHIC DESTINATION (SM_PD)

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

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

308.1. Polymorphic Destination.Information Model (R)

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

308.2. Polymorphic Destination.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R303)

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

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

309. STATE (SM_S)

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

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

309.1. State.Information Model (R)

References:
State Model.Information Model (across R305)

309.2. State.State Model (R)

References:
State Model.Event Destination (across R305)

309.3. State.Name

Data Type: Name

309.4. State.Order (A)

309.5. State.Manual Number

Data Type: Positive Integer

309.6. State.Number (M)

Data Type: Positive Integer

309.7. State.Signature (M)

Data Type: String

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

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

References:
State.Information Model (across R317)

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

References:
State.State Model (across R317)

310.3. Non-Deletion State.State (R)

References:
State.Name (across R317)

310.4. Non-Deletion State.Initial State

Data Type: Boolean

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

Data Type: Boolean

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

Data Type: Boolean

311. SIMPLE STATE (SM_SS)

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

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

311.1. Simple State.Information Model (R)

References:
Non-Deletion State.Information Model (across R318)
Non-Creation State.Information Model (across R319)

311.2. Simple State.State Model (R)

References:
Non-Deletion State.State Model (across R318)
Non-Creation State.State Model (across R319)

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

References:
Non-Deletion State.State (across R318)
Non-Creation State.State (across R319)

312. CREATION STATE (SM_CS)

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

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

312.1. Creation State.Information Model (R)

References:
Non-Deletion State.Information Model (across R318)
Creation Event.Information Model (across R322)

312.2. Creation State.Lifecycle Model (R)

References:
Non-Deletion State.State Model (across R318)
Creation Event.Lifecycle Model (across R322)

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

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

312.4. Creation State.Creation Event (R)

References:
Creation Event.State Model Event (across R322)

312.5. Creation State.Creation Event Compatible (M)

Data Type: Boolean

313. DELETION STATE (SM_DS)

Deletion State ( Information Model, Lifecycle Model, State )

Identifiers:
Information Model + Lifecycle Model + State

313.1. Deletion State.Information Model (R)

References:
State.Information Model (across R317)
Non-Creation State.Information Model (across R319)

313.2. Deletion State.Lifecycle Model (R)

References:
State.State Model (across R317)
Non-Creation State.State Model (across R319)

313.3. Deletion State.State (R)

References:
State.Name (across R317)
Non-Creation State.State (across R319)

314. NON-CREATION STATE (SM_NCS)

Non-Creation State ( Information Model, State Model, State, Transition Events Compatible )

Identifiers:
Information Model + State Model + State

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

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

314.3. Non-Creation State.State (P)

314.4. Non-Creation State.Transition Events Compatible (M)

Data Type: Boolean

315. EVENT (SM_E)

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

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

315.1. Event.Information Model (R)

References:
Event Destination.Information Model (across R304)

315.2. Event.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R304)

315.3. Event.Order (A)

315.4. Event.Manual Number

Data Type: Positive Integer

315.5. Event.Number (M)

Data Type: Positive Integer

315.6. Event.Meaning

Data Type: Name

315.7. Event.Label (M)

Data Type: String

315.8. Event.Signature (M)

Data Type: String

315.9. Event.Description

Data Type: Description

316. STATE MODEL EVENT (SM_SME)

State Model Event ( Information Model, State Model, Event )

Identifiers:
Information Model + State Model + Event

316.1. State Model Event.Information Model (R)

References:
Event.Information Model (across R320)

316.2. State Model Event.State Model (R)

References:
Event.Event Destination (across R320)

316.3. State Model Event.Event (R)

References:
Event.Meaning (across R320)

317. CREATION EVENT (SM_CE)

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

Identifiers:
Information Model + Lifecycle Model + State Model Event

317.1. Creation Event.Information Model (R)

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

317.2. Creation Event.Lifecycle Model (R)

References:
State Model Event.State Model (across R321)

317.3. Creation Event.State Model Event (R)

References:
State Model Event.Event (across R321)

318. TRANSITION EVENT (SM_TE)

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

Identifiers:
Information Model + State Model + State Model Event

318.1. Transition Event.Information Model (R)

References:
State Model Event.Information Model (across R321)
Subtype Event.Information Model (across R325)

318.2. Transition Event.State Model (R)

References:
State Model Event.State Model (across R321)
Subtype Event.Subtype Destination (across R325)

318.3. Transition Event.State Model Event (R)

References:
State Model Event.Event (across R321)
Subtype Event.Subtype Event (across R325)

319. DOMAIN-CROSSING EVENT (SM_DCE)

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

Identifiers:
Information Model + External Entity + Event

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

References:
Event.Information Model (across R320)

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

References:
Event.Event Destination (across R320)

319.3. Domain-Crossing Event.Event (R)

References:
Event.Meaning (across R320)

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

References:
Request Wormhole.Wormhole (across R17)

320. POLYMORPHIC EVENT (SM_PE)

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

Identifiers:
Information Model + Polymorphic Destination + Event

320.1. Polymorphic Event.Information Model (R)

References:
Event.Information Model (across R320)
Subtype Event.Information Model (across R325)

320.2. Polymorphic Event.Polymorphic Destination (R)

References:
Event.Event Destination (across R320)
Subtype Event.Subtype Destination (across R325)

320.3. Polymorphic Event.Event (R)

References:
Event.Meaning (across R320)
Subtype Event.Subtype Event (across R325)

320.4. Polymorphic Event.Mapping Complete (M)

Data Type: Boolean

320.5. Polymorphic Event.Mapping Compatible (M)

Data Type: Boolean

321. SUBTYPE EVENT (SM_SE)

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

Identifiers:
Information Model + Subtype Destination + Subtype Event

321.1. Subtype Event.Information Model (P)

321.2. Subtype Event.Subtype Destination (P)

321.3. Subtype Event.Subtype Event (P)

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

322.1. Polymorphic Event Mapping.Information Model (R)

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

322.2. Polymorphic Event Mapping.Supertype Destination (R)

References:
Polymorphic Event.Polymorphic Destination (across R326)

322.3. Polymorphic Event Mapping.Polymorphic Event (R)

References:
Polymorphic Event.Event (across R326)

322.4. Polymorphic Event Mapping.Subtype Destination (R)

References:
Subtype Event.Subtype Destination (across R326)

322.5. Polymorphic Event Mapping.Subtype Event (R)

References:
Subtype Event.Subtype Event (across R326)

323. INTERNAL EVENT (SM_IE)

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

Identifiers:
Information Model + State Model + State + Event Destination + Event

323.1. Internal Event.Information Model (R)

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

323.2. Internal Event.State Model (R)

References:
State.State Model (across R327)

323.3. Internal Event.State (R)

References:
State.Name (across R327)

323.4. Internal Event.Event Destination (R)

References:
Event.Event Destination (across R327)

323.5. Internal Event.Event (R)

References:
Event.Meaning (across R327)

324. EXTERNAL EVENT (SM_EEv)

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

Identifiers:
Information Model + External Entity + Event Destination + Event
Control Reception Point

324.1. External Event.Information Model (R)

References:
Control Reception Point.Information Model (across R18)
External Entity.Information Model (across R328)
Event.Information Model (across R328)

324.2. External Event.External Entity (R)

References:
Control Reception Point.External Entity (across R18)
External Entity.Entity (across R328)

324.3. External Event.Event Destination (R)

References:
Event.Event Destination (across R328)

324.4. External Event.Event (R)

References:
Event.Meaning (across R328)

324.5. External Event.Control Reception Point (R)

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

325. EVENT DATA ITEM (SM_EDI)

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

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

325.1. Event Data Item.Data Item (R)

References:
Data Item.Arbitrary ID (across R248)

325.2. Event Data Item.Information Model (R)

References:
Event Destination.Information Model (across R302)

325.3. Event Data Item.Event Destination (R)

References:
Event Destination.Arbitrary ID (across R302)

325.4. Event Data Item.Name

Data Type: Name

325.5. Event Data Item.Order (A)

Data Type: Event Data Item Order

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

326.1. Carried Data Item.Information Model (R)

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

326.2. Carried Data Item.Event Destination (R)

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

326.3. Carried Data Item.Event (R)

References:
Event.Meaning (across R329)

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

References:
Event Data Item.Name (across R329)

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

327.1. Received Data Item.Information Model (R)

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

327.2. Received Data Item.State Model (R)

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

327.3. Received Data Item.State (R)

References:
State.Name (across R330)

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

References:
Event Data Item.Name (across R330)

328. TRANSITION (SM_T)

Transition ( Information Model, State Model, Non-Deletion State, Transition Event, Transition Note )

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

328.1. Transition.Information Model (R)

References:
Transition Event.Information Model (across R332)
Non-Deletion State.Information Model (across R332)
Transition Note.Information Model (across R334)

328.2. Transition.State Model (R)

References:
Transition Event.State Model (across R332)
Non-Deletion State.State Model (across R332)
Transition Note.State Model (across R334)

328.3. Transition.Non-Deletion State (R)

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

328.4. Transition.Transition Event (R)

References:
Transition Event.State Model Event (across R332)

328.5. Transition.Transition Note (R)

References:
Transition Note.Transition Note ID (across R334)

329. NEW STATE TRANSITION (SM_NST)

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

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

329.1. New State Transition.Information Model (R)

References:
Transition.Information Model (across R331)
Non-Creation State.Information Model (across R333)

329.2. New State Transition.State Model (R)

References:
Transition.State Model (across R331)
Non-Creation State.State Model (across R333)

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

References:
Transition.Non-Deletion State (across R331)

329.4. New State Transition.Transition Event (R)

References:
Transition.Transition Event (across R331)

329.5. New State Transition.New State (R)

References:
Non-Creation State.State (across R333)

329.6. New State Transition.New State Compatible (M)

Data Type: Boolean

329.7. New State Transition.Transfer of Control

Data Type: Boolean

330. EVENT IGNORED TRANSITION (SM_EIT)

Event Ignored Transition ( Information Model, State Model, Non-Deletion State, Transition Event )

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

330.1. Event Ignored Transition.Information Model (R)

References:
Transition.Information Model (across R331)

330.2. Event Ignored Transition.State Model (R)

References:
Transition.State Model (across R331)

330.3. Event Ignored Transition.Non-Deletion State (R)

References:
Transition.Non-Deletion State (across R331)

330.4. Event Ignored Transition.Transition Event (R)

References:
Transition.Transition Event (across R331)

331. CANNOT HAPPEN TRANSITION (SM_CHT)

Cannot Happen Transition ( Information Model, State Model, Non-Deletion State, Transition Event )

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

331.1. Cannot Happen Transition.Information Model (R)

References:
Transition.Information Model (across R331)

331.2. Cannot Happen Transition.State Model (R)

References:
Transition.State Model (across R331)

331.3. Cannot Happen Transition.Non-Deletion State (R)

References:
Transition.Non-Deletion State (across R331)

331.4. Cannot Happen Transition.Transition Event (R)

References:
Transition.Transition Event (across R331)

332. TRANSITION NOTE (SM_TN)

Transition Note ( Information Model, State Model, Order, Transition Note ID, Description )

Identifiers:
Information Model + State Model + Order
Information Model + State Model + Transition Note ID

332.1. Transition Note.Information Model (R)

References:
State Model.Information Model (across R306)

332.2. Transition Note.State Model (R)

References:
State Model.Event Destination (across R306)

332.3. Transition Note.Order (A)

332.4. Transition Note.Transition Note ID (M)

Data Type: String

332.5. Transition Note.Description

Data Type: Description

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 DEFINES Transition Note (1:Mc)
Transition Note IS DEFINED BY State Model

Formalization:
Transition Note.Information Model → State Model.Information Model
Transition Note.State Model → State Model.Event Destination

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

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

R309.Lifecycle Model ONLY RECEIVES State Model Event (1c:Mc)
State Model Event IS RECEIVED BY Lifecycle Model

Formalization: R309 = R307 + R303 + R304 + R320

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

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

R312.Assigner Model ONLY DEFINES Simple State (1c:Mc)
Simple State IS DEFINED BY Assigner Model

Formalization: R312 = R307 + R305 + R317 + R318

R313.Assigner Model ONLY RECEIVES Transition Event (1c:Mc)
Transition Event IS RECEIVED BY Assigner Model

Formalization: R313 = R307 + R303 + R304 + R320 + R321

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

R315.External Entity ONLY RECEIVES Domain-Crossing Event (1:Mc)
Domain-Crossing Event IS RECEIVED BY External Entity

Formalization: R315 = R320 + R304 + R303

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

R317.State IS A (SUPERTYPE OF) Deletion State
State IS A (SUPERTYPE OF) Non-Deletion State

Deletion State IS A (SUBTYPE OF) State
Non-Deletion State IS A (SUBTYPE OF) State

Formalization:
Deletion State.Information Model → State.Information Model
Deletion State.Lifecycle Model → State.State Model
Deletion 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

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

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

R320.Event IS A (SUPERTYPE OF) Domain-Crossing Event
Event IS A (SUPERTYPE OF) Polymorphic Event
Event IS A (SUPERTYPE OF) State Model Event

Domain-Crossing Event IS A (SUBTYPE OF) Event
Polymorphic Event IS A (SUBTYPE OF) Event
State Model 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
State Model Event.Information Model → Event.Information Model
State Model Event.State Model → Event.Event Destination
State Model Event.Event → Event.Meaning

R321.State Model Event IS A (SUPERTYPE OF) Creation Event
State Model Event IS A (SUPERTYPE OF) Transition Event

Creation Event IS A (SUBTYPE OF) State Model Event
Transition Event IS A (SUBTYPE OF) State Model Event

Formalization:
Creation Event.Information Model → State Model Event.Information Model
Creation Event.Lifecycle Model → State Model Event.State Model
Creation Event.State Model Event → State Model Event.Event
Transition Event.Information Model → State Model Event.Information Model
Transition Event.State Model → State Model Event.State Model
Transition Event.State Model Event → State Model Event.Event

R322.Creation Event TRIGGERS ENTRY TO Creation State (1:1)
Creation State IS TRIGGERED BY Creation Event

Formalization:
Creation State.Information Model → Creation Event.Information Model
Creation State.Lifecycle Model → Creation Event.Lifecycle Model
Creation State.Creation Event → Creation Event.State Model Event

R323.Polymorphic Event HAS TRUE Transition Event (Mc:Mc)
Transition Event IS TRUE EVENT FOR Polymorphic Event

R324.Polymorphic Event IS RECEIVED BY Polymorphic Destination (Mc:1)
Polymorphic Destination ONLY RECEIVES Polymorphic Event

Formalization: R324 = R320 + R304 + R303

R325.Subtype Event IS A (SUPERTYPE OF) Polymorphic Event
Subtype Event IS A (SUPERTYPE OF) Transition Event

Polymorphic Event IS A (SUBTYPE OF) Subtype Event
Transition 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
Transition Event.Information Model → Subtype Event.Information Model
Transition Event.State Model → Subtype Event.Subtype Destination
Transition Event.State Model Event → Subtype Event.Subtype Event

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

R327.State GENERATES INTERNAL Event (Mc:Mc)
Event IS GENERATED BY State
Internal Event ASSOCIATES State AND Event 1-(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

R328.External Entity GENERATES EXTERNAL Event (Mc:Mc)
Event IS GENERATED BY External Entity
External Event ASSOCIATES External Entity AND Event 1-(Mc:Mc)

Formalization:
External Event.Information Model → External Entity.Information Model
External Event.External Entity → External Entity.Entity
External Event.Information Model → Event.Information Model
External Event.Event Destination → Event.Event Destination
External Event.Event → Event.Meaning

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

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

R331.Transition IS A (SUPERTYPE OF) Cannot Happen Transition
Transition IS A (SUPERTYPE OF) Event Ignored Transition
Transition IS A (SUPERTYPE OF) New State Transition

Cannot Happen Transition IS A (SUBTYPE OF) Transition
Event Ignored Transition IS A (SUBTYPE OF) Transition
New State Transition IS A (SUBTYPE OF) Transition

Formalization:
Cannot Happen Transition.Information Model → Transition.Information Model
Cannot Happen Transition.State Model → Transition.State Model
Cannot Happen Transition.Non-Deletion State → Transition.Non-Deletion State
Cannot Happen Transition.Transition Event → Transition.Transition Event
Event Ignored Transition.Information Model → Transition.Information Model
Event Ignored Transition.State Model → Transition.State Model
Event Ignored Transition.Non-Deletion State → Transition.Non-Deletion State
Event Ignored Transition.Transition Event → Transition.Transition Event
New State Transition.Information Model → Transition.Information Model
New State Transition.State Model → Transition.State Model
New State Transition.Non-Deletion State → Transition.Non-Deletion State
New State Transition.Transition Event → Transition.Transition Event

R332.Transition Event IS ACCEPTED BY Non-Deletion State (Mc:Mc)
Non-Deletion State ACCEPTS Transition Event
Transition IS TRIGGERED BY Transition Event IN Non-Deletion State 1-(Mc:Mc)

Formalization:
Transition.Information Model → Transition Event.Information Model
Transition.State Model → Transition Event.State Model
Transition.Transition Event → Transition Event.State Model Event
Transition.Information Model → Non-Deletion State.Information Model
Transition.State Model → Non-Deletion State.State Model
Transition.Non-Deletion State → Non-Deletion State.State

R333.New State Transition TRIGGERS ENTRY TO Non-Creation State (Mc:1)
Non-Creation State IS TRIGGERED BY New State Transition

Formalization:
New State Transition.Information Model → Non-Creation State.Information Model
New State Transition.State Model → Non-Creation State.State Model
New State Transition.New State → Non-Creation State.State

R334.Transition Note IS ATTACHED TO Transition (1c:Mc)
Transition HAS ATTACHED Transition Note

Formalization:
Transition.Information Model → Transition Note.Information Model
Transition.State Model → Transition Note.State Model
Transition.Transition Note → Transition Note.Transition Note ID