Modular Feature Models: Representation and Configuration

Within the realm of software product line engineering, feature modeling is one of the widely used techniques for modeling commonality as well as variability. Feature models incorporate the entire domain application configuration space, and are therefore developed collectively by teams of domain experts. In large scale industrial domains, feature models become too complex both in terms of maintenance and configuration. In order to make the maintenance and configuration of feature models feasible, we propose to modularize feature models based on the well-established Distributed Description Logics formalism. Modular feature models provide for an enhanced collaborative/ distributed feature model design, more efficient feature model evolution and better reusability of feature model structure. We also develop methods for the configuration and configuration verification of a modular feature model based on standard inference mechanisms. We describe and evaluate our proposed approach through a case study on an online electronic store application domain.

[1]  Tao Zhang,et al.  Some Metrics for Accessing Quality of Product Line Architecture , 2008, 2008 International Conference on Computer Science and Software Engineering.

[2]  Francesco M. Donini,et al.  Extending and Computing the Concept Covering for the Semantic Web ∗ , 2005 .

[3]  Tommaso Di Noia,et al.  Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics , 2006, The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06).

[4]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[5]  Vasant Honavar,et al.  Package-Based Description Logics , 2009, Modular Ontologies.

[6]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[7]  Krzysztof Czarnecki,et al.  Synchronizing Cardinality-Based Feature Models and Their Specializations , 2005, ECMDA-FA.

[8]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[9]  Jim Wilson,et al.  Applying Software Product-Line Architecture , 1997, Computer.

[10]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[11]  Robert L. Nord,et al.  Software Product Lines , 2004, Lecture Notes in Computer Science.

[12]  Michal Antkiewicz,et al.  FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.

[13]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, Seminal Contributions to Information Systems Engineering.

[14]  Krzysztof Czarnecki,et al.  Sample Spaces and Feature Models: There and Back Again , 2008, 2008 12th International Software Product Line Conference.

[15]  Vasant Honavar,et al.  Package-Based Description Logics - Preliminary Results , 2006, International Semantic Web Conference.

[16]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

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

[18]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems. OTM 2018 Conferences , 2018, Lecture Notes in Computer Science.

[19]  Francesco M. Donini,et al.  Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2004, ICEC '04.

[20]  Francesco M. Donini,et al.  Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..

[21]  Petra Bosch-Sijtsema,et al.  From integration to composition: On the impact of software product lines, global development and ecosystems , 2010, J. Syst. Softw..

[22]  Francesco M. Donini,et al.  Fully automated Web services orchestration in a resource retrieval scenario , 2005, IEEE International Conference on Web Services (ICWS'05).

[23]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

[24]  K. Czarnecki,et al.  Cardinality-Based Feature Modeling and Constraints : A Progress Report , 2005 .

[25]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[26]  David C. Gross,et al.  Managing Domain-Specific, Product-Line Development , 1996, IEEE Softw..

[27]  Olga De Troyer,et al.  Applying semantic web technology to feature modeling , 2009, SAC '09.

[28]  Samson W. Tu,et al.  Protégé-2000: An Open-Source Ontology-Development and Knowledge-Acquisition Environment: AMIA 2003 Open Source Expo , 2003, AMIA.

[29]  Dragan Gasevic,et al.  Formalizing interactive staged feature model configuration , 2012, J. Softw. Evol. Process..

[30]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[31]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

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

[33]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[34]  Rohit Gheyi,et al.  A Theory for Feature Models in Alloy , 2006 .

[35]  Sergio Segura,et al.  FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.

[36]  Mark A. Simos,et al.  Organization domain modeling (ODM): formalizing the core domain modeling life cycle , 1995, SSR '95.

[37]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[38]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[39]  Krzysztof Janowicz,et al.  Sim-DL: Towards a Semantic Similarity Measurement Theory for the Description Logic ALCNR in Geographic Information Retrieval , 2006, OTM Workshops.

[40]  Mikolás Janota,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007, 11th International Software Product Line Conference (SPLC 2007).

[41]  Francesco M. Donini,et al.  Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning , 2005, ESWC.

[42]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[43]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[44]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[45]  Francesco M. Donini,et al.  Abductive Matchmaking using Description Logics , 2003, IJCAI.

[46]  Francesco M. Donini,et al.  A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results , 2009, Description Logics.

[47]  Donald D. Cowan,et al.  S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.

[48]  Sharad Malik,et al.  Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[49]  Luciano Serafini,et al.  Composing Modular Ontologies with Distributed Description Logics , 2009, Modular Ontologies.

[50]  Mike Mannion Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[51]  Marek Hatala,et al.  Automated Staged Configuration with Semantic Web Technologies , 2010, Int. J. Softw. Eng. Knowl. Eng..

[52]  Antonio Ruiz Cortés,et al.  A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .

[53]  Victor R. Basili,et al.  A Validation of Object-Oriented Design Metrics as Quality Indicators , 1996, IEEE Trans. Software Eng..

[54]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[55]  R BasiliVictor,et al.  A Validation of Object-Oriented Design Metrics as Quality Indicators , 1996 .

[56]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[57]  Weichang Du,et al.  An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation , 2008, SEMWEB.

[58]  Donald D. Cowan,et al.  Efficient compilation techniques for large scale feature models , 2008, GPCE '08.

[59]  Paul C. Clements Managing Variability for Software Product Lines: Working with Variability Mechanisms , 2006, 10th International Software Product Line Conference (SPLC'06).

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