Dipl. Inform. Thorsten Arendt, Universität Marburg

Abstract:

A paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of software development. Following this paradigm, models become primary artifacts in the software development process. Therefore, software quality and quality assurance frequently leads bach to the quality and quality assurance of the involved models. A common open source technology in model-based software development is the Eclipse Modeling Framework (EMF). EMF is a modeling framework and code generation facility for building tools and other applications based on a structured data model. Besides the opportunity to support domain-specific modeling languages (DSMLs), also more general languages like the Unified Modeling Framework (UML) are supported and some commercial modeling products (e.g., IBM Rational Software Architect rely on the UML2EMF technology.

In this talk, I present a structured model quality assurance process that can be adapted to project-specific and domain-specific needs. This process is based on static model analysis using model metrics and model smells. Based on the outcome of the model analysis, appropriate model refactoring steps can be performed. Last but not least, I present an integrated and extendable framework for the quality assurance of EMF-based models.