Exploring the Variability of Interconnected Product Families with Relational Concept Analysis

Among the various directions that SPLE promotes, extractive adoption of complex product lines is especially valuable, provided that appropriate approaches are made available. Complex variability can be encoded in different ways, including the feature model (FM) formalism extended with multivalued attributes, UML-like cardinalities, and references connecting separate FMs. In this paper, we address the extraction of variability relationships depicting connections between systems from separate families. Because Formal Concept Analysis provides suitable knowledge structures to represent the variability of a given system family, we explore the relevance of Relational Concept Analysis, an FCA extension to take into account relationships between different families, to tackle this issue. We investigate a method to extract variability information from descriptions representing several inter-connected product families. It aims to be used to assist the design of inter-connected FMs, and to provide recommendations during product selection.

[1]  Paul Grünbacher,et al.  A systematic review and an expert survey on capabilities supporting multi product lines , 2012, Inf. Softw. Technol..

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[3]  Abdelhak-Djamel Seriai,et al.  Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis , 2014, CLA.

[4]  Clémentine Nebut,et al.  Towards complex product line variability modelling: Mining relationships from non-boolean descriptions , 2019, J. Syst. Softw..

[5]  Mathieu Acher,et al.  Yo variability! JHipster: a playground for web-apps analyses , 2017, VaMoS.

[6]  Jean-Xavier Rampon,et al.  Computing on-line the lattice of maximal antichains of posets , 1994 .

[7]  Krzysztof Czarnecki,et al.  Efficient synthesis of feature models , 2012, SPLC '12.

[8]  Mathieu Acher,et al.  Comparing Approaches to Implement Feature Model Composition , 2010, ECMFA.

[9]  Jacques Klein,et al.  Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

[10]  Simon Urli,et al.  Handling complex configurations in software product lines: a tooled approach , 2014, SPLC.

[11]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[12]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).

[13]  Julio Sincero,et al.  Modelling compositions of modular embedded software product lines , 2007 .

[14]  Alexander Egyed,et al.  Feature Model Synthesis with Genetic Programming , 2014, SSBSE.

[15]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[16]  Daniel Diaz,et al.  Constraints: The core of product line engineering , 2011, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE.

[17]  Krzysztof Czarnecki,et al.  Reverse engineering feature models , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[18]  Amedeo Napoli,et al.  Relational concept analysis: mining concept lattices from multi-relational data , 2013, Annals of Mathematics and Artificial Intelligence.

[19]  Goetz Botterweck,et al.  Variability and Evolution in Systems of Systems , 2013, AiSoS.

[20]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[21]  Alexander Egyed,et al.  Reverse Engineering Feature Models from Programs' Feature Sets , 2011, 2011 18th Working Conference on Reverse Engineering.

[22]  Pierre-Yves Schobbens,et al.  Generic semantics of feature diagrams , 2007, Comput. Networks.

[23]  Olivier Barais,et al.  Automating the formalization of product comparison matrices , 2014, ASE.

[24]  Marianne Huchard,et al.  Variability Representation in Product Lines using Concept Lattices: Feasibility Study with Descriptions from Wikipedia's Product Comparison Matrices , 2015, FCA&A@ICFCA.

[25]  Clémentine Nebut,et al.  Feature Model Composition Assisted by Formal Concept Analysis , 2017, ENASE.

[26]  Houari A. Sahraoui,et al.  Recovering software product line architecture of a family of object-oriented product variants , 2017, J. Syst. Softw..

[27]  F. Loesch,et al.  Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[28]  Arnaud Gotlieb,et al.  Synthesis of attributed feature models from product descriptions , 2015, SPLC.

[29]  Marko Rosenmüller,et al.  Modeling Dependent Software Product Lines , 2008 .

[30]  Mathieu Acher,et al.  On extracting feature models from product descriptions , 2012, VaMoS.

[31]  C. Urtado,et al.  Concept lattices: A representation space to structure software variability , 2014, 2014 5th International Conference on Information and Communication Systems (ICICS).

[32]  Alexander Egyed,et al.  On Extracting Feature Models from Sets of Valid Feature Combinations , 2013, FASE.

[33]  Paul Grünbacher,et al.  Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches , 2011, 2011 15th International Software Product Line Conference.

[34]  Bernhard Ganter,et al.  Pattern Structures and Their Projections , 2001, ICCS.

[35]  Krzysztof Czarnecki,et al.  Generative Programming for Embedded Software: An Industrial Experience Report , 2002, GPCE.

[36]  Mathieu Acher,et al.  Feature model extraction from large collections of informal product descriptions , 2013, ESEC/FSE 2013.

[37]  Klaus Kabitzsch,et al.  Extraction of feature models from formal contexts , 2011, SPLC '11.

[38]  Clémentine Nebut,et al.  Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions , 2019, J. Syst. Softw..

[39]  Dragan Gasevic,et al.  Modular Feature Models: Representation and Configuration , 2011, J. Res. Pract. Inf. Technol..

[40]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[41]  Florence Le Ber,et al.  Generalization effect of quantifiers in a classification based on relational concept analysis , 2018, Knowl. Based Syst..