Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
نویسندگان
چکیده
UML, and other object-oriented approaches to system specification and design, are increasingly popular in industry. Many attempts have been made to formalise either the notations, the system models produced using these notations, or both. However, there have been no attempts to compare the expressiveness of the formal approaches. This paper compares Z and Object-Z approaches to object-oriented formalisation. The Z approaches reflect different formalisation goals (a formal model of the system, a formal model of a diagrammatic object-oriented model). The Object-Z approach produces compact formal models, but imposes a particular semantic interpretation on the UML notations.
منابع مشابه
Some Considerations on UML Class Diagram Formalisation Approaches
Unified Modelling Language (UML) is a software modelling language that is widely used and accepted. One significant drawback, of which, is that the language lacks formality. This makes carrying out any type of rigorous analysis difficult process. Many researchers attempt to introduce their approaches to formalise UML diagrams. However, it is always hard to decide what language and/or approach t...
متن کاملSpecifying the Behaviour of Uml Collaborations Using Object-z
UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. Among them, we have collaborations, that serve to realise use cases, a powerful abstraction concept. The behaviour part of a collaboration is rendered using collaboration diagrams. However, the lack of formalisation compromises the precision of the specification. By using formal description te...
متن کاملA Formal Mapping between UML Models and Object-Z Specifications
This paper provides a precise and descriptive semantics for core modeling concepts in Object-Z and a formal description for UML class constructs. Given the formal descriptions, it also provides a formal semantic mapping between the modeling constructs of the two languages.
متن کاملTowards a formalization of UML class structures in Z
There is much interest in developing a rm semantic basis for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build precise OO models of behavior and structure that can be rigorously analyzed. In this paper we present the current results of our ongoing formalization of the Uniied Modeling Language (UML)....
متن کاملExploring the Semantics of Uml Type Structures with Z
The Uniied Modeling Language (UML) builds upon some of the best object-oriented (OO) modeling concepts available, and is intended to serve as a common OO modeling notation. Given its intended role, it is important that the UML notation have a well-deened semantic base. In this paper we present some early results from our work on the systematic formalization of UML modeling constructs. The paper...
متن کامل