Toward a Formalization of UML2.0 Metamodel using Z Specifications
Ahmed Mahmoud Mostafa, Manal A. Ismail, Hatem EL-Bolok, El-Sayed Mostafa Saad · 2007
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.