Towards Explicit Behavioral Consistency Concepts in the UML

In this paper, we show how different behavioral consistency concepts can be formed for sequence diagrams and statecharts. Our approach relies on the partial translation of models into a semantic domain and on the definition of explicit consistency conditions. Partial translations and consistency conditions can be combined to form an explicit consistency concept. In order to make our approach applicable in practice, we discuss the issue of tool support and favor the development of a so-called consistency workbench.