More Web Proxy on the site http://driver.im/

research-article

Cardinality-based feature models with constraints: a pragmatic approach

Authors:

Clément Quinton,

Laurence DuchienAuthors Info & Claims

SPLC '13: Proceedings of the 17th International Software Product Line Conference

Pages 162 - 166

https://doi.org/10.1145/2491627.2491638

Published: 26 August 2013 Publication History

Abstract

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 such a case, cardinality-based feature models are used to specify the number of clones for a given feature. Although previous works already investigated approaches for feature modeling with cardinality, there is still a lack of support for constraints in the presence of clones. To overcome this limitation, we present an abstract model to define constraints in cardinality-based feature models and propose a formal semantics for this kind of constraints. We illustrate the practical usage of our approach with examples from our recent experiences on cloud computing platform configuration.

References

[1]

http://researchers.lille.inria.fr/~cquinton/splc/splc2013.html.

[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, Sept. 2010.

Digital Library

[3]

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés. Using Java CSP Solvers in the Automated Analyses of Feature Models. In Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, GTTSE'05, pages 399--408, 2006.

Digital Library

[4]

P. Clements and L. M. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., 2001.

Digital Library

[5]

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.

[6]

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.

[7]

D. Dhungana, A. Falkner, and A. Haselbock. Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction. In Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on, pages 100--103, 30 2011-sept. 2 2011.

Digital Library

[8]

A. Gómez and I. Ramos. Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, pages 61--68, 2010.

[9]

P. Mell and T. Grance. The NIST Definition of Cloud Computing. Technical report, National Institute of Standards and Technology, 2009.

[10]

R. Michel, A. Classen, A. Hubaux, and Q. Boucher. A Formal Semantics for Feature Cardinalities in Feature Diagrams. In Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS'11, pages 82--89, 2011.

Digital Library

[11]

C. Parra, A. Cleve, X. Blanc, and L. Duchien. Feature-based composition of software architectures. In Proceedings of the 4th European conference on Software architecture, ECSA'10, pages 230--245, 2010.

Digital Library

[12]

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

Digital Library

[13]

C. Quinton, N. Haderer, R. Rouvoy, and L. Duchien. Towards Multi-Cloud Configurations Using Feature Models and Ontologies. In 1st International Workshop on Multi-Cloud Applications and Federated Clouds, Prague, Czech Republic, Apr. 2013.

Digital Library

[14]

C. Quinton, R. Rouvoy, and L. Duchien. Leveraging Feature Models to Configure Virtual Appliances. In Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP '12, pages 2:1--2:6. ACM, 2012.

Digital Library

[15]

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In 6th World Conference on Integrated Design & Process Technology (IDPT2002), June 2002.

[16]

D. Steinberg, et al. EMF: Eclipse Modeling Framework (2nd Edition). 2nd revised edition, 2009.

Digital Library

[17]

W. Zhang, H. Yan, H. Zhao, and Z. Jin. A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. In H. Mei, editor, High Confidence Software Reuse in Large Systems, volume 5030 of Lecture Notes in Computer Science, pages 186--199. 2008.

Digital Library

Cited By

Müller RWeiß MLochau M(2024)Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset SemiringsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676539(1-11)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676539
Güthing LWeiß MSchaefer ILochau M(2024)Sampling Cardinality-Based Feature ModelsProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634719(46-55)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634719
Sundermann CVill SThüm TFeichtinger KAgarwal PRabiser RGalindo JBenavides D(2023)UVLParserProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609013(39-42)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609013
Show More Cited By

Index Terms

Cardinality-based feature models with constraints: a pragmatic approach
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 ...
Feature Assembly Framework: towards scalable and reusable feature models
VaMoS '11: Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive Systems

Feature models have been commonly used to model the variability in software product lines. In this paper we present the Feature Assembly framework which is a new approach for creating feature models through feature composition and feature assembly. ...
Consistency checking for the evolution of cardinality-based feature models
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '13: Proceedings of the 17th International Software Product Line Conference

August 2013

286 pages

ISBN:9781450319683

DOI:10.1145/2491627

General Chair:
Tomoji Kishi,
Program Chairs:
Stan Jarzabek,
Stefania Gnesi

Copyright © 2013 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 the author(s) 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

IPSJ: Information Processing Society of Japan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 August 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC 2013

Sponsor:

IPSJ

SPLC 2013: 17th International Software Product Line Conference

August 26 - 30, 2013

Tokyo, Japan

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
354
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Müller RWeiß MLochau M(2024)Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset SemiringsProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676539(1-11)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676539
Güthing LWeiß MSchaefer ILochau M(2024)Sampling Cardinality-Based Feature ModelsProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634719(46-55)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634719
Sundermann CVill SThüm TFeichtinger KAgarwal PRabiser RGalindo JBenavides D(2023)UVLParserProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609013(39-42)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609013
Meixner KFeichtinger KRabiser RBiffl S(2022)Efficient Production Process Variability ExplorationProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3511274(1-9)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3511274
Felfernig AOrtner BLe VFelfernig AFuentes L(2022)Table-based knowledge representations for industrial feature modelsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547047(245-248)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547047
Horcas JPinto MFuentes L(2022)Empirical analysis of the tool support for software product linesSoftware and Systems Modeling10.1007/s10270-022-01011-222:1(377-414)Online publication date: 8-Jun-2022
https://doi.org/10.1007/s10270-022-01011-2
Galindo JBenavides D(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
https://dl.acm.org/doi/10.1145/3382026.3425773
Bodeveix JDieumegard AFilali M(2020)Event-B formalization of a variability-aware component model patterns frameworkScience of Computer Programming10.1016/j.scico.2020.102511(102511)Online publication date: Jul-2020
https://doi.org/10.1016/j.scico.2020.102511
Ripon SRasel FHowlader RIslam M(2020)Automated Requirements Extraction and Product Configuration Verification for Software Product LineAutomated Software Testing10.1007/978-981-15-2455-4_2(27-51)Online publication date: 4-Feb-2020
https://doi.org/10.1007/978-981-15-2455-4_2
Achilleos AKritikos KRossini AKapitsaki GDomaschka JOrzechowski MSeybold DGriesinger FNikolov NRomero DPapadopoulos G(2019)The cloud application modelling and execution languageJournal of Cloud Computing10.1186/s13677-019-0138-78:1Online publication date: 16-Dec-2019
https://doi.org/10.1186/s13677-019-0138-7
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