StateModelRev05f.ppt - RJL rev. 050918 2
StateModel Design – 2:
StateModel.sch File (incomplete)
StateModel.sch File (incomplete)
SchemaVersion SV /* schema version containing this state mode */
{ /* SV Attributes: name, versionNo, lastModAuthor,
lasModDate*/
}
StateModel SM /* State Model for one Active Class ( TT000001 SM) */
{
SMid NA c8 1
/* pkey of this State Model */
SVid NA c8 1 /* fkey of Schema Version */
Abbrev NA i4 0 /* ttabbrev of Modeled Object? */
Name NA t80 0 /* Full Name or Description of SM */
}
State ST / *
One state or stage of behavior (
TT000002 ST) */
{
STid NA c8 1 /* pkey of this STat e */
SMid NA c8 1 /* fkey of parent State Model */
STname NA c32 0 /* a name to identify this state */
ARname NA c8 0 /*
Action Routine Name */
ARptr NA i4 0 /* Was
pointer, now integer index since 04s522) */
Descrip NA t80 0 /* Full Name or Description of State */
}
Transition TR /*
Allowable transition: STid1 to STid2 (TT000003 TR ) */
{
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) (TT000004 ET) */
{
ETid NA c8 1 /* pkey of Event Type */
SMid NA c8 1 /* State Model target of EventType */
Label NA c8 0 /* Event Type Name; syntax: <SM>E##:<name> */
Descrip NA t80 0
/* Event Type description */
}
EventEnable EN /* Relates Event Types to State Transitions (TT000005 EN)
*/
{
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 */
}