Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development

  • Abel GómezEmail author
  • Isidro Ramos
Conference paper


Feature Modeling is a technique that uses diagrams to characterize the variability of software product lines. The arrival of metamodeling frameworks in the Model-Driven Engineering field (MDE) has provided the necessary background to exploit these diagrams (called feature models) in information systems development processes. However, these frameworks have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with complex model constraints. The prototype uses model transformations to build Domain Variability Models (DVM) that can be instantiated. This proposal permits us to take advantage of existing tools to validate model instances and finally to automatically generate code. Moreover, DVMs can play a key role in complex MDE processes automating the use of feature models in software product lines.


Feature Model Class Diagram Object Constraint Language Software Product Line Model Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This work has been supported by the Spanish Government under the National Program for Research, Development and Innovation MULTIPLE TIN2009-13838 and the FPU fellowship program, ref. AP2006-00690.


  1. 1.
    Clements P, Northrop L, Northrop LM (2001) Software product lines: practices and patterns. Addison-Wesley, BostonGoogle Scholar
  2. 2.
    Kang K, Cohen S, Hess J, Nowak W, Peterson S (1990) Feature-oriented domain analysis (FODA) feasibility studyGoogle Scholar
  3. 3.
    Object Management Group (2003) MDA guide version 1.0.1. Scholar
  4. 4.
    Czarnecki K, Eisenecker UW (2000) Generative programming: methods, tools, and applications. Addison-Wesley, New YorkGoogle Scholar
  5. 5.
    EMF. Scholar
  6. 6.
    Object Management Group (2006) OCL 2.0 Specification. cgi-bin/doc?formal/2006-05-01Google Scholar
  7. 7.
    Czarnecki K, Kim CH (2005) Cardinality-based feature modeling and constraints: a progress reportGoogle Scholar
  8. 8.
    Batory D (2005) Feature models, grammars, and propositional formulas. Springer, New York, pp 7–20Google Scholar
  9. 9.
    Object Management Group (2006) Meta object facility (MOF) 2.0 core specification (ptc/06-0101). Scholar
  10. 10.
    Gómez A, Ramos I (2010) Cardinality-based feature modeling and model-driven engineering: fitting them together. In: Fourth international workshop on variability modelling of softwareintensive systems (VAMOS’10). Linz, AustriaGoogle Scholar
  11. 11.
    Eclipse Organization (2006) The graphical modeling framework. Scholar
  12. 12.
    Object Management Group (2005) MOF QVT final adopted specificationGoogle Scholar
  13. 13.
    ikv++ technologies AG, “ikv++ mediniQVT website.” Scholar
  14. 14.
    Chen L, Babar MA, Ali N (2009) Variability management in software product lines: a systematic review. In: Proceedings of the 13th international software product lines conference (SPLC’09), San Francisco, USAGoogle Scholar
  15. 15.
    Antkiewicz M, Czarnecki K (2004) FeaturePlugin: feature modeling plug-in for Eclipse. 2004 OOPSLA workshop on eclipse technology eXchange, pp 67–72Google Scholar
  16. 16.
    Laguna MA, Gonzälez-Baixauli B, Marqués Corral JM (2008) Feature patterns and multiparadigm variability models. Tech. Rep. 2008/2001, Grupo GIRO, Departamento de Informätica, May 2008Google Scholar
  17. 17.
    Cabello ME, Ramos I, Gómez A, Limón R (2009) Baseline-Oriented Modeling: an MDA approach based on software product lines for the expert systems development. Asian conference on Intelligent information and database systems, vol 0, pp 208–213Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversitat Politècnica de ValènciaValenciaSpain

Personalised recommendations