skip to main content
10.1145/2364412.2364456acmotherconferencesArticle/Chapter ViewAbstractPublication PagessplcConference Proceedingsconference-collections
research-article

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

Published: 02 September 2012 Publication History

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.

References

[1]
D. Batory, D. Benavides, and A. Ruiz-Cortés. Automated analysis of feature models: Challenges ahead. Communications of the ACM, December: 45--47, 2006.
[2]
D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated analysis of feature models 20 years later: a literature review. Information Systems, 35: 615--636, 2010.
[3]
L. Chen, M. A. Babar, and N. Ali. Variability management in software product lines: a systematic review. In SPLC, pages 81--90, 2009.
[4]
S. Cook. The complexity of theorem proving procedures. In Proc. of ACM symposium on Theory of computing, pages 151--158, 1971.
[5]
F. Loesch and E. Ploedereder. Optimization of variability in software product lines. In Proceedings of the 11th International Software Product Line Conference (SPLC), pages 151--162, Washington, DC, USA, 2007. IEEE Computer Society.
[6]
A. Metzger, K. Pohl, P. Heymans, P. Schobbens, and G. Saval. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In Int. Requirements Engineering Conf., pages 243--253, 2007.
[7]
K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering: Fundations, Principles and Techniques. Springer--Verlag, Berlin, DE, 2005.
[8]
F. Roos-Frantz, D. Benavides, A. Ruiz-Cortés, A. Heuer, and K. Lauenroth. Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal, pages 1--47, 2010. 10.1007/s11219-011-9156-5.
[9]
S. Segura, J. Galindo, D. Benavides, J. Parejo, and A. Ruiz-Cortés. Betty: Benchmarking and testing on the automated analysis of feature models. In U. Eisenecker, S. Apel, and S. Gnesi, editors, Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), page 63--71, Leipzig, Germany, 2012. ACM, ACM.
[10]
P. Trinidad, D. Benavides, A. Ruiz-Cortés, S. Segura, and A. Jiménez. Fama framework - poster. In SPLC, page 359, Sep 2008.
[11]
J. White, B. Doughtery, and D. Schmidt. Selecting highly optimal architectural feature sets with filtered cartesian flattening. Journal of Systems and Software, 82(8): 1268--1284, 2009.

Cited By

View all
  • (2020)A Python framework for the automated analysis of feature modelsProceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B10.1145/3382026.3425773(52-55)Online publication date: 19-Oct-2020
  • (2020)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling10.1007/s10270-020-00839-wOnline publication date: 22-Nov-2020
  • (2019)Accessibility Variability ModelProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342416(114-121)Online publication date: 9-Sep-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2
September 2012
287 pages
ISBN:9781450310956
DOI:10.1145/2364412

Sponsors

  • Pure-Systems: Pure-Systems GmbH
  • Petrobras: Petróleo Brasileiro S/A
  • SEBRAE: Serviço Brasileiro de Apoio às Micro E Pequenas Empresas
  • FAPESB: Fundação de Amparo à Pesquisa do Estado da Bahia
  • Hitachi
  • INES: National Institute of Science and Technology for Software Engineering
  • IEEE: Institute of Electrical and Electronics Engineers
  • Software Eng Inst: Software Engineering Institute
  • Biglever: BigLever Software, Inc.
  • CAPES: Brazilian Higher Education Funding Council

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 September 2012

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. OVMs
  2. software products lines
  3. tools

Qualifiers

  • Research-article

Conference

SPLC - Vol. II
Sponsor:
  • Pure-Systems
  • Petrobras
  • SEBRAE
  • FAPESB
  • INES
  • IEEE
  • Software Eng Inst
  • Biglever
  • CAPES

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2020)A Python framework for the automated analysis of feature modelsProceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B10.1145/3382026.3425773(52-55)Online publication date: 19-Oct-2020
  • (2020)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling10.1007/s10270-020-00839-wOnline publication date: 22-Nov-2020
  • (2019)Accessibility Variability ModelProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342416(114-121)Online publication date: 9-Sep-2019
  • (2019)Using Scope Scenarios to Verify Multiple Variability ModelsComputational Science and Its Applications – ICCSA 201910.1007/978-3-030-24308-1_32(383-399)Online publication date: 29-Jun-2019
  • (2018)Combining Automatic Variability Analysis Tools: An SPL Approach for Building a Framework for CompositionComputational Science and Its Applications – ICCSA 201810.1007/978-3-319-95171-3_34(435-451)Online publication date: 4-Jul-2018
  • (2018)Automated Analysis of Variability Models: The SeVaTax ProcessComputational Science and Its Applications – ICCSA 201810.1007/978-3-319-95171-3_29(365-381)Online publication date: 4-Jul-2018
  • (2016)Traceability Analyses between Features and Assets in Software Product LinesEntropy10.3390/e1808026918:8(269)Online publication date: 3-Aug-2016
  • (2013)Variability in software process models: Requirements for adoption in industrial settings2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE)10.1109/PLEASE.2013.6608661(33-36)Online publication date: May-2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media