出版社：Vilnius University, University of Latvia, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
摘要：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.
