A compositional real-time semantics of statemate designs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1536, Issue , 1998, Pages 186-238

  Damm, Werner ^a   Josko, Bernhard ^a   Hungar, Hardi ^a   Pnueli, Amir ^b  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949225743     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49213-5_8     Document Type: Conference Paper

References (24)

1. Martín Abadi and Leslie Lamport. Composing specifications. In Jaco W. de Bakker, Willem-Paul de Roever, and Grzegorz Rozenberg, editors, Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Lecture Notes in Computer Science 430, pages 1-41. Springer-Verlag, 1990.
2. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.
3. U. Brockmeyer and G. Wittich. Tamagotchis need not die - verification of State-mate designs. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), 1998. (To appear).
4. J.R. Burch, E.M. Clarke, K.L. McMillan, and D.L. Dill. Sequential circuit verification using symbolic model checking. In ACM/IEEE Design Automation Conference, June 1990.
5. 20 states and beyond. In Proceedings of theFifth Annual Symposium on Logic in Computer Science, pages 428-439, June 1990.
6. Werner Damm and Johannes Helbig. Linking visual formalisms: A compositional proof system for statecharts based on symbolic timing diagrams. In Proc. IFIP Working Conference on Programming Concepts, Methods and Calculi (PRO-COMET'94), pages 337-356, 1994.
7. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development od complex reactive systems. IEEE Transactions on Software Engineering, 16:403-414, 1990.
8. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. Technical Report CS95-31, The Weizmann Institute of Science, Rehovot, 1995.
9. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceeding IEEE Symposium, on Logic in Computer Science, pages 54-64, 1987.
10. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
11. David Harel. On visual formalism. CA CM, 31:514-530, 1988.
12. David Harel and Amir Pnueli. On the development of reactive systems. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI Series F13, pages 477-498. Springer-Verlag, 1985.
13. David Harel and Michal Politi. Modeling reactive systems with statecharts: The statemate approach. Technical report, 1996.
14. J.J.M. Hooman, S. Ramesh, and W.P. de Roever. A compositional axiomatization of statecharts. TCS, 101:289-335, 1992.
15. Bernhard Josko. Modular Specification and Verification of Reactive Systems. Habilitationsschrift, Universität Oldenburg, 1993.
16. Andrea Maggiolo-Schettini, Andriano Peron, and Simone Tini. Equivalences of statecharts. In CONCUR 96, Seventh Int. Conf. on Concurrency Theory, Pisa, LNCS 1119, pages 687-702. Springer-Verlag, 1996.
17. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.
18. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer-Verlag, 1992.
19. Kenneth L. McMillian. Symbolic Model Checking. An approach to the state explosion problem. PhD thesis, Carnegie Mellon University, Pittsburgh, 1992.
20. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 526. Springer-Verlag, 1991.
21. Amir Pnueli. In transition from global to modular temporal reasoning about programs. In K. R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI Series, Vol. F13, pages 123-144. Springer-Verlag, 1985.
22. Gerard Tel and Friedemann Mattern. The derivation of distributed termination detection algorithms from garbage collection schemes. In E.H.L. Aarts, J. van Leeuwen, and M. Rem, editors, PARLE'91 Parallel Architectures and Languages, Volume I: Parallel Architectures and Algorithms, Lecture Notes in Computer Science 505, pages 137-149. Springer-Verlag, 1991.
23. Andrew C. Uselton and Scott A. Smolka. A compositional semantics for statecharts using labeled transition systems. In CONCUR 94, LNCS 836, pages 2-17. Springer-Verlag, 1994.
24. M. van der Beek. A comparison of statechart variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, pages 128-148. Springer-Verlag, 1994.