Statecharts via process algebra

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

Volumn 1664 LNCS, Issue , 1999, Pages 399-414

  Lüttgen, Gerald ^a   Von Der Beeck, Michael ^b   Cleaveland, Rance ^c  

^a NASA LANGLEY RESEARCH CENTER   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; EMBEDDED SYSTEMS; SEMANTICS;

BEHAVIORAL EQUIVALENCE; BISIMULATIONS; DESIGN NOTATIONS; PROCESS ALGEBRAS; PROCESS LANGUAGES; REACTIVE SYSTEM; STATECHARTS; STRUCTURE-PRESERVING;

VISUAL LANGUAGES;

EID: 28444482027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_28     Document Type: Conference Paper

References (28)

1. J.C.M. Baeten and W.P. Weijland. Process Algebra, vol. 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
2. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87-152, 1992.
3. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25-59, 1987.
4. R. Cleaveland, G. Lüttgen, and V. Natarajan. Priority in process algebra. In Handbook of Process Algebra. Elsevier, 1999.
5. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In CAV '96, vol. 1102 of LNCS, pages 394-397, 1996. Springer Verlag.
6. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In Compositionality: The Significant Difference, vol. 1536 of LNCS, pages 186-238, 1997. Springer Verlag.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
8. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering, 5(4):293-333, 1996.
9. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of Statecharts. In LICS '87, pages 56-64, 1987. IEEE Computer Society Press.
10. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATE- MATE Approach. McGraw Hill, 1998.
11. M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221-239, 1995.
12. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
13. G.J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
14. J.J.M. Hooman, S. Ramesh, and W.-P. de Roever. A compositional axiomatization of Statecharts. Theoretical Computer Science, 101:289-335, 1992.
15. C. Huizing. Semantics of Reactive Systems: Comparison and Full Abstraction. PhD thesis, Eindhoven University of Technology, 1991.
16. F. Levi. Verification of Temporal and Real-Time Properties of Statecharts. PhD thesis, University of Pisa-Genova-Udine, 1997.
17. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In CONCUR '96, vol. 1119 of LNCS, pages 687-702, 1996. Springer Verlag.
18. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR '92, vol. 630 of LNCS, pages 550-564, 1992. Springer Verlag.
19. E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by STATEMATE. In Second BCS-FACS Northern Formal Methods Workshop, 1997. Springer Verlag.
20. E. Mikk, Y. Lakhnech, M. Siegel, and G.J. Holzmann. Verifying Statecharts with Spin. In WIFT '98, 1998. IEEE Computer Society Press.
21. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
22. A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In TACS '91, vol. 526 of LNCS, pages 244-264, 1991. Springer Verlag.
23. P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD thesis, Munich University of Technology, 1998.
24. A.C. Uselton and S.A. Smolka. A compositional semantics for Statecharts using labeled transition systems. In CONCUR '94, vol. 836 of LNCS, pages 2-17, 1994. Springer Verlag.
25. A.C. Uselton and S.A. Smolka. A process-algebraic semantics for Statecharts via state refinement. In PROCOMET '94. North Holland/Elsevier, 1994.
26. M. v.d. Beeck. A comparison of Statecharts variants. In FTRTFT '94, vol. 863 of LNCS, pages 128-148, 1994. Springer Verlag.
27. C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. Nordic Journal of Computing, 2:274-302, 1995.
28. W. Yi. CCS + time = an interleaving model for real time systems. In ICALP '91, vol. 510 of LNCS, pages 217-228, 1991. Springer Verlag.