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

research-article

Extending feature models with relative cardinalities

Authors:

Walter Rudametkin,

Laurence DuchienAuthors Info & Claims

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

Pages 79 - 88

https://doi.org/10.1145/2934466.2934475

Published: 16 September 2016 Publication History

Abstract

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 of times a feature can be included in a product. Feature cardinalities are usually considered to apply in either a local or global scope. However, we have identified that these interpretations are insufficient to capture the variability of cloud environments. In this paper, we redefine cardinality-based feature models to allow multiple relative cardinalities between features and we discuss the effects of relative cardinalities on feature modeling semantics, consistency and cross-tree constraints. To evaluate our approach we conducted an analysis of relative cardinalities in four cloud computing providers. In addition, we developed tools for reasoning on feature models with relative cardinalities and performed experiments to verify the performance and scalability of the approach. The results from our study indicate that extending feature models with relative cardinalities is feasible and improves variability modeling, particularly in the case of cloud environments.

References

[1]

M. Acher, P. Collet, A. Gaignard, P. Lahire, J. Montagnat, and R. France. Composing multiple variability artifacts to assemble coherent workflows. Software Quality Journal, 20(3):689--734, 2012.

Digital Library

[2]

M. Antkiewicz and K. Czarnecki. FeaturePlugin: Feature modeling plug-in for eclipse. In Proc. 2004 OOPSLA Workshop Eclipse Technology eXchange, pages 67--72, Oct. 2004.

Digital Library

[3]

L. Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, 2013.

Digital Library

[4]

K. Czarnecki, T. Bednasch, P. Unger, and U. W. Eisenecker. Generative programming for embedded software: An industrial experience report. In Proc. 1st ACM SIGPLAN/SIGSOFT Conf. Generative Programming and Component Engineering, pages 156--172, Oct. 2002.

Digital Library

[5]

K. Czarnecki, S. Helsen, and U. Eisenecker. Staged configuration using feature models. In Proc. 3rd Software Product Line Conference, pages 266--283, 2004.

[6]

K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10(1):7--29, 2005.

[7]

K. Czarnecki and C. H. P. Kim. Cardinality-based feature modeling and constraints: A progress report. In Proc. Int. Workshop Software Factories, pages 16--20, 2005.

[8]

A. Ferreira Leite, V. Alves, G. Nunes Rodrigues, C. Tadonki, C. Eisenbeis, and A. Magalhaes Alves de Melo. Automating resource selection and configuration in inter-clouds through a software product line method. In Proc. 8th IEEE Int. Conf. Cloud Computing, pages 726--733, 2015.

Digital Library

[9]

N. Gamez and L. Fuentes. Software product line evolution with cardinality-based feature models. In Proc. 12th Int. Conf. Software Reuse, pages 102--118, 2011.

Digital Library

[10]

J. García-Galán, P. Trinidad, O. F. Rana, and A. Ruiz-Cortés. Automated configuration support for infrastructure migration to the cloud. Future Generation Computer Systems, 55:200--212, 2016.

Digital Library

[11]

M. Harman, Y. Jia, J. Krinke, W. B. Langdon, J. Petke, and Y. Zhang. Search based software engineering for software product line engineering: A survey and directions for future work. In Proc. 18th Int. Software Product Line Conference, pages 5--18, 2014.

Digital Library

[12]

H. Hartmann, T. Trew, and A. Matsinger. Supplier independent feature modelling. In Proc. 13th Int. Software Product Line Conference, pages 191--200, 2009.

Digital Library

[13]

M. Heinrich and E. W. Jungst. A resource-based paradigm for the configuring of technical systems from modular components. In Proc. 7th IEEE Conf. Artificial Intelligence Applications, pages 257--264, Feb. 1991.

[14]

C. Henard, M. Papadakis, M. Harman, and Y. Le Traon. Combining multi-objective search and constraint solving for configuring large software product lines. In Proc. 37th IEEE/ACM Int. Conf. Software Engineering, 2015.

Digital Library

[15]

M. Hinchey, S. Park, and K. Schmid. Building dynamic software product lines. Computer, 45(10):22--26, 2012.

Digital Library

[16]

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, DTIC Document, 1990.

[17]

A. S. Karataş, H. Oğuztüzün, and A. Doğru. From extended feature models to constraint logic programming. Science of Computer Programming, 78(12):2295 -- 2312, 2013.

[18]

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-Michiels. Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In Proc. 6th Int. Conf. Evaluation of Novel Approaches to Software Engineering, June 2011.

[19]

R. Michel, A. Classen, A. Hubaux, and Q. Boucher. A formal semantics for feature cardinalities in feature diagrams. In Proc. 5th Workshop Variability Modeling Software-Intensive Systems, pages 82--89, 2011.

