daVinci Graph for Object Behavior

The daVinci window graphically displays a final state machine determining the behavior of the company object (see the specification for details about the example). Each possible state in an object's life cycle is represented by a node. Transitions between states are labeled with event names. Therefore the set of events allowed in a state is restricted to match an outgoing edge. In this example, the current state (SetTime) can be identified by its yellow node color. States that are reachable in one step are marked green. Unreachable states are colored red.

Home|People|Teaching|Publications