Modelling recursive calls with UML state diagrams

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

Volumn 2621, Issue , 2003, Pages 135-149

  Tenzer, Jennifer ^a   Stevens, Perdita ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE ENGINEERING;

OBJECT-ORIENTED SOFTWARE SYSTEMS; STATE DIAGRAM;

OBJECT ORIENTED PROGRAMMING;

EID: 35248836469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_10     Document Type: Article

References (14)

1. R. Alur, K. Etessami, and M. Yannakakis. Analysis of recursive state machines. In Computer Aided Verification, pages 207-220, 2001.
2. M. Benedikt, P. Godefroid, and T.W. Reps. Model checking of unrestricted hierarchical state machines. In Automata, Languages and Programming, pages 652-666, 2001.
3. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison Wesley Longman, 1998.
4. E. Börger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: making semantic variation points and ambiguities explicit. In Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002, 2002.
5. M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.
6. R. Grosu, Yanhon A. Liu, S.A. Smolka, S.D. Stoller, and J. Yan. Automated software engineering using concurrent class machines. In Proc. of the 16th IEEE International Conference on Automated Software Engineering, ASE'01. IEEE, 2001.
7. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30:7:31-42, 1997.
8. S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 241-256, 2001.
9. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS'99, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999. Kluwer, 1999.
10. OMG. Unified Modeling Language Specification version 1.4, September 2001. OMG document formal/01-09-67 available from http://www.omg.org/technology/documents/formal/uml.htm.
11. U2 Partners. Unified Modeling Language 2.0 proposal, version 2 beta R1, September 2002.
12. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML active classes and associated state machines - A lightweight formal approach. In FASE 2000 - Fundamental Approaches to Software Engineering, volume 1783 of Lecture Notes in Computer Science, pages 127-146, 2000.
13. M. von der Beeck. Formalization of UML-Statecharts. In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 406-421, 2001.
14. Perdita Stevens with Rob Pooley. Using UML: software engineering with objects and components. Addison Wesley Longman, 1999 (updated edition).