An Axiomatic Formalization of UML Models
Tashiaki Aoki, Takaaki Tateishi, Takuya Katayama · 2014
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 appro-priateness. 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. 1