Applying a consistency checking framework for heterogeneous models and artifacts in industrial product lines

  • Authors:

  • Michael Vierhauser;Paul Grünbacher;Wolfgang Heider;Gerald Holl;Daniela Lettner

  • Affiliations:

  • Siemens VAI Metals Technologies, Linz, Austria;Systems Engineering and Automation, Johannes Kepler University, Linz, Austria;Christian Doppler Laboratory for Automated Software Engineering, Johannes Kepler University, Linz, Austria;Christian Doppler Laboratory for Automated Software Engineering, Johannes Kepler University, Linz, Austria;Christian Doppler Laboratory for Automated Software Engineering, Johannes Kepler University, Linz, Austria

  • Venue:
  • MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Product line engineering relies on heterogeneous models and artifacts to define and implement the product line's reusable assets. The complexity and heterogeneity of product line artifacts as well as their interdependencies make it hard to maintain consistency during development and evolution, regardless of the modeling approaches used. Engineers thus need support for detecting and resolving inconsistencies within and between the various artifacts. In this paper we present a framework for checking and maintaining consistency of arbitrary product line artifacts. Our approach is flexible and extensible regarding the supported artifact types and the definition of constraints. We discuss tool support developed for the DOPLER product line tool suite. We report the results of applying the approach to sales support applications of industrial product lines.