Towards inconsistency handling of object-oriented behavioral models

Abstract

With the Unified Modeling Language being used in diverse contexts, the ability of defining and checking customized consistency conditions is of increasing importance. Often, consistency checks rely on existing formal analysis tools such as model checkers and require the translation of models into input languages of these tools. The technique of inconsistency handling aims at systematically dealing with inconsistencies detected by such consistency checks. Resolution of inconsistencies typically involves changing the model, with guidance of the software engineer or completely automated in the ideal case. As a consequence, in cases where formal analysis tools are used for consistency checks, the output of these tools must be presented in a form understandable for the software engineer. In this paper, we develop a concept for inconsistency handling of object-oriented behavioral models and discuss how graph transformation can be used for reconstructing UML models from outputs generated by analysis tools.