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.
- Citation
- BibTeX
Aoki, T., Tateishi, T. & Katayama, T.,
(2001).
An axiomatic formalization of UML models.
In:
Evans, A., France, R. B., Moreira, A. M. & Rumpe, B.
(Hrsg.),
Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001.
Bonn:
(S. 13-28).
@inproceedings{mci/Aoki2001,
author = {Aoki, Toshiaki AND Tateishi, Takaaki AND Katayama, Takuya},
title = {An axiomatic formalization of UML models},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 13-28 },
publisher = {},
address = {Bonn}
}
author = {Aoki, Toshiaki AND Tateishi, Takaaki AND Katayama, Takuya},
title = {An axiomatic formalization of UML models},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 13-28 },
publisher = {},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 3-88579-335-0
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2001
Language: (en)
Content Type: Text/Conference Paper