|
|
|
| SchemaVersion
table entry omitted; EventType.Label field syntax |
||
| restructured as in the
revised ChkgAcct.ppt case study. |
||
| (Generate this
file from ST, TR and ET declared as strings.) |
||
| State
Model Name: TS:Two-State |
| ET01:TSSet |
|
|
| TSS0:OFF |
|
| no-op |
|
|
|
| TSS1:ON |
|
| no-op |
|
| ET02:TSReset |
| BDE |
| TwoStateSM.bde |
| bde2sch |
| TwoStateSM.sch: |
| StateModelRev05f.ppt - RJL
rev. 050918 12 |