Formalization of UML Statechart Models Using Concurrent Regular Expressions

The Unified Modeling Language (UML) is widely 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.

• Type: Conference
• Year: 2004
• Where: ACSC
• Authors: S. Jansamak, A. Surarerks
• Keywords: ACSC 2004, Regular Expression, Theoretical Computer Science, UML Statechart Diagrams, Unified Modeling Language