enCruft App Canonical Analysis


Variables
Canonical
Sequence
Enabled Chooser Thread IO Edited Query
λ
IN N
IN O N Active Open
IN N N Active New
IN O FA N Y
IN O FA OK Y N
IN O FA OK O Y Active Open N
IN O FA OK N Y Active New N
IN O FA OK R Y Active Rename N
IN O FA OK E Y Y
IN O FA OK O FS Y Open Y N
IN O FA OK N FS Y New Y N
IN O FA OK R FS Y Rename Y N
IN O FA OK E O Y Open Y
IN O FA OK E N Y New Y
IN O FA OK E R Y Rename Y
IN O FA OK E S Y Save Y
IN O FA OK E V Y reVert Y Y
IN O FA OK E X Y eXit Y
IN O FA OK E O ER Y Open Y Active
IN O FA OK E N ER Y New Y Active
IN O FA OK E R ER Y Rename Y Active
IN O FA OK E X ER Y eXit Y Active

Since the variables Chooser, Thread, IO, and Query all embody state information about current thread. These are eliminated for the state variables are actually used in the state machine, the above analysis is still useful for specifying the response functions.

Variables
Canonical
Sequence
Enabled Edited
λ
IN N
IN O FA OK Y N
IN O FA OK E Y Y




¤   4037 General Bate Drive    ¤   Nashville, TN 37204    ¤
¤   Phone: (615) 292-6496    ¤   Fax: (615) 386-9243    ¤    info@elucidsoft.net     ¤
This documentation was created by the staff of eLucid Software.  The content of these pages is Copyright © 2002 by eLucid Software, all rights reserved, unless otherwise noted.  Send comments, corrections, and suggestions to the author.