Article

Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment

Authors:

Jörn W. JanneckAuthors Info & Claims

DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference

Pages 320 - 334

Published: 18 April 2002 Publication History

Abstract

In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics are specified by an Abstract State Machine (ASM) parameterized with syntactically-correct attributed graphs. In this paper the key issues in the definition of UML statechart semantics are highlighted.

References

[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. In Y. 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 in UML Models: 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 13th World 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 (FMOODS'99) , 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, UML'99 - 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 (WIFT'98) , 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.

Cited By

Taleghani AAtlee J(2006)Semantic variations among UML statemachinesProceedings of the 9th international conference on Model Driven Engineering Languages and Systems10.1007/11880240_18(245-259)Online publication date: 1-Oct-2006
https://dl.acm.org/doi/10.1007/11880240_18
Jin YEsser RLakos C(2003)Lightweight consistency analysis of dataflow process networksProceedings of the 26th Australasian computer science conference - Volume 1610.5555/783106.783139(291-300)Online publication date: 1-Feb-2003
https://dl.acm.org/doi/10.5555/783106.783139
Jin YEsser RLakos CJanneck J(2003)Modular analysis of dataflow process networksProceedings of the 6th international conference on Fundamental approaches to software engineering10.5555/1762980.1762999(184-199)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1762980.1762999
Show More Cited By

Recommendations

A method for describing the syntax and semantics of UML statecharts

In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as attributed graphs, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the ...
Formalizing the Semantics of UML Statecharts with Z*
CIT '04: Proceedings of the The Fourth International Conference on Computer and Information Technology

UML is a semi-formal laguage, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML statechart diagrams are a notation for describing behaviors in the framework of UML. UML statechart diagrams ...
A UML statecharts semantics with message-passing
SAC '02: Proceedings of the 2002 ACM symposium on Applied computing

We give a formal semantics for one of the main UML diagram types for dynamical system behavior: statechart diagrams. This is the first semantics which explicitly models message-passing between different diagrams. It therefore lays a first foundation for ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference

April 2002

359 pages

ISBN:3540435611

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 April 2002

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Taleghani AAtlee J(2006)Semantic variations among UML statemachinesProceedings of the 9th international conference on Model Driven Engineering Languages and Systems10.1007/11880240_18(245-259)Online publication date: 1-Oct-2006
https://dl.acm.org/doi/10.1007/11880240_18
Jin YEsser RLakos C(2003)Lightweight consistency analysis of dataflow process networksProceedings of the 26th Australasian computer science conference - Volume 1610.5555/783106.783139(291-300)Online publication date: 1-Feb-2003
https://dl.acm.org/doi/10.5555/783106.783139
Jin YEsser RLakos CJanneck J(2003)Modular analysis of dataflow process networksProceedings of the 6th international conference on Fundamental approaches to software engineering10.5555/1762980.1762999(184-199)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1762980.1762999
Börger ECavarra ARiccobene ELamont GHaddad HPapadopoulos GPanda B(2003)Modeling the meaning of transitions from and to concurrent states in UML state machinesProceedings of the 2003 ACM symposium on Applied computing10.1145/952532.952745(1086-1091)Online publication date: 9-Mar-2003
https://dl.acm.org/doi/10.1145/952532.952745

View Options

View options

Figures

Tables

Media

View Table of Conten