research-article

Consistency checking for the evolution of cardinality-based feature models

Authors:

Clément Quinton,

Andreas Pleuss,

Daniel Le Berre,

Laurence Duchien,

Goetz BotterweckAuthors Info & Claims

SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

Pages 122 - 131

https://doi.org/10.1145/2648511.2648524

Published: 15 September 2014 Publication History

Abstract

Feature-models (fms) are a widely used approach to specify the commonalities and variability in variable systems and software product lines. Various works have addressed edits to fms for fm evolution and tool support to ensure consistency of fms. An important extension to fms are feature cardinalities and related constraints, as extensively used e.g., when modeling variability of cloud computing environments. Since cardinality-based fms pose additional complexity, additional support for evolution and consistency checking with respect to feature cardinalities would be desirable, but has not been addressed yet. In this paper, we discuss common cardinality-based fm edits and resulting inconsistencies based on experiences with fms in cloud domain. We introduce tool-support for automated inconsistency detection and explanation based on an off-the-shelf solver. We demonstrate the feasibility of the approach by an empirical evaluation showing the performance of the tool.

References

[1]

V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba, and C. Lucena. Refactoring Product Lines. In GPCE'06, pages 201--210. ACM, 2006.

Digital Library

[2]

D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Inf. Syst., 35(6):615--636, 2010.

Digital Library

[3]

D. L. Berre and A. Parrain. The Sat4j library, release 2.2. JSAT, 7(2-3):59--6, 2010.

[4]

C. Bessiere, H. Fargier, and C. Lecoutre. Global Inverse Consistency for Interactive Constraint Satisfaction. In CP 2013, pages 159--174. Springer, 2013.

[5]

G. Botterweck and A. Pleuss. Evolution of software product lines. In Evolving Software Systems, pages 265--295. Springer, 2014.

[6]

K. Czarnecki, S. Helsen, and U. W. Eisenecker. Formalizing Cardinality-based Feature Models and their Specialization. Software Process: Improvement and Practice, 10(1):7--29, 2005.

[7]

K. Czarnecki, S. Helsen, and U. W. Eisenecker. Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process: Improvement and Practice, 10(2):143--169, 2005.

[8]

K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05. ACM, 2005.

[9]

Y. Dutuit and A. Rauzy. Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety, 58(2):127--144, 1997.

[10]

J. Guo, Y. Wang, P. Trinidad, and D. Benavides. Consistency Maintenance for Evolving Feature Models. Expert Syst. Appl., 39(5):4987--4998, 2012.

Digital Library

[11]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) - Feasibility Study. Technical report, The Software Engineering Institute, 1990.

[12]

R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wąsowski. Evolution of the Linux Kernel Variability Model. In SPLC'10, pages 136--150. Springer, 2010.

Digital Library

[13]

R. Michel, A. Classen, A. Hubaux, and Q. Boucher. A Formal Semantics for Feature Cardinalities in Feature Diagrams. In VaMoS'11, pages 82--89. ACM, 2011.

Digital Library

[14]

L. Neves, L. Teixeira, D. Sena, V. Alves, U. Kulezsa, and P. Borba. Investigating the Safe Evolution of Software Product Lines. In GPCE'11, pages 33--42. ACM, 2011.

Digital Library

[15]

A. Osman, S. Phon-Amnuaisuk, and C. K. Ho. Knowledge Based Method to Validate Feature Models. In SPLC'08 Workshops, pages 217--225. Lero, 2008.

[16]

P. Paskevicius, R. Damasevicius, and V. Štuikys. Change Impact Analysis of Feature Models. In ICIST 2012, pages 108--122. Springer, 2012.

[17]

L. Passos, K. Czarnecki, and A. Wąsowski. Towards a Catalog of Variability Evolution Patterns: The Linux Kernel Case. In FOSD'12, pages 62--69. ACM, 2012.

Digital Library

[18]

L. Passos, J. Guo, L. Teixeira, K. Czarnecki, A. Wąsowski, and P. Borba. Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel. In SPLC'13, pages 91--100. ACM, 2013.

Digital Library

[19]

A. Pleuss, G. Botterweck, D. Dhungana, A. Polzer, and S. Kowalewski. Model-driven Support for Product Line Evolution on Feature Level. J. Syst. Softw., 85(10):2261--2274, 2012.

Digital Library

[20]

K. Pohl, G. Böckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.

Digital Library

[21]

C. Quinton, D. Romero, and L. Duchien. Cardinality-based Feature Models with Constraints: A Pragmatic Approach. In SPLC'13, pages 162--166. ACM, 2013.

Digital Library

[22]

C. Quinton, D. Romero, and L. Duchien. Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In IEEE CLOUD, 2014.

Digital Library

[23]

R. Rabiser, P. Grünbacher, and D. Dhungana. Requirements for product derivation support: Results from a systematic literature review and an expert survey. Inf. Softw. Technol., 52(3):324--346, 2010.

Digital Library

[24]

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In IDPT 2002, 2002.

[25]

P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. In RE'06, pages 136--145. IEEE Computer Society, 2006.

Digital Library

[26]

C. Seidl, F. Heidenreich, and U. Aßmann. Co-evolution of Models and Feature Mapping in Software Product Lines. In SPLC'12, pages 76--85. ACM, 2012.

Digital Library

[27]

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework. Addison-Wesley, 2009.

Digital Library

[28]

T. Thüm, D. Batory, and C. Kastner. Reasoning About Edits to Feature Models. In ICSE'09, pages 254--264. IEEE Computer Society, 2009.

Digital Library

[29]

