Automated Quality Assurance for UML Models

Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (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. 1 Model Based Software Development In an idealized vision for a model based development process, models are developed, used, and refined in all phases of the process. For requirements analysis, models help to find a common vocabulary between customers and developers. In the specification phase, re used to completely describe the business logic of the system while abstracting from technical infrastructure and implementation detail. In the development phase, models are the input for the code generation process. For the maintenance phase, models are an important part of t...

• Type: Conference
• Year: 2005
• Where: GI
• Authors: Tilman Seifert, Florian Jug, Günther Rackl
• Keywords: GI 2005, Model, Model Based Development, Model Level, Theoretical Computer Science