[comp.software-eng] General References for State Transition Diagrams

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.