StateModelRev05f.ppt - RJL rev. 050918 4
StateModel Design – 4
Use of Sparse Diagram Style:
Add AC, ES + (dynamic) AI, EI
Use of Sparse Diagram Style:
Add AC, ES + (dynamic) AI, EI
Note:
This .ppt
imitates the Data Modeling style of
the Block Diagram Editor
(COOL-BDE), a directed graph of nodes and links. These form the skeleton of an RDB schema StateModel.sch, which declares entity classes, relations and attributes.
FunctionArray[ ]
(Textually declared and
link-time-updated, with
index
installed in ST)
NS NameSpace (TBD)
SV SchemaVersion
SM StateModel
AC ActiveClass
AI ActiveInstance
ET EventType
EI
AC
AI
out
in
ES (TBD)
Indexed,
not keyed,
in ST or FP.
SA
FP
ST State
SA StateAction
TR Transition
EN Enable
EI EventInstance
ES EtypeSignature (TBD)
FP FormalParameter (TBD)
List of Table
Types: