A compositional semantics for statecharts using labeled transition systems

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

Volumn 836 LNCS, Issue , 1994, Pages 2-17

  Uselton, Andrew C ^a   Smolka, Scott A ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MAPPING; SET THEORY;

COMPOSITIONAL SEMANTICS; LABELED TRANSITION SYSTEMS; SEMANTIC MAPPING; STATECHARTS;

SEMANTICS;

EID: 0039101842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48654-1_2     Document Type: Conference Paper

References (12)

1. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231-274, 1987.
2. C. Huising, R. Gerth, and W. P. de Roever. Modeling statecharts behavior in a fully abstract way. In Proc. 13th CAAP, number 299 in Lecture Notes in Computer Science, pages 271-294. Springer Verlag, 1989.
3. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Sytems, number 133 in NATO ASI series, pages 477-498, Berlin, 1985. Springer-Verlag.
4. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of statecharts. Proc. 2nd IEEE Symposium on Logic in Computer Science, pages 54-64, 1987.
5. J. J. M. Hooman, S. Ramesh, and W. P. de Roever. A compositional axiomatisation of statecharts. Theoretical Computer Science, 101: 289-335, July 1992.
6. F. Maraninchi. The Argos language: graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages, 1991.
7. F. Maraninchi. Operational and compositional semantics of synchronous automaton composition. In Proceedings of CONCUR ‘82 - Third International Conference on Concurrency Theory, 1992.
8. A. Peron. Synchronous and Asynchronous Models for Statecharts. PhD thesis, Universita di Pisa-Genova-Udine, 1993.
9. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In et. al. de Baker, editor, Current Trends in Concurrency, number 224 in Lecture Notes inComputer Science, pages 510-584, 1986.
10. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Theoretical Aspects of Computer Software, number 526 in Lecture Notes inComputer Science, pages 244-264, 1991.
11. A. C. Uselton and S. A. Smolka. State refinement in process algebra. In Proceedings of the North American Process Algebra Workshop, Ithaca, New York, August 1993. Available as TR 93-1369, Department of Computer Science, Cornell University.
12. A. C. Uselton and S. A. Smolka. A process algebraic semantics for state-charts via state refinement. In Proceedings of IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1994. To appear.