P. Trinidad and A. Ruiz--Cortés. Abductive Reasoning and Automated Analysis of Feature Models: How are they connected? In VaMos'09, page 145--153. Universität Duisburg-Essen, 2009.

Cited By

Vidal-Silva CDuarte VCardenas-Cobo JSerrano-Malebran JVeas IRubio-León J(2022)Reviewing Automated Analysis of Feature Model Solutions for the Product ConfigurationApplied Sciences10.3390/app1301017413:1(174)Online publication date: 23-Dec-2022
https://doi.org/10.3390/app13010174
Vidal-Silva CCardenas-Cobo JOrtiz ADuarte VTupac-Yupanqui M(2022)Exploring Functionality and Efficiency of Feature Model Product Configuration SolutionsIEEE Access10.1109/ACCESS.2022.323144910(134318-134332)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3231449
Nieke MMauro JSeidl CThüm TYu IFranzke F(2020)Anomaly analyses for feature-model evolutionACM SIGPLAN Notices10.1145/3393934.327812353:9(188-201)Online publication date: 7-Apr-2020
https://dl.acm.org/doi/10.1145/3393934.3278123
Show More Cited By

Index Terms

Consistency checking for the evolution of cardinality-based feature models
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. Context specific languages
      1. Domain specific languages

Recommendations

Extending feature models with relative cardinalities
SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

Feature modeling is widely used to capture and manage commonalities and variabilities in software product lines. Cardinality-based feature models are used when variability applies not only to the selection or exclusion of features but also to the number ...
Cardinality-based feature models with constraints: a pragmatic approach
SPLC '13: Proceedings of the 17th International Software Product Line Conference

Feature models originating from Software Product Line Engineering are a well-known approach to variability modeling. In many situations, the variability does not apply only on features but also on the number of times these features can be cloned. In ...
Consistency Checking Rules of Variability in Software Product Lines
BWCCA '13: Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, Communication and Applications

In product line, trace ability information is critical since product configuration is based on feature trace ability matrix. In this paper, we suggest consistency checking rules for verifying the trace ability information. With these rules, the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

September 2014

377 pages

ISBN:9781450327404

DOI:10.1145/2648511

Editors:
Stefania Gnesi
ISTI-CNR, Italy
,
Patrick Heymans
University of Namur, Belgium
,
Julia Rubin
IBM Research, Israel
,
Krzysztof Czarnecki
University of Waterloo, Canada
,
Deepak Dhungana
Siemens AG, Austria
,
Alessandro Fantechi
University of Florence, Italy
,
General Chairs:
Alessandro Fantechi
University of Florence, Italy
,
Stefania Gnesi
ISTI-CNR, Italy

Copyright © 2014 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

University of Florence: University of Florence
CNR: Istituto di Scienza e Tecnologie dell Informazione

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Science Foundation Ireland

Conference

SPLC '14

Sponsor:

University of Florence
CNR

SPLC '14: 18th International Software Product Line Conference

September 15 - 19, 2014

Florence, Italy

Acceptance Rates

SPLC '14 Paper Acceptance Rate 36 of 97 submissions, 37%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
233
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)4

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Vidal-Silva CDuarte VCardenas-Cobo JSerrano-Malebran JVeas IRubio-León J(2022)Reviewing Automated Analysis of Feature Model Solutions for the Product ConfigurationApplied Sciences10.3390/app1301017413:1(174)Online publication date: 23-Dec-2022
https://doi.org/10.3390/app13010174
Vidal-Silva CCardenas-Cobo JOrtiz ADuarte VTupac-Yupanqui M(2022)Exploring Functionality and Efficiency of Feature Model Product Configuration SolutionsIEEE Access10.1109/ACCESS.2022.323144910(134318-134332)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3231449
Nieke MMauro JSeidl CThüm TYu IFranzke F(2020)Anomaly analyses for feature-model evolutionACM SIGPLAN Notices10.1145/3393934.327812353:9(188-201)Online publication date: 7-Apr-2020
https://dl.acm.org/doi/10.1145/3393934.3278123
Quinton CVierhauser MRabiser RBaresi LGrünbacher PSchuhmayer C(2020)Evolution in dynamic software product linesJournal of Software: Evolution and Process10.1002/smr.2293Online publication date: 19-Jun-2020
https://doi.org/10.1002/smr.2293
Brings JDaun MBandyszak TStricker VWeyer TMirzaei ENeumann MZernickel J(2019)Model-based documentation of dynamicity constraints for collaborative cyber-physical system architecturesJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.02.01297:C(153-167)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1016/j.sysarc.2019.02.012
Nieke MMauro JSeidl CThüm TYu IFranzke FVan Wyk ERompf T(2018)Anomaly analyses for feature-model evolutionProceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3278122.3278123(188-201)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3278122.3278123
Weckesser MLochau MRies MSchürr AWąsowski APaige RHaugen Ø(2018)Mathematical Programming for Anomaly Analysis of Clafer ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239398(34-44)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239398
Maraee ASturm A(2018)Reasoning methods for ME-maps — A CSP based approach2018 12th International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2018.8406678(1-11)Online publication date: May-2018
https://doi.org/10.1109/RCIS.2018.8406678
Weckesser MLochau MRies MSchürr ASimmonds JWalkingshaw E(2017)Towards complete consistency checks of Clafer modelsProceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development10.1145/3141848.3141850(11-20)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3141848.3141850
Deckwerth FKulcsár GLochau MVarró GSchürr A(2016)Conflict Detection for Edits on Extended Feature Models using Symbolic Graph TransformationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.206.3206(17-31)Online publication date: 28-Mar-2016
https://doi.org/10.4204/EPTCS.206.3
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