research-article

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

Authors:

Aharon Shtull-Trauring,

Mark TrakhtenbrotAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 16, Issue 4

Pages 403 - 414

https://doi.org/10.1109/32.54292

Published: 01 April 1990 Publication History

Abstract

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.

References

[1]

{1} A. K. Chandra and D. Harel, "Structure and Complexity of Relational Queries," J. Comput. Syst. Sci., vol. 25, pp. 99-128, 1982.

[2]

{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.

Digital Library

[3]

{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.

Digital Library

[4]

{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).

Digital Library

[5]

{5} D. Harel, "On visual formalisms," Commun. ACM, vol. 31, no. 5, pp. 514-530, 1980.

Digital Library

[6]

{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.

Digital Library

[7]

{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]

{8} D. J. Halley, "A structured analysis method for real-time systems," in Proc. DECUS Symp., Dec. 1985.

[9]

{9} D. J. Halley and I. Pirbhai, Strategies for Real-Time System Specification . New York: Dorset, 1987.

Digital Library

[10]

{10} J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.

Digital Library

[11]

{11} W. S. Humphrey and M. I. Keliner, "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.

Digital Library

[12]

{12} "The languages of STATEMATE," i-Logix Inc., Burlington, MA, Tech. Rep., 1987.

[13]

{13} "The STATEMATE approach to complex systems," i-Logix Inc., Burlington, MA, Tech. Rep., 1989.

[14]

{14} "The semantics of statecharts," i-Logix Inc., Burlington, MA, Tech. Rep., 1989.

[15]

{15} R. J. Lano, A Technique for Software and Systems Design (TRW Series on Software Engineering). Amsterdam, The Netherlands: North-Holland, 1979.

[16]

{16} J. Z. Lavi and E. Kessler, "An embedded computer systems analysis method," Manuscript, Israel Aircraft Industries, Nov. 1986.

[17]

{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]

{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.

Digital Library

[19]

{19} S. L. Smith and S. L. Gerhart, "STATEMATE and cruise control: A case<sup>2</sup> study," in Proc. COMPAC '88, 12th Int. IEEE Comput. Software and Applicat. Conf. New York: IEEE Press, 1988, pp. 49- 56.

[20]

{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.

Digital Library

[21]

{21} P. Ward and S. Mellor, Structured Development for Real-Time Systems . New York: Yourdon, 1985.

Digital Library

[22]

{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.

Cited By

Gonzalez-Barahona JDig DBryksin TGolubev YBezzubov A(2024)IDEs in the age of LLMs and XRProceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments10.1145/3643796.3648457(66-69)Online publication date: 20-Apr-2024
https://dl.acm.org/doi/10.1145/3643796.3648457
Wang SLin BSun ZWen MLiu YLei YMao X(2023)Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial NetworkProceedings of the ACM on Programming Languages10.1145/36228157:OOPSLA2(486-515)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622815
Wang SGeng MLin BSun ZWen MLiu YLi LBissyandé TMao XChandra SBlincoe KTonella P(2023)Natural Language to Code: How Far Are We?Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3616323(375-387)Online publication date: 30-Nov-2023
https://dl.acm.org/doi/10.1145/3611643.3616323
Show More Cited By

Index Terms

STATEMATE: A Working Environment for the Development of Complex Reactive Systems
1. Applied computing
  1. Computers in other domains
2. Software and its engineering

Recommendations

The STATEMATE semantics of statecharts

We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given ...
Finding Reusable UML Sequence Diagrams Automatically

Software analysts create many artifacts, and until recently, these have been cumbersome to reuse. REUSER is a CASE (computer-aided software engineering) tool that lets analysts automatically retrieve related artifacts for reuse. Evaluations of REUSER ...
STATEMATE to SCADE model translation
ISEC '08: Proceedings of the 1st India software engineering conference

Often organizations need to combine multiple tools for effective software development. For instance, some organizations prefer STATEMATE [3] for specification due to its friendly visual notation and asynchronous semantics, whereas they prefer SCADE [6] ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 16, Issue 4

April 1990

116 pages

ISSN:0098-5589

Editor:
Victor R. Basili
Univ. of Maryland, College Park

Issue’s Table of Contents

Copyright © Copyright © 1990 IEEE. All Rights Reserved.

Publisher

IEEE Press

Publication History

Published: 01 April 1990

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

224
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gonzalez-Barahona JDig DBryksin TGolubev YBezzubov A(2024)IDEs in the age of LLMs and XRProceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments10.1145/3643796.3648457(66-69)Online publication date: 20-Apr-2024
https://dl.acm.org/doi/10.1145/3643796.3648457
Wang SLin BSun ZWen MLiu YLei YMao X(2023)Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial NetworkProceedings of the ACM on Programming Languages10.1145/36228157:OOPSLA2(486-515)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622815
Wang SGeng MLin BSun ZWen MLiu YLi LBissyandé TMao XChandra SBlincoe KTonella P(2023)Natural Language to Code: How Far Are We?Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3616323(375-387)Online publication date: 30-Nov-2023
https://dl.acm.org/doi/10.1145/3611643.3616323
André ÉLiu SLiu YChoppy CSun JDong J(2023)Formalizing UML State Machines for Automated Verification – A SurveyACM Computing Surveys10.1145/357982155:13s(1-47)Online publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1145/3579821
Khorram FBousse EMottu JSunyé G(2022)Advanced testing and debugging support for reactive executable DSLsSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01025-w22:3(819-845)Online publication date: 25-Sep-2022
https://dl.acm.org/doi/10.1007/s10270-022-01025-w
Leroy DBousse EWimmer MMayerhofer TCombemale BSchwinger W(2020)Behavioral interfaces for executable DSLsSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00798-219:4(1015-1043)Online publication date: 1-Jul-2020
https://dl.acm.org/doi/10.1007/s10270-020-00798-2
Buck SZell A(2019)CSJournal of Intelligent and Robotic Systems10.1007/s10846-018-0831-794:2(371-387)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1007/s10846-018-0831-7
Bousse EMayerhofer TCombemale BBaudry B(2019)Advanced and efficient execution trace management for executable domain-specific modeling languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0598-518:1(385-421)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0598-5
Sathiaseelan ASelimi MMolina CLertsinsrubtavee ANavarro LFreitag FRamos FBaig RMartins RPaulino HVeiga L(2017)Towards decentralised resilient community cloudsProceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets10.1145/3152360.3152363(1-6)Online publication date: 11-Dec-2017
https://dl.acm.org/doi/10.1145/3152360.3152363
Gay GRayadurgam SHeimdahl M(2017)Automated Steering of Model-Based Test Oracles to Admit Real Program BehaviorsIEEE Transactions on Software Engineering10.1109/TSE.2016.261531143:6(531-555)Online publication date: 10-Jun-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2615311
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents