research-article

Extraction of feature models from formal contexts

Authors:

Joern Ploennigs,

Klaus KabitzschAuthors Info & Claims

SPLC '11: Proceedings of the 15th International Software Product Line Conference, Volume 2

Article No.: 4, Pages 1 - 8

https://doi.org/10.1145/2019136.2019141

Published: 21 August 2011 Publication History

Abstract

For economical reasons, the creation of feature oriented software should include previously created products and should not be done from scratch. To speed up this migration process, feature models have to be generated automatically from existing product variants. This work presents an approach based on formal concept analysis that analyzes incidence matrices containing matching relations as input and creates feature models as output. The resulting feature models describe exactly the given input variants. The introduced novel optimized approach performs this transformation in reasonable time even for large product libraries.

References

[1]

Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch. Automatic library migration for the generation of hardware-in-the-loop models. Science of Computer Programming, 2010.

Digital Library

[2]

Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch. Automatic variation-point identification in function-block-based models. In Int. Conf. on Generative Programming and Component Engineering, pages 23--32, 2010.

Digital Library

[3]

Bernhard Ganter and Rudolf Wille. Formal Concept Analysis --- Mathematical Foundations. Springer, 1999.

Digital Library

[4]

Bernhard Ganter. Two basic algorithms in concept analysis. In Int. Conf. for Formal Concept Analysis, pages 312--340, 2010.

Digital Library

[5]

Christian Lindig. Fast concept analysis. In Working with Conceptual Structures --- Contributions to ICCS 2000, pages 152--161. Shaker Verlag, 2000.

[6]

J. L. Guigues and V. Duquenne. Familles minimales d'implications informatives résultant d'un tableau de données binaires. Mathématiques et Sciences Humaines, 95:5--18, 1986.

[7]

S. Obiedkov and V. Duquenne. Attribute-incremental construction of the canonical implication basis. Annals of Mathematics and Artificial Intelligence, 49(1--4):77--99, 2007.

Digital Library

[8]

J. La Poutré and J. van Leeuwen. Maintenance of transitive closures and transitive reductions of graphs. In Graph-Theoretic Concepts in Computer Science, volume 314 of LNCS, pages 106--120. Springer, 1988.

Digital Library

[9]

Don Batory. Feature models, grammars, and propositional formulas. In Int. Software Product Lines Conference, pages 7--20, 2005.

Digital Library

[10]

Marcilio Mendonca, Andrzej Wąsowski, and Krzysztof Czarnecki. SAT-based analysis of feature models is easy. In Int. Software Product Line Conference, pages 231--240, 2009.

Digital Library

[11]

Uwe Ryssel, Felix Distel, and Daniel Borchmann. Fast computation of proper premises. In Int. Conf. on Concept Lattices and Their Applications, 2011. Submitted.

[12]

Krzysztof Czarnecki and Michal Antkiewicz. Mapping features to models: A template approach based on superimposed variants. In Int. Conf. on Generative Programming and Component Engineering, pages 422--437, 2005.

Digital Library

[13]

Christian Lindig and Daniel Götzmann. Colibri-Java --- Formal concept analysis implemented in Java, 2007. http://code.google.com/p/colibri-java/.

[14]

Daniel Le Berre and Anne Parrain. The sat4j library, release 2.2. Journal on Satisfiability, Boolean Modeling and Computation, 7:59--64, 2010.

[15]

Thomas Eisenbarth, Rainer Koschke, and Daniel Simon. Derivation of feature component maps by means of concept analysis. In 5th Eu. Conf. on Software Maintenance and Reengineering, pages 176--179, 2001.

Digital Library

[16]

Felix Loesch and Erhard Ploedereder. Restructuring variability in software product lines using concept analysis of product configurations. In 11th Eu. Conf. on Software Maintenance and Reengineering, pages 159--170, 2007.

Digital Library

[17]

Krzysztof Czarnecki and Andrzej Wąsowski. Feature diagrams and logics: There and back again. In Int. Software Product Line Conference, pages 23--34, 2007.

Digital Library

[18]

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, and Krzysztof Czarnecki. Reverse engineering feature models. In Int. Conf. on Software Engineering, pages 461--470, 2011.

Digital Library

Cited By

Huyghe MQuinton CRudametkin W(2024)Taming the Variability of Browser FingerprintsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672591(66-71)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3672591
Bazin AGeorges THuchard MMartin PTibermacine C(2024)Exploring the 3-Dimensional Variability of Websites' User-Stories using Triadic Concept AnalysisInternational Journal of Approximate Reasoning10.1016/j.ijar.2024.109248(109248)Online publication date: Jul-2024
https://doi.org/10.1016/j.ijar.2024.109248
Bazin AHuchard MMartin P(2023)Towards Analyzing Variability in Space and Time of Products from a Product Line using Triadic Concept AnalysisProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609019(85-89)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609019
Show More Cited By

