StateModelRev05s.ppt - RJL rev. 050207  1
StateModel Design - 1
Data Stucture Diagram (DSD/EERD)
StateModel SM
abbrev
name
SMdescription
EventType ET
label
ETdescription
State  ST
stateName
ARname
ARptr (FPindex) * 
STdescription
Transition TR
EventLabel
TRdescription
Enable EN
SchemaVersion SV
SchemaName
VersionNo
LastModAuthor
LastModDate
Each table must have a unique two-letter abbreviation ttabbr:
SchemaVersion: SV; StateModel: SM; STate: ST; TRansition: TR; EventType: ET; ENable; EN; FunctionTable FT; StateFunction SF.
Each TTabbrev produces a primary key (pkey) attribute:
SV ->SVid; SM -> SMid; ST -> STid; TR -> TRid;
ET ->ETid; EN -> ENid; FT -> FTid; SF -> SFid.
Each 1:M relationship produces a foreign key (fkey):
SV--->SM => ST.SMid; ST-->TR => TR:STid1 + TR:STid2;
ET--->EN => EN.ETid;  TR-->EN => EN.TRid; SM--->FT => FT.SMid;
ST-->SF => SF.STid; FT--->SF => SF.Tid.
Attribute formats and descriptions must also be acquired:
When these are added, file StateModel.sch comprises a
Data Dictionary  of entities, classes, relations and attributes.
(Enter non-key
attributes only;
primary and
foreign keys
are implicit)
FuncTable FT
      (Action Routine)___         
ARname
ARdescription
[ARptr = index to FPArray]
StateFunction SF
(Source & Target ACid#)
*(Mutex Alt sequence
    via child_loop)
FuncPtr 
Array[ ]
(LCP-declared;
 link-time-updated;
 index initialized in ST)
TBD: Event
Type Signatures