StateModelRev05f.ppt - RJL rev. 050918 15
StateModel Design -
14
-
TRansition, EventType, Enable
(hyper-linked from the Data Model)
TRansition, EventType, Enable
(hyper-linked from the Data Model)
Transition TR /* Allowable transition: STid1 to
STid2 */
{
TRid NA c8 1 /* pkey of this State Transition */
STid1 NA c8 1 /* Transition Source or 'From' State */
STid2 NA c8 1 /* Transition Destination or 'To' State */
}
EventType ET /* Event Type (asynchronous message type) */
{
/*TBD: M-to-N-Associate ET with sender ACid1, receiver ACid2 */
ETid NA c8 1 /* pkey of Event Type */
SMid NA c8 1 /* State Model target of EventType */
Label NA c8 0 /* Event Type Name (<SM>E##:<name>)*/
Descrip NA t80 0
/* Event Type description */
}
EventEnable EN /*
Relates Event Types to State Transitions */
{
ENid NA c8 1 /* pkey of ENable relation (ET to TR) */
ETid NA c8 1 /* fkey to Event Type */
TRid NA c8 1 /* fkey of enabled State Transition */
}