Improvements towards formalizing UML state diagrams in CSP
- 1 January 2005
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 7 pp.-184
- https://doi.org/10.1109/apsec.2005.70
Abstract
The Unified Modelling Language (UML) includes a variant of state charts, called state diagrams (SD), for modelling systems with complex interactive behaviour. The official definition of UML specifies the abstract syntax of state diagrams without any formal semantics and hence is unable to perform formal system behaviour analysis. Various attempts have been made to provide such a formal basis for UML state diagrams. Among different attempts, the work reported in [Muan Yong Ng et al. (2003)] is formalizing SD in terms of communicating sequential processes (CSP). In this paper, we present some improvements upon the formalization. The improvements help clarify the semantics of UML SD and make the formalization more complete. Furthermore, we illustrate the use of CSP in reasoning about the equivalence of state diagrams and discuss the benefits of the formalization.Keywords
This publication has 8 references indexed in Scilit:
- A general framework for formalizing UML with formal languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Model checking UML statechartsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- An Approach to Formalizing the Semantics of UML StatechartsLecture Notes in Computer Science, 2004
- Towards formalizing UML state diagrams in CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formalization of UML statechart diagrams in the π-calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formalizing UML Models with Object-ZLecture Notes in Computer Science, 2002
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checkerFormal Aspects of Computing, 1999
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987