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

Volume

1

fYear

2007

fDate

July 30 2007-Aug. 1 2007

Firstpage

694

Lastpage

701

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.;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SNPD.2007.508

Filename

4287594