Automated quality assurance for UML models

Abstract

Model based development, like proposed by the OMG's Model Driven Ar- chitecture (MDA), aims to raise the level of abstraction from working on the code to working with models. For a professional production environment, the means for quality assurance on the model level are scarce. We introduce an approach for automated quality assurance on the model level, integrated into the tool of a modern development environment.