Title :
Towards a formalization of UML class structures in Z
Author :
Shroff, Malcolm ; France, Robert B.
Author_Institution :
Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Abstract :
There is much interest in developing a firm semantic base for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build a precise OO model of behavior and structure that can be rigorously analyzed. We present the current results of our ongoing formalization of the Unified Modeling Language (UML). UML is a proposed common OO modeling language, thus it is important that it has a formally defined semantic base. The focus of this paper is the formalization of the primary UML constructs used to build class structures. We use the Z notation to precisely express the meaning of UML class structures
Keywords :
formal specification; object-oriented languages; object-oriented methods; specification languages; OO model; UML class structures; Unified Modeling Language; Z language; modeling language; object-oriented modeling; semantic base; specification; Computer science; Logic; Object oriented modeling; Set theory; Unified modeling language;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.625087
