State Model

Objects that have interesting behavior are given lifecycles. These lifecycles are described using State Models. A State Model consists of states, events, transactions and state actions. The State Model exists for each instance of the Object to which it is assigned. A State Model can also be an Assigner State Model of which only one can exist for all Object instances. The purpose of the Assigner State Model is to act as a single point of control through which competing requests are serialized.

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

501. STATE MODEL (SM_SM)

State Model ( SM_ID, Descrip, Config_ID )

Identifiers:
SM_ID

501.1. State Model.SM_ID

Full Name: State Model Identifier

Data Type: arbitrary_id

501.2. State Model.Descrip

Full Name: State Model Description

Data Type: string

501.3. State Model.Config_ID

Full Name: Configuration Identifier

The configuration ID of the version mangement configuration which the state model is a part of (See Page 57 of BridgePoint Tool Guide). This ID can be used to access the V_CONFIG record corresponding to the State Model/Action Configuration.

Data Type: arbitrary_id

502. STATE MODEL STATE (SM_STATE)

State Model State ( SMstt_ID, SM_ID, SMspd_ID, Name, Numb, Final )

Identifiers:
SMstt_ID + SM_ID
SMstt_ID + SM_ID + SMspd_ID

502.1. State Model State.SMstt_ID

Full Name: State Model State Identifier

Data Type: arbitrary_id

502.2. State Model State.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R501)
Event Supplemental Data.SM_ID (across R521)

502.3. State Model State.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
Event Supplemental Data.SMspd_ID (across R521)

502.4. State Model State.Name

Full Name: State Name

Data Type: string

502.5. State Model State.Numb

Full Name: State Number

Data Type: integer

502.6. State Model State.Final

Full Name: Is Deletion Final State Flag

Domain:
0 = Not Deletion Final State
1 = Deletion Final State

Data Type: integer

503. STATE MODEL EVENT (SM_EVT)

State Model Event ( SMevt_ID, SM_ID, SMspd_ID, Numb, Mning, Are_KL_C, Cust_KL, Drv_Lbl, Descrip )

Identifiers:
SMevt_ID + SM_ID
SMevt_ID + SM_ID + SMspd_ID

503.1. State Model Event.SMevt_ID

Full Name: State Model Event Identifier

Data Type: arbitrary_id

503.2. State Model Event.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R502)
Event Supplemental Data.SM_ID (across R520)

503.3. State Model Event.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
Event Supplemental Data.SMspd_ID (across R520)

503.4. State Model Event.Numb

Full Name: Event Number

Data Type: integer

503.5. State Model Event.Mning

Full Name: Event Meaning

Data Type: string

503.6. State Model Event.Are_KL_C

Full Name: Are Key Letters Custom Flag

This is a flag that indicates whether custom label keyletters are used for the External EntityState Model Event.

Domain:
Value 01 indicates custom label keyletters are used.
Value 10 indicates External EntityObject keyletters are used.

Data Type: integer

503.7. State Model Event.Cust_KL

Full Name: Custom Event Keyletters

Data Type: string

503.8. State Model Event.Drv_Lbl (M)

Full Name: Derived Label

Holds the event label - derived by concatenating the keyletters and the event number.

If the Are_KL_C attribute is 0, then the value of the Object.Keyletter attribute is concatenated with the State Model Event.Numb atttribute.

If the Are_KL_C attribute is 1, then the value of the State Model Event.Cust_KL attribute is concatenated with the State Model Event.Numb atttribute.

Data Type: string

503.9. State Model Event.Descrip

Full Name: Event Description

Data Type: string

504. STATE EVENT MATRIX ENTRY (SM_SEME)

State Event Matrix Entry ( SMstt_ID, SMevt_ID, SM_ID, SMspd_ID )

Identifiers:
SMstt_ID + SMevt_ID + SM_ID + SMspd_ID

504.1. State Event Matrix Entry.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Model State.SMstt_ID (across R503)

504.2. State Event Matrix Entry.SMevt_ID (R)

