Ensuring consistency in different IS models - UML case studio

Abstract

Info rmation systems (IS) design is often modelled as a collection of diagrams (e.g. UML diagrams), to depict different aspects of a system such as behaviour, structure, functionality, etc. Refinement of models and the evolving nature of software may lead to in consistencies in these diagrams. Inconsisten t IS model specification might be transformed to an incoherent and conflicting system. Current tools lack of support for maintaining consistency between diagrams. This paper shows that the currently existent meth ods are insufficient for consistency checking in IS models. Therefore, authors of this paper propose a rule based method for consistency checking in IS models, which is implement ed to check consistency in UML diagrams . The proposed method was evaluate d usi ng comparative analysis and questionnaires.