TESTING THE CONSISTENCY OF DYNAMIC UML DIAGRAMS

Abstract

The Unified Modeling Language (UML) offers different diagrams to depict the behavior of a modeled system and its elements. When employing different diagrams during modeling, it has to be ensured that these different specifications are consistent. The consistency conditions depend on the diagrams involved, the development process employed, and the current stage of the development. In order to ensure consistency, there is a need for a consistency description which is formal and precise, yet understandable and easily adoptable to new requirements. Furthermore, an automatic validation of models according to the consistency conditions is necessary. We propose dynamic meta modeling rules as a notation for the consistency conditions and provide the concept for an automated testing environment using these rules.