Scalable consistency checking between diagrams - the VIEWINTEGRA approach | IEEE Conference Publication | IEEE Xplore

Scalable consistency checking between diagrams - the VIEWINTEGRA approach


Abstract:

The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software development concerns. UML diagrams are independent but connected; their meta-m...Show More

Abstract:

The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software development concerns. UML diagrams are independent but connected; their meta-model describes them under a common roof. Despite the advances of UML, we found that the problem of ensuring consistency between UML diagrams has not been solved. We have developed an approach for automated consistency checking, called VIEWINTEGRA.. Our approach provides excellent support for active (preventive) and passive (detective) consistency checking. We make use of consistent transformation to translate diagrams into interpretations and we use consistency comparison to compare those interpretations to other diagrams. Our approach was applied to a number of applications where we found the separation of transformation and comparison to be highly beneficial in addressing consistency-checking scalability and usability issues. The paper introduces our UML-based transformation framework, discusses how it aids comparison, and demonstrates how it improves consistency checking.
Date of Conference: 26-29 November 2001
Date Added to IEEE Xplore: 07 August 2002
Print ISBN:0-7695-1426-X
Print ISSN: 1938-4300
Conference Location: San Diego, CA, USA

1. Introduction

Models and diagrams are useful in separating concerns and handling complexity by providing different viewpoints. Diagrams have in common that they break up software development into smaller, more comprehensible pieces utilizing a divide and conquer strategy. These pieces are related in the system they describe and, combined, they form a model description of a system [2].

References

References is not available for this document.