Chapter 1

Sample transition diagram for file-manipulation actions. Link labels indicate how frequently each transition is made. 5.2.4 Statecharts. Staechart of a simplified bank transaction system showing grouping of states. Statecharts have several virtues in specifying interfaces. This example shows a secure switch with bitmaps of the states at each node. ................
................