Improvements towards formalizing UML state diagrams in CSP

Wing Lok YEUNG, R. P. H., Karl LEUNG, Ji WANG, Wei DONG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

19 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05
PublisherIEEE Computer Society
Pages176-182
Number of pages7
DOIs
Publication statusPublished - 1 Jan 2005

Fingerprint

Unified Modeling Language
Semantics

Bibliographical note

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

Cite this

YEUNG, W. L., LEUNG, R. P. H. . K., 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). IEEE Computer Society. https://doi.org/10.1109/APSEC.2005.70
YEUNG, Wing Lok ; LEUNG, R. P. H., Karl ; WANG, Ji ; DONG, Wei. / Improvements towards formalizing UML state diagrams in CSP. Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05. IEEE Computer Society, 2005. pp. 176-182
@inproceedings{fee4ef60a2944ffabcdc1472dba5b4c2,
title = "Improvements towards formalizing UML state diagrams in CSP",
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.",
author = "YEUNG, {Wing Lok} and LEUNG, {R. P. H., Karl} and Ji WANG and Wei DONG",
note = "Paper presented at the 12th Asia-Pacific Software Engineering Conference (APSEC'05), 15-17 December 2005, Taipei, Taiwan. ISBN of the source publication: 9780769524658",
year = "2005",
month = "1",
day = "1",
doi = "10.1109/APSEC.2005.70",
language = "English",
pages = "176--182",
booktitle = "Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05",
publisher = "IEEE Computer Society",
address = "United States",

}

YEUNG, WL, LEUNG, RPHK, 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. IEEE Computer Society, pp. 176-182. https://doi.org/10.1109/APSEC.2005.70

Improvements towards formalizing UML state diagrams in CSP. / YEUNG, Wing Lok; LEUNG, R. P. H., Karl; WANG, Ji; DONG, Wei.

Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05. IEEE Computer Society, 2005. p. 176-182.

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

TY - GEN

T1 - Improvements towards formalizing UML state diagrams in CSP

AU - YEUNG, Wing Lok

AU - LEUNG, R. P. H., Karl

AU - WANG, Ji

AU - DONG, Wei

N1 - Paper presented at the 12th Asia-Pacific Software Engineering Conference (APSEC'05), 15-17 December 2005, Taipei, Taiwan. ISBN of the source publication: 9780769524658

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - http://commons.ln.edu.hk/sw_master/7104

U2 - 10.1109/APSEC.2005.70

DO - 10.1109/APSEC.2005.70

M3 - Conference paper (refereed)

SP - 176

EP - 182

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

PB - IEEE Computer Society

ER -

YEUNG WL, LEUNG RPHK, WANG J, DONG W. Improvements towards formalizing UML state diagrams in CSP. In Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC'05. IEEE Computer Society. 2005. p. 176-182 https://doi.org/10.1109/APSEC.2005.70