Khadija El Miloudi, Aziz Ettouhami, "A Multi-View Approach for Formalizing UML State Machine Diagrams Using Z Notation," WSEAS Transactions on Computers, vol. 14, pp. 72-78, 2015, DOI:
Khadija El Miloudi, Aziz Ettouhami. A Multi-View Approach for Formalizing UML State Machine Diagrams Using Z Notation.
WSEAS Transactions on Computers. 2015;14:72-78.
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: ,
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.
Pages: 72-78 WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2880, Volume 14, 2015, Art. #8 DOI: *As the DOI is a unique identifier, it is already available in the pdf version.
**The DOI link will be activated in the first midst of January 2026.
×
Citation Tools