Lecture Notes in Computer Science, 2007, Volume 4735/2007, 136-150, DOI: 10.1007/978-3-540-75209-7_10

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs

Jochen M. Küster and Ksenia Ryndina

View Related Documents

Abstract

Consistency management is a major requirement in software engineering. Although this problem has attracted significant attention in the literature, support for inconsistency resolution is still not standard for modeling tools. In this paper, we introduce explicit side-effect expressions for each inconsistency resolution and costs for each inconsistency type. This allows a fine-grained evaluation of each possible inconsistency resolution for a particular inconsistent model. We further show how an inconsistency resolution module for a modeling tool can be designed and implemented based on our approach. We demonstrate the applicability of our approach for resolution of inconsistencies between object life cycles and process models.

Fulltext Preview

Image of the first page of the fulltext document