Domain: Same as State Model Event.SMevt_ID

References:
State Model Event.SMevt_ID (across R503)

504.3. State Event Matrix Entry.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model Event.SM_ID (across R503)
State Model State.SM_ID (across R503)

504.4. State Event Matrix Entry.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
State Model Event.SMspd_ID (across R503)
State Model State.SMspd_ID (across R503)

505. NEW STATE TRANSITION (SM_NSTXN)

New State Transition ( Trans_ID, SM_ID, SMstt_ID, SMevt_ID, SMspd_ID )

Identifiers:
SM_ID + SMstt_ID + SMevt_ID + SMspd_ID
Trans_ID + SM_ID + SMspd_ID

505.1. New State Transition.Trans_ID (R)

Domain: Same as Transition.Trans_ID

References:
Transition.Trans_ID (across R507)

505.2. New State Transition.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Event Matrix Entry.SM_ID (across R504)
Transition.SM_ID (across R507)

505.3. New State Transition.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Event Matrix Entry.SMstt_ID (across R504)

505.4. New State Transition.SMevt_ID (R)

Domain: Same as State Model Event.SMevt_ID

References:
State Event Matrix Entry.SMevt_ID (across R504)

505.5. New State Transition.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
State Event Matrix Entry.SMspd_ID (across R504)
Transition.SMspd_ID (across R507)

506. EVENT IGNORED (SM_EIGN)

Event Ignored ( SMstt_ID, SMevt_ID, SM_ID, SMspd_ID, Descrip )

Identifiers:
SMstt_ID + SMevt_ID + SM_ID + SMspd_ID

506.1. Event Ignored.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Event Matrix Entry.SMstt_ID (across R504)

506.2. Event Ignored.SMevt_ID (R)

Domain: Same as State Model Event.SMevt_ID

References:
State Event Matrix Entry.SMevt_ID (across R504)

506.3. Event Ignored.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Event Matrix Entry.SM_ID (across R504)

506.4. Event Ignored.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
State Event Matrix Entry.SMspd_ID (across R504)

506.5. Event Ignored.Descrip

Full Name: Event Ignored Description

Data Type: string

507. CANT HAPPEN (SM_CH)

Cant Happen ( SMstt_ID, SMevt_ID, SM_ID, SMspd_ID, Descrip )

Identifiers:
SMstt_ID + SMevt_ID + SM_ID + SMspd_ID

507.1. Cant Happen.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Event Matrix Entry.SMstt_ID (across R504)

507.2. Cant Happen.SMevt_ID (R)

Domain: Same as State Model Event.SMevt_ID

References:
State Event Matrix Entry.SMevt_ID (across R504)

507.3. Cant Happen.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Event Matrix Entry.SM_ID (across R504)

507.4. Cant Happen.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
State Event Matrix Entry.SMspd_ID (across R504)

507.5. Cant Happen.Descrip

Full Name: Cant Happen Description

Data Type: string

508. TRANSITION (SM_TXN)

Transition ( Trans_ID, SM_ID, SMstt_ID, SMspd_ID )

Identifiers:
Trans_ID + SM_ID
Trans_ID + SM_ID + SMspd_ID

508.1. Transition.Trans_ID

Full Name: Transition Identifier

Data Type: arbitrary_id

508.2. Transition.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R505)
State Model State.SM_ID (across R506)

508.3. Transition.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Model State.SMstt_ID (across R506)

508.4. Transition.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
State Model State.SMspd_ID (across R506)

509. NO EVENT TRANSITION (SM_NETXN)

No Event Transition ( Trans_ID, SM_ID, SMstt_ID, SMspd_ID )

Identifiers:
Trans_ID + SM_ID + SMspd_ID

509.1. No Event Transition.Trans_ID (R)

Domain: Same as Transition.Trans_ID

References:
Transition.Trans_ID (across R507)

509.2. No Event Transition.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
Transition.SM_ID (across R507)
State Model State.SM_ID (across R508)

