StateModelRev05f.ppt - RJL rev. 050918  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:
•Each TTabbrev produces a primary key (pkey) attribute:
•Each 1:M relationship produces a foreign key (fkey);
•Attribute formats and descriptions must also be acquired:              These are added on this diagram or directly to file StateModel.sch, which  comprises a Data Dictionary of entities, classes, relations and attributes.
•This state model belongs to the LCP namespace subschema,          which also includes Tables AC, AI and EI
(In BDE: draw non-key attributes only;
primary and foreign keys are implicit)
ActionRoutine AR
ARname
ARdescription
 //Alternate home for   //ST’s AR attributes
FuncPtr Array[ ]
(LCP-declared;
 link-time-updated;
 index initialized in ST)
TBD: ES: Event Type Signature  (Actual Args)         
FormalParam FP
(TBD: Constraints on
  actual args in EI)