An approach to making informal OO models semantics precise and thus amenable to rigorous analysis is by integrating them with a suitable formal notation. Such work has been carried out in the development of a CASE tool (FuZE) for formalizing UML class diagrams. Two major drawbacks with the current approach are that it is CASE tool specific, and the models developed are not portable across multiple hardware and software platforms. In this paper we propose an UML XMI interchange tool (UML2Z) for transforming UML class diagrams to the Z notation. With this approach the integration process, will be CASE tool and platform independent. This makes it available to a larger sphere of usage in terms of available CASE tools, and diverse development teams.
展开▼