509.3. No Event Transition.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Model State.SMstt_ID (across R508)

509.4. No Event Transition.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
Transition.SMspd_ID (across R507)

510. CREATION TRANSITION (SM_CRTXN)

Creation Transition ( Trans_ID, SM_ID, SMevt_ID, SMspd_ID )

Identifiers:
Trans_ID + SM_ID
Trans_ID + SM_ID + SMspd_ID

510.1. Creation Transition.Trans_ID (R)

Domain: Same as Transition.Trans_ID

References:
Transition.Trans_ID (across R507)

510.2. Creation Transition.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
Transition.SM_ID (across R507)
State Model Event.SM_ID (across R509)

510.3. Creation Transition.SMevt_ID (R)

Domain: Same as State Model Event.SMevt_ID

References:
State Model Event.SMevt_ID (across R509)

510.4. Creation Transition.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
Transition.SMspd_ID (across R507)
State Model Event.SMspd_ID (across R509)

511. MOORE STATE MODEL (SM_MOORE)

Moore State Model ( SM_ID )

Identifiers:
SM_ID

511.1. Moore State Model.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R510)

512. MEALY STATE MODEL (SM_MEALY)

Mealy State Model ( SM_ID )

Identifiers:
SM_ID

512.1. Mealy State Model.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R510)

513. MOORE ACTION HOME (SM_MOAH)

Moore Action Home ( Act_ID, SM_ID, SMstt_ID )

Identifiers:
SM_ID + SMstt_ID
Act_ID + SM_ID

513.1. Moore Action Home.Act_ID (R)

Domain: Same as Action.Act_ID

References:
Action Home.Act_ID (across R513)

513.2. Moore Action Home.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
Moore State Model.SM_ID (across R511)
State Model State.SM_ID (across R511)
Action Home.SM_ID (across R513)

513.3. Moore Action Home.SMstt_ID (R)

Domain: Same as State Model State.SMstt_ID

References:
State Model State.SMstt_ID (across R511)

514. MEALY ACTION HOME (SM_MEAH)

Mealy Action Home ( Act_ID, SM_ID, Trans_ID )

Identifiers:
SM_ID + Trans_ID
Act_ID + SM_ID

514.1. Mealy Action Home.Act_ID (R)

Domain: Same as Action.Act_ID

References:
Action Home.Act_ID (across R513)

514.2. Mealy Action Home.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
Mealy State Model.SM_ID (across R512)
Transition.SM_ID (across R512)
Action Home.SM_ID (across R513)

514.3. Mealy Action Home.Trans_ID (R)

Domain: Same as Transition.Trans_ID

References:
Transition.Trans_ID (across R512)

515. ACTION HOME (SM_AH)

Action Home ( Act_ID, SM_ID )

Identifiers:
Act_ID + SM_ID

515.1. Action Home.Act_ID (R)

Domain: Same as Action.Act_ID

References:
Action.Act_ID (across R514)

515.2. Action Home.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
Action.SM_ID (across R514)

516. ACTION (SM_ACT)

Action ( Act_ID, SM_ID, Suc_Pars, Descrip )

Identifiers:
Act_ID + SM_ID

516.1. Action.Act_ID

Full Name: Action Identifier

Data Type: arbitrary_id

516.2. Action.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R515)

516.3. Action.Suc_Pars

Full Name: Action Successfully Parsed

Domain:
0 = NOT Successfully Parsed
1 = Successfully Parsed

Data Type: integer

516.4. Action.Descrip

Full Name: Action Description

Data Type: string

517. STATE MODEL EVENT DATA ITEM (SM_EVTDI)

State Model Event Data Item ( SMedi_ID, SM_ID, Name, Descrip, DT_ID )

Identifiers:
SMedi_ID + SM_ID

517.1. State Model Event Data Item.SMedi_ID

Full Name: State Model Event Data Item Identifier

Data Type: arbitrary_id

517.2. State Model Event Data Item.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R516)

517.3. State Model Event Data Item.Name

