research-article

CardyGAn: Tool Support for Cardinality-based Feature Models

Authors:

Thomas Schnabel,

Markus Weckesser,

Andy SchürrAuthors Info & Claims

VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems

Pages 33 - 40

https://doi.org/10.1145/2866614.2866619

Published: 27 January 2016 Publication History

Abstract

Cardinality-based feature models (CFM) constitute a crucial and non-trivial extension to FODA feature models in terms of UML-like feature multiplicities and corresponding cardinality constraints. CFM allow for specifying configuration choices of software systems incorporating multiple instances (copies) of features, e.g., for tailoring customer-specific and even potentially unrestricted application resources. Nevertheless, the improved expressiveness of CFM compared to FODA feature models complicates configuration semantics, including sub-tree cloning and potentially unbounded configuration spaces. As a consequence, entirely novel anomalies might arise such as dead cardinality intervals, false unboundedness, and cardinality gaps, which are not properly treated by recent feature-modeling tools. In this paper, we present comprehensive tool support for assisting specification, validation, and configuration of CFM. Our tool CARDYGAN, therefore, incorporates capabilities for CFM editing, automated CFM validation including anomaly detection based on a combination of ILP and SMT solvers, as well as a CFM configuration engine based on ALLOY.

References

[1]

M. Antkiewicz, K. Bak, A. Murashkin, R. Olaechea, J. H. J. Liang, and K. Czarnecki. Clafer Tools for Product Line Engineering. In SPLC 2013 workshops, pages 130--135, 2013.

Digital Library

[2]

S. Apel, D. S. Batory, C. Kästner, and G. Saake. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer, 1. edition, 2013.

[3]

D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years later: A Literature Review. Information Systems, 35, 2010.

Digital Library

[4]

D. Benavides, P. Trinidad, and A. Ruiz-Cortés. Automated Reasoning on Feature Models. In CAiSE, pages 491--503, 2005.

Digital Library

[5]

P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing, 1. edition, 2001.

Digital Library

[6]

M. Cordy, P.-Y. Schobbens, P. Heymans, and A. Legay. Beyond Boolean Product-line Model Checking: Dealing with Feature Attributes and Multi-features. In Proc. of ICSE'13, pages 472--481, 2013.

Digital Library

[7]

K. Czarnecki and U. W. Eisenecker. Generative programming - methods, tools and applications. Addison-Wesley, 1. edition, 2000.

Digital Library

[8]

K. Czarnecki, S. Helsen, and U. Eisenecker. Staged Configuration using Feature Models. In Software Product Lines, pages 266--283. 2004.

[9]

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.

[10]

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

[11]

L. De Moura and N. Bjørner. Z3: An efficient smt solver. In Proc. of TACAS'08, pages 337--340, 2008.

Digital Library

[12]

M. Eysholdt and H. Behrens. Xtext: Implement Your Language Faster Than the Quick and Dirty Way. In Proc. of OOPSLA'10, pages 307--309, 2010.

Digital Library

[13]

S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic Software Product Lines. Computer, 41(4):93--95, 2008.

Digital Library

[14]

D. Jackson. Software Abstractions. Revised edition, 2012.

[15]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and S. A. Peterson. Feature Oriented Domain Analysis (FODA). Technical report, CMU, 1990.

[16]

M. Mendonça, A. Wasowski, and K. Czarnecki. SAT-based Analysis of Feature Models is Easy. In Proc. of SPLC'09, pages 231--240, 2009.

Digital Library

[17]

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

Digital Library

[18]

C. Quinton, A. Pleuss, D. L. Berre, L. Duchien, and G. Botterweck. Consistency Checking for the Evolution of Cardinality-based Feature Models. In Proc. of SPLC'14, pages 122--131, 2014.

Digital Library

[19]

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

Digital Library

[20]

C. Quinton, D. Romero, and L. Duchien. Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In Proc. of CLOUD'14', pages 144--151, June 2014.

Digital Library

[21]

C. Quinton, D. Romero, and L. Duchien. SALOON: A Platform for Selecting and Configuring Cloud Environments. Software -- Practice and Experience, 46, Jan. 2015.

[22]

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

[23]

J. Schroeter, P. Mucha, M. Muth, K. Jugel, and M. Lochau. Dynamic Configuration Management of Cloud-based Applications. In Proc. of SPLC'12, pages 171--178, 2012.

Digital Library

[24]

S. Segura, J. Galindo, D. Benavides, J. Parejo, and A. Ruiz-Cortés. BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models. In U. Eisenecker, S. Apel, and S. Gnesi, editors, Proc. of VaMoS'12, pages 63--71, 2012.

