Consistency analysis of UML models (S)

Abstract

The inconsistencies of UML models (diagrams) during the software development process may cause errors in documents or programs. Massive consistency rules have been proposed by researchers to detect inconsistencies in existing works. However, the approaches of consistency analysis have not been addressed adequately in literature. In this paper, we propose a new approach for analyzing consistencies between UML models. We formally specify UML models and define the consistency relation between UML models. Based on the consistency definition, we first discuss the composition and decomposition of consistencies, and then explore the equivalence of consistencies.