Communication concepts for statecharts: A semantic foundation

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

Volumn 1231, Issue , 1997, Pages 126-140

  Scholz, Peter ^a   Nazareth, Dieter ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b BMW AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

FEEDBACK OPERATORS; PARALLEL COMPOSITION; PARALLEL COMPOSITION OPERATORS; SCOPING; SEMANTIC FOUNDATION; SIGNAL SHARING; STATECHARTS; STREAM PROCESSING;

REAL TIME SYSTEMS;

EID: 84958763358     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63010-4_9     Document Type: Conference Paper

References (18)

1. G. Berry. Constructive Semantics of Esterel: From Theory to Practice. In Algebraic Methodology and Software Technology, 5th Int. Conference AMAST'96, volume 1101 of Lecture Notes in Computer Science. Springer, 1996.
2. M. Broy. Algebraic Specification of Reactive Systems. In Algebraic Methodology and Software Technology, 5th Int. Conference AMAST'96, volume 1101 of Lecture Notes in Computer Science. Springer, 1996.
3. E.M. Clark and E.A. Emerson. Characterizing Properties of Parallel Programs as Fixpoints, volume 85 of Lecture Notes in Computer Science, pages 169-181. Springer, 1981.
4. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
5. D. Harel. Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16:403-413, 1990.
6. C. Huizing and W.-P. de Roever. Introduction to Design Choices in the Semantics of Statecharts. Information Processing Letters, 37, 1991.
7. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. Submitted to: ACM Transations Software Engineering Methods, 1995.
8. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions on Software Engineering Method, 1996.
9. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the Formal Semantics of Statecharts. Proceedings on the Symposium on Logic in Computer Science, pages 54-64, 1987.
10. i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate, 1990.
11. F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions, volume 630 of Lecture Notes in Computer Science, pages 550 - 564. Springer-Verlag, 1992.
12. F. Maraninchi and N. Halbwachs. Compositional Semantics of Non-deterministic Synchronous Languages. ESOP'96, 1996.
13. D. Nazareth, F. Regensburger, and P. Scholz. Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universität München, D-80290 München, 1996.
14. J. Philipps and P. Scholz. Compositional Specification of Embedded Systems with Statecharts. TAPSOFT'97, 1997.
15. J. Philipps and P. Scholz. Formal Verification of Statecharts with Instantaneous Chain Reactions. TACAS'97, 1997.
16. J. Philipps and P. Scholz. System-Level Hardware Design with μ-Charts. CHDL'97, 1997.
17. P. Scholz, D. Nazareth, and F. Regensburger. Mini-Statecharts: A Compositional Way to Model Parallel Systems. PDCS'96, 1996.
18. M. von der Beeck. A Comparison of Statecharts Variants, volume 863 of Lecture Notes in Computer Science, pages 128-148. Springer, 1994.