Abstract
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.
Users
Please
log in to take part in the discussion (add own reviews or comments).