Formalization of UML-statecharts

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

Volumn 2185, Issue , 2001, Pages 406-421

  Von Der Beeck, Michael ^a  

^a BMW GROUP   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

GRAPHICAL NOTATION; INTER-LEVEL TRANSITIONS; LABELED TRANSITION SYSTEMS; RELATED WORKS; STRUCTURED OPERATIONAL SEMANTICS; SYNTAX DEFINITION; UML DIAGRAMS; UML STATECHARTS;

UNIFIED MODELING LANGUAGE;

EID: 84948994883     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_30     Document Type: Conference Paper

References (22)

1. K. Compton, J. Huggins, andW. Shen. ASemantic Model for the State Machine in the Unified Modeling Language. In Proc. Dynamic Behaviour in UML Models: Semantic Questions, pages 25-31. LMU M¨unchen, Institut f¨ur Informatik, Bericht 0006, 2000
2. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 323-337. Springer, 2000
3. A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS. Springer, 1999
4. M. Gogolla and F. Parisi Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universit¨at München, TUM-I9803, 1998
5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987
6. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering, 5(4):293-333, October 1996
7. G. Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 528-540. Springer, 2000
8. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML Statechart diagrams. In Formal Methods for Open Object-based Distributed Systems. Chapman & Hall, 1999
9. G. Lüttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In Concurrency Theory (CONCUR’99), volume 1664 of Lecture Notes in Computer Science, pages 399-414. Springer-Verlag, 1999
10. G. Lüttgen, M. von der Beeck, and R. Cleaveland. A Compositional Approach to Statecharts Semantics. In Proc. of ACM SIGSOFT Eighth Int. Symp. on the Foundations of Software Engineering (FSE-8), pages 120-129. ACM, 2000
11. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In U. Montanari andV. Sassone, editors, CONCUR’96 (Concurrency Theory), volume 1119 of Lecture Notes in Computer Science, pages 687-702, Pisa, Italy, August 1996. Springer-Verlag
12. E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for Statecharts. In Proceedings of Asian Computing Science Conference (ASIAN’97), volume 1345 of Lecture Notes in Computer Science. Springer-Verlag, December 1997
13. OMG. OMG Unified Modeling Language Specification. Version 1.3 alpha R5, 1999
14. P. Padawitz. Swinging UML: How to make class diagrams and state machines amenable to constraint solving and proving. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 162-177. Springer, 2000
15. I. Paltor and J. Lilius. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard., volume 1723 of LNCS. Springer, 1999
16. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark, 1981
17. A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In Theoretical Aspects of Computer Software (TACS’91), volume 526 of Lecture Notes in Computer Science, pages 244-264. Springer-Verlag, 1991
18. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UMLActive Classes and Associated State Machines-A Lightwight Formal Approach. In Fundamental Approaches to Software Engineering, number 1783 in LNCS, pages 127-146. Springer, 2000
19. G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supportin its Multiview Approach. In Proceedings Dynamic Behaviour in UML Models: Semantic Questions, pages 86-91. Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 0006, 2000
20. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998
21. A. Uselton and S. Smolka. A compositional semantics for Statecharts using labeled transition systems. In B. Jonsson and J. Parrow, editors, CONCUR’94 (Concurrency Theory), volume 836 of Lecture Notes in Computer Science, pages 2-17. Springer-Verlag, 1994
22. M. von der Beeck. A Concise Compositional Statecharts Semantics Definition. In Proc. of FORTE/PSTV 2000, pages 335-350. Kluwer, 2000