An axiomatic formalization of UML models

Abstract

Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support to it, as current methodologies are informal, especially at their upstream phases. This means that we cannot expect sophisticated supports for checking consistency among analysis models and validating/verifying their appropriateness. As quality of analysis models determines that of succeeding design and implementation phases, formalization of the analysis phase is very important. In this paper, we propose a formal approach to analysis phase, consisting of (1)formal analysis models, (2)uni cation of the models, (3)an axiom system for consistency veri cation and (4)veri cation environment.