A formal object-oriented approach to defining consistency constraints for UML models

Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004.


Author Kim, S.
Carrington, D. A.
Title of paper A formal object-oriented approach to defining consistency constraints for UML models
Conference name The 2004 Australian Software Engineering Conference (ASWEC 2004)
Conference location Melbourne, Australia
Conference dates 13-16 April 2004
Proceedings title Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004)
Journal name 2004 Australian Software Engineering Conference, Proceedings
Place of Publication Los Alamitos, California, U.S.A.
Publisher IEEE Computer Society
Publication Year 2004
Sub-type Fully published paper
DOI 10.1109/ASWEC.2004.1290461
ISBN 0-7695-2089-8
ISSN 1530-0803
Editor P. Strooper
Volume 15
Start page 87
End page 94
Total pages 8
Collection year 2004
Language eng
Abstract/Summary We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 102 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 19:32:38 EST