Formalization of UML Statechart Models Using Concurrent Regular Expressions

Jansamak, S. and Surarerks, A.

    used in the software development process for specification of system based on the object-oriented paradigm. Thought the current version of UML is semi-formal, it is difficult to determine whether the model is consistent, unambiguous, or complete. This paper proposes the transformation rules for formalizing UML statechart diagrams. The target language for the transformation is Concurrent Regular Expressions (CREs) which are extensions of regular expression. The transformation result will be represented in mathematical form and suitable for applying verification. We also show that this formalization can be used to check the simple inconsistency of the system.
Cite as: Jansamak, S. and Surarerks, A. (2004). Formalization of UML Statechart Models Using Concurrent Regular Expressions. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 83-88.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS