Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Extracting threads from concurrent objects for the design of embedded systems
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Formal verification of service composition in pervasive computing environments
Proceedings of the First Asia-Pacific Symposium on Internetware
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Hi-index | 0.00 |
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.