Digital Library

[20]

C. Prud'homme, J.-G. Fages, and X. Lorca. Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S., 2015.

[21]

C. Quinton, A. Pleuss, D. L. Berre, L. Duchien, and G. Botterweck. Consistency checking for the evolution of cardinality-based feature models. In Proc. 18th Int. Software Product Line Conference, pages 122--131, 2014.

Digital Library

[22]

C. Quinton, D. Romero, and L. Duchien. Cardinality-based feature models with constraints: A pragmatic approach. In Proc. 17th Int. Software Product Line Conference, pages 162--166, 2013.

Digital Library

[23]

C. Quinton, D. Romero, and L. Duchien. SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, 46(1):55--78, 2016.

Digital Library

[24]

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending feature diagrams with UML multiplicities. In Proc. 6th World Conference Integrated Design & Process Technology, 2002.

[25]

D. Romero, C. Quinton, L. Duchien, L. Seinturier, and C. Valdez. SmartyCo: Managing cyber-physical systems for smart environments. In Proc. 9th European Conference Software Architecture, pages 294--302, Sept. 2015.

[26]

A. Safilian, T. Maibaum, and Z. Diskin. The semantics of cardinality-based feature models via formal languages. In Proc. 20th Int. Symp. Formal Methods, pages 453--469, 2015.

[27]

T. Schnabel, M. Weckesser, R. Kluge, M. Lochau, and A. Schürr. Cardygan: Tool support for cardinality-based feature models. In Proc. 10th Int. Workshop Variability Modelling Software-Intensive Systems, pages 33--40, 2016.

Digital Library

[28]

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro. EMF: Eclipse Modeling Framework. Pearson Education, 2008.

Digital Library

[29]

W. Zhang, H. Yan, H. Zhao, and Z. Jin. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. In Proc. 10th Int. Conf. Software Reuse, 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
de Castro DCortiñas ALuaces MPedreira OPlaces Á(2024)Local featuresJournal of Systems and Software10.1016/j.jss.2024.112035213:COnline publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112035
Show More Cited By

Index Terms

Extending feature models with relative cardinalities
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines

Recommendations

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 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 ...
Reverse Engineering Feature Models from Programs' Feature Sets
WCRE '11: Proceedings of the 2011 18th Working Conference on Reverse Engineering

Successful software is more and more rarely developed as a one-of-a-kind system. Instead, different system variants are built from a common set of assets and customized for catering to the different functionality or technology needs of the distinct ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

September 2016

367 pages

ISBN:9781450340502

DOI:10.1145/2934466

General Chair:
Hong Mei
Shanghai Jiao Tong University, China

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

Huawei Technologies Co. Ltd.: Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies: Key Laboratory of High Confidence Software Technologies, Ministry of Education
DC Holdings: Digital China Holdings Limited

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '16

Sponsor:

Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies
DC Holdings

SPLC '16: The 20th International Systems and Software Product Line Conference

September 16 - 23, 2016

Beijing, China

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
144
Total Downloads

Downloads (Last 12 months)11
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
de Castro DCortiñas ALuaces MPedreira OPlaces Á(2024)Local featuresJournal of Systems and Software10.1016/j.jss.2024.112035213:COnline publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112035
de Castro DCortiñas ALuaces MPedreira ÓPlaces ÁFelfernig AFuentes L(2022)Improving the customization of software product lines through the definition of local featuresProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A10.1145/3546932.3547006(199-209)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3546932.3547006
Shimbara DSaeki MHayashi SHaugen Ø(2021)Handling Quantity in Variability Models for System-of-SystemsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402150020031:05(693-724)Online publication date: 21-May-2021
https://doi.org/10.1142/S0218194021500200
Tolvanen JKelly S(2019)How Domain-Specific Modeling Languages Address Variability in Product Line DevelopmentProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336316(155-163)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336316
Horcas JPinto MFuentes L(2019)Software Product Line EngineeringProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336304(164-176)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336304
Ali MNasr EGeith M(2016)Mapping functional requirements of ERP SPL on an extended form of Feature Model2016 12th International Computer Engineering Conference (ICENCO)10.1109/ICENCO.2016.7856458(136-141)Online publication date: Dec-2016
https://doi.org/10.1109/ICENCO.2016.7856458
Sousa GRudametkin WDuchien L(2016)Automated Setup of Multi-cloud Environments for Microservices Applications2016 IEEE 9th International Conference on Cloud Computing (CLOUD)10.1109/CLOUD.2016.0051(327-334)Online publication date: Jun-2016
https://doi.org/10.1109/CLOUD.2016.0051

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