Statemate: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering

Volumn 16, Issue 4, 1990, Pages 403-414

  Harel, David ^a,b,c   Lachover, Hagi ^a,c   Naamad, Amnon ^a,c   Pnueli, Amir ^a,b,c   Politi, Michal ^a,c   Sherman, Rivi ^a,c   Shtull Trauring, Aharon ^a,c   Trakhtenbrot, Mark ^a,c  

^a I Logix Inc   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c Ad Cad Ltd ^*  (Israel)

Author keywords

Code generation; executable specifications; functional decomposition; propotyping; reactive systems; statecharts; STATEMATE

Indexed keywords

COMPUTER GRAPHICS;

COMPLEX REACTIVE SYSTEMS; GRAPHICAL LANGUAGES; REACTIVE SYSTEMS; SOFTWARE DEVELOPMENT; SOFTWARE PACKAGE STATEMATE;

COMPUTER SOFTWARE;

EID: 0025416878     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.54292     Document Type: Article

References (22)

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. Merlin. “Optimal implementation of conjunctive queries in relational databases,” in Proc. 9th ACM Symp. Theory of Computing, Boulder, CO. 1977. pp. 77–90.
3. M. Graf, “Building a visual designer's environment,” in Principles of Visual Programming Systems, S.-K. Chang. Ed. Englewood Cliffs, nj: Prentice-Hall. 1990. pp. 291–325.
4. D. Harel, “Statecharts: A visual formalism for complex systems.” Sci. Comput. Program., vol. 8. pp. 231–274, 1987 (appeared in preliminary form as Rep. CS84-05. Weizmann Inst. Sci., Rehovot, Israel. Feb. 1984).
5. —, “On visual formalisms,” Commun. ACM. vol. 31. no. 5. pp. 514–530, 1980.
6. D. Harel and A. Pnueli, “On the development of reactive systems,” in Logics and Models of Concurrent Systems, K. R. Apt, Ed. 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,” in Proc. 2nd IEEE Symp. Logic in Computer Science. New York: IEEE Press, 1987. pp. 54–64.
8. D. J. Hatley, “A structured analysis method for real-time systems,” in Proc. DECUS Symp., Dec. 1985.
9. D. J. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. New York: Dorset. 1987.
10. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Reading. MA: Addison-Wesley, 1979.
11. W. S. Humphrey and M. I. Kellner, “Software process modeling: Principles of entity process models.” in Proc. 11th Int. Conf. Software Eng., Pittsburgh. PA. New York: IEEE Press. 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.” in Proc. 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 current trends.” in Current Trends in Concurrency (Lecture Notes in Computer Science, vol. 224). de Bakker et al., Eds. Berlin: Springer-Verlag. 1986. pp.510–584.
19. S. L. Smith and S. L. Gerhart. “STATEMATE and cruise control: A case2 study,” in Proc. COMPAC ’88, 12th Int. IEEE Comput. Software and Applicat. Conf. New York: IEEE Press. 1988. pp. 49–56.
20. P. Ward, “The transformation schema: An extension of the data flow diagram to represent control and timing,” IEEE Trans. Software Eng., vol. SE-12. pp. 198–210, 1986.
21. P. Ward and S. 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/SE1-89-TR-36, Dec. 1989.