WSEAS Transactions on Computers
Print ISSN: 1109-2750, E-ISSN: 2224-2880
Volume 14, 2015
A Multi-View Approach for Formalizing UML State Machine Diagrams Using Z Notation
Authors: Khadija El Miloudi, Aziz Ettouhami
Abstract: Due to the missing formal foundation of UML, the semantics of a number of UML constructs is not precisely defined. Based on our previous work on formalizing class and sequence diagrams, a method for transforming a subset of UML state machine diagram into Z specification is proposed for the purpose of formally checking consistency in multi view modeling. The consistency of the resulting specification is guaranteed by providing a set of well-formedness and consistency rules. It is worth noting that our multi view approach is the first work on state machine diagram formalization based on Z notation. Our approach is illustrated using an example taken from the literature.
Search Articles
Keywords: UML State Machine Diagram, Z, Formal Methods, Consistency Checking, Multi View Modeling
Pages: 72-78
WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2880, Volume 14, 2015, Art. #8