Formalization of UML-Statecharts-Reference-Cited by-同舟云学术

Formalization of UML-Statecharts

Published:2001 Issue: Volume: Page:406-421
ISSN:0302-9743
Container-title:≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools
language:
Short-container-title:

Author:

von der Beeck Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45441-1_30

Reference22 articles.

1. K. Compton, J. Huggins, and W. Shen. A Semantic Model for the State Machine in the Unified Modeling Language. In Proc. Dynamic Behaviour in UML Models: Semantic Questions, pages 25–31. LMU München, Institut für Informatik, Bericht 0006, 2000.

2. Lect Notes Comput Sci;G. Engels,2000

3. Lect Notes Comput Sci;A. Evans,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ät München, TUM-I9803, 1998.

5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards model checking executable UML specifications in mCRL2;Innovations in Systems and Software Engineering;2010-02-07

2. Are Statecharts Finite Automata?;Implementation and Application of Automata;2009

3. On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams;Formal Aspects of Computing;2006-12

4. Explicit modeling of semantics associated with composite states in UML statecharts;Automated Software Engineering;2006-10

5. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures;SOFSEM 2005: Theory and Practice of Computer Science;2005