This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
April 1990 (vol. 16 no. 4)
pp. 403-414

STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts, used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.

[1] A. K. Chandra and D. Harel, "Structure and Complexity of Relational Queries,"J. Comput. Syst. Sci., vol. 25, pp. 99-128, 1982.
[2] A. K. Chandra and P. M. Merlin, "Implementation of conjunctive queries in relational databases," inProc. 9th ACM SIGACT Symp. Theory of Computing, pp. 77-90.
[3] M. Graf, "Building a visual designer's environment," inPrinciples of Visual Programmiig Systems, S.-K. Chang, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1989, pp. 291-325.
[4] D. Harel, "Statecharts: A visual formalism for complex systems,"Sci. Comput. Program., vol. 8, pp. 231-274, 1987.
[5] Harel, D., "On Visual Formalisms,"Comm. ACM, Vol. 31, No. 5, 1988, pp. 514-530.
[6] D. Harel and A. Pnueli, "On the development of reactive systems" K.R. Apt, Ed.,Logics and Models of Concurrent Systems. New York: Springer-Verlag, 1985, pp. 477-498.
[7] D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman, "On the formal semantics of statecharts," inProc. 2nd IEEE Symp. Logic in Computer Science. New York: IEEE Press, 1987, pp. 54-64.
[8] D. J. Halley, "A structured analysis method for real-time systems," inProc. DECUS Symp., Dec. 1985.
[9] D.J. Hatley and I. Pirbhai,Strategies for Real-Time System Specification, Dorset House, New York, 1987.
[10] J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Mass., 1979.
[11] W. S. Humphrey and M. I. Kellner, "Software process modeling: Principles of entity process models," inProc. 11th Int. Conf. Software Eng., Pittsburgh, PA, May 1989, pp. 331-342.
[12] "The languages of STATEMATE," i-Logix Inc., Burlington, MA, Tech. Rep., 1987.
[13] "The STATEMATE approach to complex systems," i-Logix Inc., Burlington, MA, Tech. Rep., 1989.
[14] "The semantics of statecharts," i-Logix Inc., Burlington, MA, Tech. Rep., 1989.
[15] R. J. Lano,A Technique for Software and Systems Design (TRW Series on Software Engineering). Amsterdam, The Netherlands: North-Holland, 1979.
[16] J. Z. Lavi and E. Kessler, "An embedded computer systems analysis method," Manuscript, Israel Aircraft Industries, Nov. 1986.
[17] J. Z. Lavi and M. Winokur, "ECSAM--A method for the analysis of complex embedded systems and their software," inProc. Structured Techniques Assoc. Conf. STA5, Univ. Chicago, Chicago, IL, May 1989, pp. 50-63.
[18] A. Pnueli, "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of CurrentTrends," inCurrent Trends in Concurrency: Overviews and Tutorials. W.-P. de Roever and G. Rozenberg, eds., Lecture Notes in Computer Science 224, Springer-Verlag, N.Y., 1986, pp. 510-584.
[19] S. Smith and S. Gerhart, "STATEMATE and cruise control: A case2study," inProc. COMPAC'88, 12th Int. IEEE Computer Software and Application Conf., 1988, pp. 49-56.
[20] P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
[21] P. T. Ward and S. J. Mellor,Structured Development for Real-Time Systems. New York: Yourdon, 1985.
[22] D. P. Wood and W. G. Wood, "Comparative evaluations of four specification methods for real-time systems,"Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, Tech. Rep. CMU/SEI-89- TR-36, Dec. 1989.

Index Terms:
STATEMATE; working environment; development; complex reactive systems; graphical orientation; specification; analysis; design; documentation; debug diagrammatic; functionality; behavior; graphical languages; statecharts; programming environments; software engineering; systems analysis.
Citation:
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, vol. 16, no. 4, pp. 403-414, April 1990, doi:10.1109/32.54292
Usage of this product signifies your acceptance of the Terms of Use.