Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the łeUML\ge2001, October 1st, 2001 in Toronto, Canada. P-07, 13-28 (2001).

GI, Gesellschaft für Informatik, Bonn


Andy Evans (ed.), Robert B. France (ed.), Ana M. D. Moreira (ed.), Bernhard Rumpe (ed.)

Copyright © GI, Gesellschaft für Informatik, Bonn


An axiomatic formalization of UML models

Tashiaki Aoki , Takaaki Tateishi and Takuya Katayama


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.

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0

Last changed 04.10.2013 17:52:54