Full Name: Event Data Item Name

Data Type: string

517.4. State Model Event Data Item.Descrip

Full Name: Description

Data Type: string

517.5. State Model Event Data Item.DT_ID (R)

Domain: Same as Data Type.DT_ID

References:
Data Type.DT_ID (across R524)

518. EVENT SUPPLEMENTAL DATA (SM_SUPDT)

Event Supplemental Data ( SMspd_ID, SM_ID )

Identifiers:
SMspd_ID + SM_ID

518.1. Event Supplemental Data.SMspd_ID

Full Name: Event Supplemental Data Identifier

Data Type: arbitrary_id

518.2. Event Supplemental Data.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R523)

519. SUPPLEMENTAL DATA ITEMS (SM_SDI)

Supplemental Data Items ( SMedi_ID, SMspd_ID, SM_ID )

Identifiers:
SMedi_ID + SMspd_ID + SM_ID

519.1. Supplemental Data Items.SMedi_ID (R)

Domain: Same as State Model Event Data Item.SMedi_ID

References:
State Model Event Data Item.SMedi_ID (across R522)

519.2. Supplemental Data Items.SMspd_ID (R)

Domain: Same as Event Supplemental Data.SMspd_ID

References:
Event Supplemental Data.SMspd_ID (across R522)

519.3. Supplemental Data Items.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model Event Data Item.SM_ID (across R522)
Event Supplemental Data.SM_ID (across R522)

520. INSTANCE STATE MODEL (SM_ISM)

Instance State Model ( SM_ID, Obj_ID )

Identifiers:
SM_ID + Obj_ID

520.1. Instance State Model.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R517)

520.2. Instance State Model.Obj_ID (R)

Domain: Same as Object.Obj_ID

References:
Object.Obj_ID (across R518)

521. ASSIGNER STATE MODEL (SM_ASM)

Assigner State Model ( SM_ID, Obj_ID )

Identifiers:
SM_ID + Obj_ID

521.1. Assigner State Model.SM_ID (R)

Domain: Same as State Model.SM_ID

References:
State Model.SM_ID (across R517)

521.2. Assigner State Model.Obj_ID (R)

Domain: Same as Object.Obj_ID

References:
Object.Obj_ID (across R519)

Part III: Relationships

R501.State Model IS DECOMPOSED INTO State Model State (1:Mc)
State Model State IS RELATED TO State Model

Formalization:
State Model State.SM_ID→State Model.SM_ID

R502.State Model CAN BE COMMUNICATED TO VIA State Model Event (1:Mc)
State Model Event IS RELATED TO State Model

Formalization:
State Model Event.SM_ID→State Model.SM_ID

R503.State Model Event IS RECEIVED BY State Model State (Mc:Mc)
State Model State RECEIVES State Model Event
State Event Matrix Entry ASSOCIATES State Model Event AND State Model State 1-(Mc:Mc)

Formalization:
State Event Matrix Entry.SMevt_ID→State Model Event.SMevt_ID
State Event Matrix Entry.SM_ID→State Model Event.SM_ID
State Event Matrix Entry.SMspd_ID→State Model Event.SMspd_ID
State Event Matrix Entry.SMstt_ID→State Model State.SMstt_ID
State Event Matrix Entry.SM_ID→State Model State.SM_ID
State Event Matrix Entry.SMspd_ID→State Model State.SMspd_ID

R504.State Event Matrix Entry IS A (SUPERTYPE OF) Cant Happen
State Event Matrix Entry IS A (SUPERTYPE OF) Event Ignored
State Event Matrix Entry IS A (SUPERTYPE OF) New State Transition

Cant Happen IS A (SUBTYPE OF) State Event Matrix Entry
Event Ignored IS A (SUBTYPE OF) State Event Matrix Entry
New State Transition IS A (SUBTYPE OF) State Event Matrix Entry

