Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment

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

Volumn 2317, Issue , 2002, Pages 320-334

  Jin, Yan ^a   Esser, Robert ^a   Janneck, Jörn W ^b  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION LANGUAGES; GRAPHIC METHODS; MODELING LANGUAGES; SEMANTICS; SYNTACTICS; VISUAL LANGUAGES;

ABSTRACT STATE MACHINES; ABSTRACT SYNTAX; ATTRIBUTED GRAPHS; GENERIC APPROACH; HETEROGENEOUS MODELLING; LANGUAGE SEMANTICS; UML STATECHART DIAGRAMS; WELL FORMEDNESS RULES; UML STATECHARTS; WELL-FORMEDNESS RULES;

VISUAL LANGUAGES; GRAPHIC METHODS;

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

References (17)

1. ASM Michigan web page. http://www.eecs.umich.edu/gasm/.
2. Moses project, Computer Engineering and Communications Laboratory, ETH Zurich. http://www.tik.ee.ethz.ch/moses.
3. E. Börger, A. Cavarra, and E. Riccobene. Modeling the Dynamics of UML State Machines. InY. Gurevich and P. Kutter and M. Odersky and L. Thiele, editor, Abstract State Machines: Theory and Applications, LNCS 1912, pages 223-241. Springer-Verlag, 2000.
4. K. Compton, J. Huggins, and W. Shen. A semantic model for the state machine in the Unified Modeling Language. In Proceeding of Dynamic Behavior inUMLModels: Semantic Questions, UML 2000 workshop, pages 25-31, York, England, October 2000.
5. R. Esser and J. W. Janneck. Moses -a tool suite for visual modelling of discrete-event systems. In Symposium on Visual/Multimedia Approaches to Programming and Software Engineering, HCC01, 2001.
6. Y. Gurevich. Evolving Algebras. In B. Pehrson and I. Simon, editors, IFIP 13thWorld Computer Congress, volume I: Technology/Foundations, pages 423-427, Elsevier, Amsterdam, Netherlands, 1994.
7. D. Harel and A. Naamad. The STATEMATE Semantics of Satecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, October 1996.
8. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54-64. IEEE Computer Society Press, 1987.
9. J.W. Janneck. Graph-type Definition Language (GTDL) -Specification. Technical report, Computer Engineering and Networks Laboratory, ETH Zurich, 2000.
10. J.W. Janneck. Syntax and semantics of graphs -An approach to the specification of visual notations for discrete-event systems. PhD thesis, ETH Zurich, June 2000.
11. J.W. Janneck and R. Esser. A predicate-based approach to defining visual language syntax. In Symposium on Visual Languages and Formal Methods, HCC01, Stresa, Italy, September 2001.
12. J. W. Janneck and P. W. Kutter. Mapping automata -simple abstract state machines. In Proceedings of ASM 2000, 2000.
13. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proceedings of IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS99), Florence, Italy, February 1999. Kluwer.
14. J. Lilius and I. P. Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML99 -The Unified Modeling Language. Beyond the Standard., LNCS 1723, pages 430-445, Fort Collins, CO, USA, October 1999. Springer.
15. E. Mikk, Y. Lahnech, M. Siegel, and G. Holzmann. Implementing Statecharts in Promela/SPIN. In Workshop on Industrial-Strength Formal Specifications Techniques (WIFT98), Boca Raton, FL, USA, 1998. IEEE Computer Society Press.
16. The Object Management Group. OMG Unified Modeling Language Specification, September 2001. Version 1.4, http://www.omg.org.
17. T. Schäfer, A. Knapp, and S. Merz. Model Checking UML State Machines and Collaborations. In Electronic Notes in Theoretical Computer Science, volume 47, pages 1-13. Elsevier Science B. V., 2001.