FIPSFSM: Difference between revisions

FIPSFSM (view source)

1,008 bytes removed , 13 October 2006

no edit summary

canmove, Confirmed users

937

edits

@@ Line 1: / Line 1: @@
 ''This is a draft document.''
-We use an extended finite state model called '''Statecharts''' to specify the operation of the NSS cryptographic module. [http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Statecharts.pdf Statecharts], invented by David Harel to solve the state explosion problem of complex systems, extend the finite state model with two concepts:
-* '''Hierarchical substates''' represent a refinement of a state, exposing more details. In addition to allowing us to specify a system's behavior at multiple levels of details, hierarchical substates can also reduce the number of transitions. A single transition leaving a composite state is equivalent to multiple transitions each leaving a hierarchical substate of the composite state. For example, transition 4.0 in our state transition diagram is such a transition.
-* '''Concurrent substates''' represent concurrent subsystems that operate in parallel.
-Statecharts have been adopted by the [http://www.uml.org/ Unified Modeling Language (UML)].
 ==Finite State Model==
-The state transition diagram of the NSS cryptographic module is shown below as a UML Statechart.
+The state transition diagram of the NSS cryptographic module is shown below.
 [[ Image:Fsm8.png ]]