eberard@ajpo.sei.cmu.edu (Edward Berard) (10/20/89)
Folks, I have received only one response to my original query for _general_ references on state transition diagrams. Here it is. -- Ed Berard (301) 353-9652 -------------------------------- In comp.software-eng you asked for general references on state transition diagrams. Here are a few, including some notations that add extensions to the simple Mealy/Moore machines... I'd like to see a summary to the net of whatever you come up with. Fred Eddy (a.k.a. "Fast Eddy") [Rumbaugh-88] James Rumbaugh. State trees as structured finite state machines for user interfaces. ACM SIGGRAPH Symposium on User Interface Software, Banff, Alberta, October 17-19, 1988. [Harel-88a] D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman and A. Shtul-Trauring. STATEMATE: A working environment for the development of complex reactive systems. Proceedings of 10th IEEE International Conference on Software Engineering, Singapore, April 1988. [Harel-88b] David Harel. On visual formalisms. Communications of. ACM 31, 5 (May 1988), 514-530. [Harel-87] David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (1987), 231-274. [Davis-88] Alan M. Davis. A comparison of techniques for the specification of external system behavior. Communications of ACM 31, 9, 1098-1115. [Shlaer-88] Sally Shlaer, Stephen J. Mellor. Modeling the World in Data. Yourdon Press, 1988. Note: See Chapter 9, pp. 93-95 for a very brief description of the use of state diagrams to model object behavior.