Toward a Formalization of UML2.0 Metamodel using Z Specifications
A. Mostafa, M. Ismail, H. Bolok, и E. Saad. Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 1, стр. 694--701. (2007)
DOI: 10.1109/SNPD.2007.550
Аннотация
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.
%0 Conference Paper
%1 mostafa_07_toward
%A Mostafa, Ahmed M.
%A Ismail, Manal A.
%A Bolok, Hatem E.
%A Saad, E. M.
%B Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
%D 2007
%J Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
%K metamodel 2007 semantics uml20 z
%P 694--701
%R 10.1109/SNPD.2007.550
%T Toward a Formalization of UML2.0 Metamodel using Z Specifications
%U http://dx.doi.org/10.1109/SNPD.2007.550
%V 1
%X 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.
@inproceedings{mostafa_07_toward,
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.},
added-at = {2009-02-11T20:52:54.000+0100},
author = {Mostafa, Ahmed M. and Ismail, Manal A. and Bolok, Hatem E. and Saad, E. M.},
biburl = {https://www.bibsonomy.org/bibtex/2b6fd0e0c92f705a9e134af32e240e0cb/leonardo},
booktitle = {Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on},
citeulike-article-id = {1612407},
doi = {10.1109/SNPD.2007.550},
interhash = {d1538897be6839932a28c688a20e0445},
intrahash = {b6fd0e0c92f705a9e134af32e240e0cb},
journal = {Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on},
keywords = {metamodel 2007 semantics uml20 z},
pages = {694--701},
posted-at = {2007-09-01 15:29:39},
priority = {5},
timestamp = {2009-02-11T20:52:54.000+0100},
title = {Toward a Formalization of UML2.0 Metamodel using Z Specifications},
url = {http://dx.doi.org/10.1109/SNPD.2007.550},
volume = 1,
year = 2007
}