Ensuring Consistency in Different IS Models - UML Case Study
Diana Kalibatienė, Olegas Vasilecas, Rūta Dubauskaitė · 2013
Information 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 inconsistencies in these diagrams. Inconsistent 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 methods 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 implemented to check consistency in UML diagrams. The proposed method was evaluated using comparative analysis and questionnaires.