Index Terms

Extraction of feature models from formal contexts
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software reverse engineering
  2. Software notations and tools
    1. Software configuration management and version control systems

Recommendations

Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions
Highlights
- Sound and complete variability extraction method based on formal concept analysis.
Abstract
Software product line engineering gathers a set of methods to help create, manage and maintain a collection of similar software systems. Variability modelling is a focal point of this paradigm, where feature models (FMs) are the ...
Multi-perspectives on feature models
MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Domain feature models concisely express commonality and variability among variants of a software product line. For supporting separation of concerns, e.g., due to legal restrictions, technical considerations and business requirements, multi-view ...
Software product line evolution with cardinality-based feature models
ICSR'11: Proceedings of the 12th international conference on Top productivity through software reuse

Feature models are widely used for modelling variability present in a Software Product Line family. We propose using cardinality-based feature models and clonable features to model and manage the evolution of the structural variability present in ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '11: Proceedings of the 15th International Software Product Line Conference, Volume 2

August 2011

306 pages

ISBN:9781450307895

DOI:10.1145/2019136

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Pure-Systems: Pure-Systems GmbH
Hitachi
Siemens
Software Eng Inst: Software Engineering Institute
Biglever: BigLever Software, Inc.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 August 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '11

Sponsor:

Pure-Systems
Software Eng Inst
Biglever

SPLC '11: The 2011 Software Product Line Conference

August 21 - 26, 2011

Munich, Germany

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
388
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)5

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Huyghe MQuinton CRudametkin W(2024)Taming the Variability of Browser FingerprintsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672591(66-71)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3672591
Bazin AGeorges THuchard MMartin PTibermacine C(2024)Exploring the 3-Dimensional Variability of Websites' User-Stories using Triadic Concept AnalysisInternational Journal of Approximate Reasoning10.1016/j.ijar.2024.109248(109248)Online publication date: Jul-2024
https://doi.org/10.1016/j.ijar.2024.109248
Bazin AHuchard MMartin P(2023)Towards Analyzing Variability in Space and Time of Products from a Product Line using Triadic Concept AnalysisProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609019(85-89)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609019
Georges TRice LHuchard MKönig MNebut CTibermacine C(2023)Guiding Feature Models Synthesis from User-Stories: An Exploratory ApproachProceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3571788.3571797(65-70)Online publication date: 25-Jan-2023
https://dl.acm.org/doi/10.1145/3571788.3571797
Tavassoli SDamasceno CKhosravi RMousavi MFelfernig AFuentes L(2022)Adaptive behavioral model learning for software product linesProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A10.1145/3546932.3546991(142-153)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3546932.3546991
Martin HTemple PAcher MPereira JJézéquel J(2022)Machine Learning for Feature Constraints DiscoveryHandbook of Re-Engineering Software Intensive Systems into Software Product Lines10.1007/978-3-031-11686-5_7(175-196)Online publication date: 5-Jul-2022
https://doi.org/10.1007/978-3-031-11686-5_7
Galasso JHuchard M(2022)Extending Boolean Variability Relationship Extraction to Multi-valued Software DescriptionsHandbook of Re-Engineering Software Intensive Systems into Software Product Lines10.1007/978-3-031-11686-5_6(143-173)Online publication date: 23-Nov-2022
https://doi.org/10.1007/978-3-031-11686-5_6
Martinez JZiadi TBissyandé TKlein Jle Traon Y(2022)Bottom-Up Technologies for Reuse: A Framework to Support Extractive Software Product Line Adoption ActivitiesHandbook of Re-Engineering Software Intensive Systems into Software Product Lines10.1007/978-3-031-11686-5_14(355-377)Online publication date: 5-Jul-2022
https://doi.org/10.1007/978-3-031-11686-5_14
Kouhoué ABonavero YBouétou Bouétou THuchard M(2021)Exploring Variability of Visual Accessibility Options in Operating SystemsFuture Internet10.3390/fi1309023013:9(230)Online publication date: 4-Sep-2021
https://doi.org/10.3390/fi13090230
Damasceno CMousavi MSimao A(2021)Learning by sampling: learning behavioral family models from software product linesEmpirical Software Engineering10.1007/s10664-020-09912-w26:1Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.1007/s10664-020-09912-w
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents