Sciweavers

Share
ACSC
2004
IEEE

Formalization of UML Statechart Models Using Concurrent Regular Expressions

9 years 9 months ago
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.
S. Jansamak, A. Surarerks
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where ACSC
Authors S. Jansamak, A. Surarerks
Comments (0)
books