Implementing Consistency Management Techniques for Conceptual Modeling

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. The use of a single model and different views to that model can avoid this problem: all views have to be build according to well-formedness rules for that view and consistency must be checked between the related views. In this way it is possi-ble to obtain a model that reaches a feasible level of valid-ity and completeness. This paper represents different tech-niques to maintain consistency of one view and the use of the same techniques to enforce and check consistency be-tween the views. We discuss their concrete implementation in a modeling tool, based on the object-oriented domain modeling method MERODE. 1.