Formalization:
Cant Happen.SMstt_ID→State Event Matrix Entry.SMstt_ID
Cant Happen.SMevt_ID→State Event Matrix Entry.SMevt_ID
Cant Happen.SM_ID→State Event Matrix Entry.SM_ID
Cant Happen.SMspd_ID→State Event Matrix Entry.SMspd_ID
Event Ignored.SMstt_ID→State Event Matrix Entry.SMstt_ID
Event Ignored.SMevt_ID→State Event Matrix Entry.SMevt_ID
Event Ignored.SM_ID→State Event Matrix Entry.SM_ID
Event Ignored.SMspd_ID→State Event Matrix Entry.SMspd_ID
New State Transition.SMstt_ID→State Event Matrix Entry.SMstt_ID
New State Transition.SMevt_ID→State Event Matrix Entry.SMevt_ID
New State Transition.SM_ID→State Event Matrix Entry.SM_ID
New State Transition.SMspd_ID→State Event Matrix Entry.SMspd_ID

R505.State Model CONTAINS Transition (1:Mc)
Transition IS RELATED TO State Model

Formalization:
Transition.SM_ID→State Model.SM_ID

R506.State Model State IS DESTINATION OF Transition (1:Mc)
Transition IS DESTINE TO State Model State

Formalization:
Transition.SMstt_ID→State Model State.SMstt_ID
Transition.SM_ID→State Model State.SM_ID
Transition.SMspd_ID→State Model State.SMspd_ID

R507.Transition IS A (SUPERTYPE OF) Creation Transition
Transition IS A (SUPERTYPE OF) New State Transition
Transition IS A (SUPERTYPE OF) No Event Transition

Creation Transition IS A (SUBTYPE OF) Transition
New State Transition IS A (SUBTYPE OF) Transition
No Event Transition IS A (SUBTYPE OF) Transition

Formalization:
Creation Transition.Trans_ID→Transition.Trans_ID
Creation Transition.SM_ID→Transition.SM_ID
Creation Transition.SMspd_ID→Transition.SMspd_ID
New State Transition.Trans_ID→Transition.Trans_ID
New State Transition.SM_ID→Transition.SM_ID
New State Transition.SMspd_ID→Transition.SMspd_ID
No Event Transition.Trans_ID→Transition.Trans_ID
No Event Transition.SM_ID→Transition.SM_ID
No Event Transition.SMspd_ID→Transition.SMspd_ID

R508.State Model State IS ORGINATION OF No Event Transition (1:Mc)
No Event Transition ORIGINATES FROM State Model State

Formalization:
No Event Transition.SMstt_ID→State Model State.SMstt_ID
No Event Transition.SM_ID→State Model State.SM_ID

R509.State Model Event IS ASSIGNED TO Creation Transition (1c:1c)
Creation Transition HAS ASSIGNED TO IT State Model Event

Formalization:
Creation Transition.SMevt_ID→State Model Event.SMevt_ID
Creation Transition.SM_ID→State Model Event.SM_ID
Creation Transition.SMspd_ID→State Model Event.SMspd_ID

R510.State Model IS A (SUPERTYPE OF) Mealy State Model
State Model IS A (SUPERTYPE OF) Moore State Model

Mealy State Model IS A (SUBTYPE OF) State Model
Moore State Model IS A (SUBTYPE OF) State Model

Formalization:
Mealy State Model.SM_ID→State Model.SM_ID
Moore State Model.SM_ID→State Model.SM_ID

R511.Moore State Model IS RELATED TO State Model State (1c:Mc)
State Model State IS RELATED TO Moore State Model
Moore Action Home ASSOCIATES Moore State Model AND State Model State 1-(1c:Mc)

Formalization:
Moore Action Home.SM_ID→Moore State Model.SM_ID
Moore Action Home.SMstt_ID→State Model State.SMstt_ID
Moore Action Home.SM_ID→State Model State.SM_ID

R512.Mealy State Model IS RELATED TO Transition (1c:Mc)
Transition IS RELATED TO Mealy State Model
Mealy Action Home ASSOCIATES Mealy State Model AND Transition 1-(1c:Mc)

