Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
On well-formedness rules for UML use case diagram
WISM'10 Proceedings of the 2010 international conference on Web information systems and mining
Formalization of the design phase of software lifecycle: a grammar based approach
Proceedings of the International Workshop on Formalization of Modeling Languages
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
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Hi-index | 0.00 |
The Unified Modeling Language (UML) has become a widely adopted standard in the software development industry. Unfortunately, the UML is a semi-formal language which lacks precisely defined constructs. Z language is a formal specification language. Formal languages are used to ensure that systems meet regulations and standards. This paper aims to reduce risks associated with software development and increase safety and reliability. This goal is achieved by formalizing the syntax of (a sub-set of) the popular UML diagrams (Use Case diagram, Class diagram, and State Machine diagram) using Z specifications.