A java-based tool for analyzing orthogonal variability models

Labs Tool

FaMa OVM is a pioneer tool for the automated analysis of OVMs. FaMa OVM is simple to extend and easily integrable with other tools. It is an extension of FaMa Framework (FaMa FW). FaMa FW is an open source Java framework that makes easier the development of tools for the analysis of variability models, since it provides a basic structure to the automated analysis, and provides, moreover, support for multiple solvers (JavaBDD, SAT4j, Choco and JaCoP).

In the Figure above you can see how FaMa OVM extends the FaMa FW providing support for analysis of OVMs. Next we briefly describe the main components:

  • Metamodel: OVM metamodel is an extension of the framework implementing the OVM metamodel itself.
  • Reader/writer: implements loaders/savers to the specific OVM metamodel format. FaMa OVM provides textual and XML formats.
  • Reasoners: implement analysis operations using a specific logic paradigm.

Related Publications

F Roos-Frantz, D Benavides, A Ruiz-Cortés, A Heuer, K Lauenroth. Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal Special Issue on Quality Engineering for Software Product Lines. 2011 (In press).

JA Galindo, F Roos-Frantz, J García-Galán, A Ruiz-Cortés. Extracting orthogonal variability models from Debian repositories.In: Proc. of 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011), co-located with Software Product Line Conference 2011 (SPLC 2011).; 2011. p. 8.

F. Roos-Frantz and D. Benavides and A. Ruiz-Cortés. Automated Analysis of Orthogonal Variability Models using Constraint Programming. XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010). Valencia, España. Septiembre 2010.

F. Roos-Frantz and D. Benavides and A. Ruiz-Cortés. Feature Model to Orthogonal Variability Model Transformations. A First Step. Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos. Actas de los talleres de las JISBD09, Vol. 3. Nº.2. 81-90. San Sebastián, España, 2009.

F. Roos-Frantz. A Preliminary Comparison of Formal Properties on Orthogonal Variability Model and Feature Model. 3rd. International Workshop on Variability Modelling of Software-intensive Systems (VAMOS). ICB Research Report Nº 29. 121-126. Sevilla, Spain. January 2009.

F. Roos-Frantz and S. Segura. Automated Analysis of Orthogonal Variability Models. A First Step. 1st. SPLC Workshop on Analysis of Software Product Lines (ASPL 2008). Limerick, Ireland. September 2008.


Fabricia Roos