Title :
Toward a Formalization of UML2.0 Metamodel using Z Specifications
Author :
Mostafa, Ahmed M. ; Ismail, Manal A. ; El-Bolok, Hatem ; Saad, E.M.
Author_Institution :
Helwan Univ., Helwan
fDate :
July 30 2007-Aug. 1 2007
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.
Keywords :
Unified Modeling Language; formal specification; software reliability; UML 2.0 metamodel; Unified Modeling Language; Z specification; class diagram; software development; software reliability; software safety; state machine diagram; use case diagram; Artificial intelligence; Distributed computing; Formal languages; Formal specifications; Humans; Joining processes; Programming; Radio access networks; Software engineering; Unified modeling language; Class Diagram; Diagram; Formalization; State Machine Diagram; Unified Modeling Language (UML); Use Case; Z specification language.;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-0-7695-2909-7
DOI :
10.1109/SNPD.2007.508