Digital Library

[25]

SINTEF (MOD research group). Cvl 2 tool. http://modelbased.net/tools/cvl-2-tool/, 2013.

[26]

T. Tank, N. Yee, and J. M. G. Linnartz. Vehicle-to-Vehicle Communication for AVCS platooning. In Proc. of VTC, pages 448--451, 1994.

[27]

T. Thüm, C. Kästner, F. Benduhn, J. Meinicke, G. Saake, and T. Leich. FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. Sci. Comput. Program., 79:70--85, 2014.

Digital Library

[28]

M. Weckesser, M. Lochau, T. Schnabel, B. Richerzhagen, and A. Schürr. Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models. In FASE '16, page accepted to appear, 2016.

[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. of ICSR'08, 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
Prokopets VPukhkaiev DAßmann U(2024)Waffle: A Novel Feature Modeling Language for Highly-Configurable Software Systems2024 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)10.1109/BlackSeaCom61746.2024.10646267(382-385)Online publication date: 24-Jun-2024
https://doi.org/10.1109/BlackSeaCom61746.2024.10646267
Show More Cited By

Recommendations

Towards complete consistency checks of Clafer models
FOSD 2017: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development

Clafer is a general purpose modeling language that combines UML-like class and meta-modeling with feature-oriented variability modeling and first-order logic constraints. The considerable expressiveness of Clafer makes automated reasoning about ...
Attribute-based variability in feature models

Extended feature models enable the expression of complex cross-tree constraints involving feature attributes. The inclusion of attributes in cross-tree relations not only enriches the constraints, but also engenders an extended type of variability that ...
Staged configuration of dynamic software product lines with complex binding time constraints
VaMoS '14: Proceedings of the 8th International Workshop on Variability Modelling of Software-Intensive Systems

Dynamic software product lines (DSPL) constitute a promising approach for developing highly-configurable, runtime-adaptive systems in a feature-oriented way. A DSPL integrates both variability in time and space in a unified conceptual framework. For ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems

January 2016

116 pages

ISBN:9781450340199

DOI:10.1145/2866614

Editors:
Ina Schaefer
TU Braunschweig, Germany
,
Vander Alves
University of Brasília, Brazil
,
Eduardo Santana de Almeida
Federal University of Bahia and RiSE Labs, Brazil

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]

In-Cooperation

SBC: Sociedade Brasileira de Computação
FAPESB: Fundação de Amparo à Pesquisa do Estado da Bahia
University of Brasília: University of Brasília
Technische Universität Braunschweig

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 January 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Deutsche Forschungsgemeinschaft

Conference

VaMoS '16

VaMoS '16: Tenth International Workshop on Variability Modelling of Software-intensive Systems

January 27 - 29, 2016

Salvador, Brazil

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
259
Total Downloads

Downloads (Last 12 months)27
Downloads (Last 6 weeks)2

Reflects downloads up to 02 Oct 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
Prokopets VPukhkaiev DAßmann U(2024)Waffle: A Novel Feature Modeling Language for Highly-Configurable Software Systems2024 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)10.1109/BlackSeaCom61746.2024.10646267(382-385)Online publication date: 24-Jun-2024
https://doi.org/10.1109/BlackSeaCom61746.2024.10646267
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
Fadhlillah HFeichtinger KBauer PKutsia ERabiser RFelfernig AFuentes L(2022)V4rdiacProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547028(34-37)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547028
Pfannemüller MBreitbach MWeckesser MBecker CSchmerl BSchürr AKrupitzer C(2021)REACT-ION: A Model-based Runtime Environment for Situation-aware AdaptationsACM Transactions on Autonomous and Adaptive Systems10.1145/348791915:4(1-29)Online publication date: 20-Dec-2021
https://dl.acm.org/doi/10.1145/3487919
Tomaszek SSpeith RSchürr A(2021)Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniquesSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00852-z20:4(1299-1332)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s10270-020-00852-z
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
Kluge RStein MVarró GSchürr AHollick MMühlhäuser M(2019)A systematic approach to constructing families of incremental topology control algorithms using graph transformationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0587-818:1(279-319)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0587-8
Sousa GRudametkin WDuchien LMei H(2016)Extending feature models with relative cardinalitiesProceedings of the 20th International Systems and Software Product Line Conference10.1145/2934466.2934475(79-88)Online publication date: 16-Sep-2016
https://dl.acm.org/doi/10.1145/2934466.2934475
Show More Cited By

View Options

Get Access

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