Improvements towards formalizing UML state diagrams in CSP

Document Type

Conference paper

Source Publication

Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05

Publication Date

1-1-2005

First Page

176

Last Page

182

Publisher

IEEE Computer Society

Abstract

The Unified Modelling Language (UML) includes a variant of Statecharts [5], 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 [14] 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.

DOI

10.1109/APSEC.2005.70

Print ISSN

15301362

Publisher Statement

Copyright © 2005 IEEE. Access to external full text or publisher's version may require subscription.

Additional Information

Paper presented at the 12th Asia-Pacific Software Engineering Conference (APSEC'05), 15-17 December 2005, Taipei, Taiwan.

ISBN of the source publication: 9780769524658

Full-text Version

Publisher’s Version

Language

English

Recommended Citation

Yeung, W. L., Leung, K. R. P. H., Wang, J., & Dong, W. (2005). Improvements towards formalizing UML state diagrams in CSP. In Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05 (pp. 176-182). Los Alamitos: IEEE Computer Society. doi: 10.1109/APSEC.2005.70

Share

COinS