Title: Implementing Consistency Management Techniques for Conceptual Modeling
Authors: Haesen, Raf
Snoeck, Monique
Issue Date: Feb-2005
Publisher: Springer
Host Document: Consistency Problems in UML-Based Software Development
Conference: International Conference on Unified Modeling Language (UML2004) edition:7 location:Lisbon, Portugal date:10-15 October 2004
Abstract: Most software development methodologies justify the use of multiple independent models to represent all aspects at the different stages in the development process. This can make the resulting information system inconsistent at different levels: inconsistencies can arise between different views of a single system, between documents at different development life cycle stages, or in a single document. The use of a single model and different views to that model can avoid this problem: all views have to be built according to well-formedness rules for that view and consistency between the related views must be checked. In this way it is possible to obtain a model that reaches a feasible level of validity and improved completeness. Validity means that all statements made by the model are correct and relevant to the problem, whereas completeness means that the model contains all the statements about the domain. This paper presents different techniques to maintain consistency of one view and the use of the same techniques to enforce and check consistency between the views. First we discuss the three strategies of consistency management: consistency by analysis, consistency by monitoring and consistency by construction. Finally we present a concrete implementation of these rules in a modeling tool, based on the object-oriented domain modeling method MERODE.
Description: In Lecture Notes of Computer Science
ISBN: 3-540-25081-6
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven

Files in This Item:
File Status SizeFormat
ImplementingConsistency.pdf Published 56KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.