| OCR Text |
Show 24 descriptions and the purpose for these fields can be f ound in the ASSASSIN system, since this is where these structures originate . "Defstruct" Graph, Arc and List contain the geometrical shapes and the locations of states and transition arcs which a designer gradually entered in to a design. The following describes each type of data structure: The structure and behavior of a state is described by the following data structure: DefStruct(State(!:Constructor(MkState),!:Prefix(State!-)), State- Name (NIL), Start-State (NIL), Predecessors (NIL), Join- Predecessors (NIL), Immediate-Predecessor (NIL), Successors (NIL), Unconditional-Outputs (NIL), Conditional-Outputs (NIL), State-State (NIL), Graph (NIL))$% graphical structure where the State- Name is an unique name which is manually entered to be part of the state machine by a designer. The system keeps all these identifiers in the database so that no duplications will happen. GCS thus accesses the database by using these names. The transition(s) from one state to another can only be made if the "from state" and the "to state" are present in the database. The transition "Defstruct" describes the transition behavior and is attached to a field of the state where it comes from. The following describes the fields of a transition |