Formalization:
Mealy Action Home.SM_ID→Mealy State Model.SM_ID
Mealy Action Home.Trans_ID→Transition.Trans_ID
Mealy Action Home.SM_ID→Transition.SM_ID

R513.Action Home IS A (SUPERTYPE OF) Mealy Action Home
Action Home IS A (SUPERTYPE OF) Moore Action Home

Mealy Action Home IS A (SUBTYPE OF) Action Home
Moore Action Home IS A (SUBTYPE OF) Action Home

Formalization:
Mealy Action Home.Act_ID→Action Home.Act_ID
Mealy Action Home.SM_ID→Action Home.SM_ID
Moore Action Home.Act_ID→Action Home.Act_ID
Moore Action Home.SM_ID→Action Home.SM_ID

R514.Action RESIDES IN Action Home (1:1)
Action Home HOUSES Action

Formalization:
Action Home.Act_ID→Action.Act_ID
Action Home.SM_ID→Action.SM_ID

R515.State Model CONTAINS Action (1:Mc)
Action IS RELATED TO State Model

Formalization:
Action.SM_ID→State Model.SM_ID

R516.State Model Event Data Item IS CARRIED ON EVENTS INTO State Model (Mc:1)
State Model CAN ASYNCHRONOUSLY COMMUNICATE VIA State Model Event Data Item

Formalization:
State Model Event Data Item.SM_ID→State Model.SM_ID

R517.State Model IS A (SUPERTYPE OF) Assigner State Model
State Model IS A (SUPERTYPE OF) Instance State Model

Assigner State Model IS A (SUBTYPE OF) State Model
Instance State Model IS A (SUBTYPE OF) State Model

Formalization:
Assigner State Model.SM_ID→State Model.SM_ID
Instance State Model.SM_ID→State Model.SM_ID

R518.Instance State Model IS RELATED TO Object (1c:1)
Object IS RELATED TO Instance State Model

Formalization:
Instance State Model.Obj_ID→Object.Obj_ID

R519.Assigner State Model IS RELATED TO Object (1c:1)
Object IS RELATED TO Assigner State Model

Formalization:
Assigner State Model.Obj_ID→Object.Obj_ID

R520.Event Supplemental Data DEFINES SIGNATURE OF State Model Event (1:M)
State Model Event CARRIES Event Supplemental Data

Formalization:
State Model Event.SMspd_ID→Event Supplemental Data.SMspd_ID
State Model Event.SM_ID→Event Supplemental Data.SM_ID

R521.Event Supplemental Data IS DELIVERED BY RECEIVED EVENT TO State Model State (1c:Mc)
State Model State RECEIVES ASYNCHRONOUS DATA VIA Event Supplemental Data

Formalization:
State Model State.SMspd_ID→Event Supplemental Data.SMspd_ID
State Model State.SM_ID→Event Supplemental Data.SM_ID

R522.State Model Event Data Item MAKES UP Event Supplemental Data (Mc:Mc)
Event Supplemental Data IS MADE UP OF State Model Event Data Item
Supplemental Data Items ASSOCIATES State Model Event Data Item AND Event Supplemental Data 1-(Mc:Mc)

Formalization:
Supplemental Data Items.SMedi_ID→State Model Event Data Item.SMedi_ID
Supplemental Data Items.SM_ID→State Model Event Data Item.SM_ID
Supplemental Data Items.SMspd_ID→Event Supplemental Data.SMspd_ID
Supplemental Data Items.SM_ID→Event Supplemental Data.SM_ID

R523.State Model CONTAINS Event Supplemental Data (1:Mc)
Event Supplemental Data IS ASSIGNED TO State Model

Formalization:
Event Supplemental Data.SM_ID→State Model.SM_ID

R524.State Model Event Data Item IS DEFINED BY Data Type (Mc:1)
Data Type DEFINES THE TYPE OF State Model Event Data Item

Formalization:
State Model Event Data Item.DT_ID→Data Type.DT_ID