FaMa-OVM: a tool for the automated analysis of OVMs

Authors:
Fabricia Roos-Frantz;José A. Galindo;David Benavides;Antonio Ruiz-Cortés
Affiliations:
University of Seville, Seville, Spain;University of Seville, Seville, Spain;University of Seville, Seville, Spain;University of Seville, Seville, Spain
Venue:
Proceedings of the 16th International Software Product Line Conference - Volume 2
Year:
2012

Citing 9
Cited 0

The complexity of theorem-proving procedures

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Software Product Line Engineering: Foundations, Principles and Techniques

Software Product Line Engineering: Foundations, Principles and Techniques
Automated analysis of feature models: challenges ahead

Communications of the ACM - Software product line
Optimization of Variability in Software Product Lines

SPLC '07 Proceedings of the 11th International Software Product Line Conference
FAMA Framework

SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening

Journal of Systems and Software
Variability management in software product lines: a systematic review

Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review

Information Systems
BeTTy: benchmarking and testing on the automated analysis of feature models

Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. The automated analysis of OVMs is defined as the computer-aided extraction of information from such models. In this paper, we present FaMa-OVM, which is a pioneer tool for the automated analysis of OVMs. FaMa-OVM is easy to extend or integrate in other tools. It has been developed as part of the FaMa ecosystem enabling the benefits coming from other tools of that ecosystem as FaMaFW and BeTTy.