research-article

Automated reasoning for multi-step feature model configuration problems

Authors:

Brian Dougherty,

Doulas C. Schmidt,

David BenavidesAuthors Info & Claims

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

Pages 11 - 20

Published: 24 August 2009 Publication History

Abstract

The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing software reusability. One software reuse approach is to develop a Software Product-line (SPL), which is a reconfigurable software architecture that can be reused across projects. Creating configurations of the SPL that meets arbitrary requirements is hard.

Existing research has focused on techniques that produce a configuration of the SPL in a single step. This paper provides three contributions to the study of multi-step configuration for SPLs. First, we present a formal model of multi-step SPL configuration and map this model to constraint satisfaction problems (CSPs). Second, we show how solutions to these CSP configuration problem CSPs can be derived automatically with a constraint solver. Third, we present empirical results demonstrating that our CSP-based technique can solve multi-step configuration problems involving hundreds of features in seconds.

References

[1]

D. Batory. Feature Models, Grammars, and Prepositional Formulas. Software Product Lines: 9th International Conference, SPLC 2005, Rennes, France, September 26--29, 2005: Proceedings, 2005.

Digital Library

[2]

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés. FAMA: Tooling a framework for the automated analysis of feature models. In Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), 2007.

[3]

D. Benavides, P. Trinidad, and A. Ruiz-Cortes. Automated Reasoning on Feature Models. In Proceedings of the 17th Conference on Advanced Information Systems Engineering, Porto, Portugal, 2005. ACM/IFIP/USENIX.

Digital Library

[4]

D. Beuche. Variant Management with Pure:: variants. Technical report, Pure-Systems GmbH, http://www.pure-systems.com, 2003.

[5]

R. Buhrdorf, D. Churchett, and C. Krueger. Salion's Experience with a Reactive Software Product Line Approach. In Proceedings of the 5th International Workshop on Product Family Engineering, Siena, Italy, November 2003.

[6]

A. Classen, A. Hubaux, and P. Heymans. A Formal Semantics for Multi-level Staged Configuration. In Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems, pages 51--60, January 2009.

[7]

P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, Boston, USA, 2002.

Digital Library

[8]

K. Czarnecki, S. Helsen, and U. Eisenecker. Staged Configuration Using Feature Models. Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004: Proceedings, 2004.

[9]

L. Etxeberria and G. Sagardui. Variability Driven Quality Evaluation in Software Product Lines. In Software Product Line Conference, 2008. SPLC'08. 12th International, pages 243--252, 2008.

Digital Library

[10]

P. V. Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, USA, 1989.

Digital Library

[11]

A. Immonen. A method for predicting reliability and availability at the architectural level. Research Issues in Software Product-Lines-Engineering and Management, T. Käkölä and JC Dueñas, Editors, 2005.

[12]

K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh. FORM: A Feature-Oriented Reuse Method with Domain-specific Reference Architectures. Annals of Software Engineering, 5(0):143--168, January 1998.

Digital Library

[13]

M. Mannion. Using first-order logic for product line model validation. Proceedings of the Second International Conference on Software Product Lines, 2379:176--187, 2002.

Digital Library

[14]

F. Olumofin and V. Misic. Extending the ATAM Architecture Evaluation to Product Line Architectures. In IEEE/IFIP Working Conference on Software Architecture, WICSA, 2005.

Digital Library

[15]

J. White, A. Nechypurenko, E. Wuchner, and D. C. Schmidt. Automating Product-Line Variant Selection for Mobile Devices. In Proceedings of the 11th Annual Software Product Line Conference (SPLC), Kyoto, Japan, Sept. 2007.

Digital Library

[16]

J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-Cortez. Automated Diagnosis of Product-line Configuration Errors in Feature Models. In Proceedings of the Software Product Lines Conference (SPLC), Limerick, Ireland, Sept. 2008.

Digital Library

Cited By

Han RHan WHan ZTian YChen LHan RBaysal OLinares-Vasquez MMoran KSteinmacher I(2024)CRSP: Emulating Human Cooperative Reasoning for Intelligible Story Point EstimationProceedings of the 32nd IEEE/ACM International Conference on Program Comprehension10.1145/3643916.3644417(166-177)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643916.3644417
Alférez MAcher MGalindo JBaudry BBenavides D(2019)Modeling variability in the video domainSoftware Quality Journal10.1007/s11219-017-9400-827:1(307-347)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11219-017-9400-8
Lochau MBürdek JHölzle SSchürr A(2017)Specification and automated validation of staged reconfiguration processes for dynamic software product linesSoftware and Systems Modeling (SoSyM)10.1007/s10270-015-0470-416:1(125-152)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1007/s10270-015-0470-4
Show More Cited By

Index Terms

Automated reasoning for multi-step feature model configuration problems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Constraints
    2. Software configuration management and version control systems

Recommendations

Applying constraint satisfaction approach to solve product configuration problems with cardinality-based configuration rules

In this paper, the product configuration problems that are characterized by cardinality-based configuration rules are dealt with. Novel configuration rules including FI and EI rules are presented to clarify the semantics of inclusion rules when ...
Solving large configuration problems efficiently by clustering the ConBaCon model
IEA/AIE '00: Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches

In this paper, we outline our constraint-based model for configuring and reconfiguring industrial products as well as some aspects of its prototypical implementation ConBaCon (Constraint-Based Configuration). ConBaCon overcomes the deficits of existing ...
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems
Abstract
Product line engineering (PLE) has been employed to large-scale cyber-physical systems (CPSs) to provide customization based on users’ needs. A PLE methodology can be characterized by its support for capturing and managing the abstractions as ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

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

August 2009

319 pages

Conference Chair:
Dirk Muthig
Lufthansa Systems Passenger Services GmbH, Germany
,
Program Chair:
John D. McGregor
Clemson University

Publisher

Carnegie Mellon University

United States

Publication History

Published: 24 August 2009

Check for updates

Qualifiers

Research-article

Funding Sources

Andalusian Government, ISABEL project
Spanish Government, CICYT project Web-Factories

Conference

SPLC '09

SPLC '09: 13th International Software Product Line Conference

August 24 - 28, 2009

California, San Francisco, USA

Acceptance Rates

SPLC '09 Paper Acceptance Rate 30 of 82 submissions, 37%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
413
Total Downloads

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

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Han RHan WHan ZTian YChen LHan RBaysal OLinares-Vasquez MMoran KSteinmacher I(2024)CRSP: Emulating Human Cooperative Reasoning for Intelligible Story Point EstimationProceedings of the 32nd IEEE/ACM International Conference on Program Comprehension10.1145/3643916.3644417(166-177)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643916.3644417
Alférez MAcher MGalindo JBaudry BBenavides D(2019)Modeling variability in the video domainSoftware Quality Journal10.1007/s11219-017-9400-827:1(307-347)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11219-017-9400-8
Lochau MBürdek JHölzle SSchürr A(2017)Specification and automated validation of staged reconfiguration processes for dynamic software product linesSoftware and Systems Modeling (SoSyM)10.1007/s10270-015-0470-416:1(125-152)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1007/s10270-015-0470-4
Alidra AKimour MLaval JEtien A(2016)Prototyping Software Product Lines analysis with PharoProceedings of the 11th edition of the International Workshop on Smalltalk Technologies10.1145/2991041.2991053(1-11)Online publication date: 23-Aug-2016
https://dl.acm.org/doi/10.1145/2991041.2991053
Elfaki A(2016)A rule-based approach to detect and prevent inconsistency in the domain-engineering processExpert Systems: The Journal of Knowledge Engineering10.1111/exsy.1211633:1(3-13)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1111/exsy.12116
Afzal UMahmood TShaikh Z(2016)Intelligent software product line configurationsComputer Standards & Interfaces10.1016/j.csi.2016.03.00348:C(30-48)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1016/j.csi.2016.03.003
Karataş AOğuztüzün H(2016)Attribute-based variability in feature modelsRequirements Engineering10.1007/s00766-014-0216-921:2(185-208)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s00766-014-0216-9
Peng ZWang JHe KLi H(2016)An Approach for Prioritizing Software Features Based on Node Centrality in Probability NetworkProceedings of the 15th International Conference on Software Reuse: Bridging with Social-Awareness - Volume 967910.1007/978-3-319-35122-3_8(106-121)Online publication date: 5-Jun-2016
https://dl.acm.org/doi/10.1007/978-3-319-35122-3_8
Nasir SMahmood TShaikh MShaikh Z(2015)Fault-tolerant context development and requirement validation in ERP systemsComputer Standards & Interfaces10.1016/j.csi.2014.05.00137:C(9-19)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1016/j.csi.2014.05.001
Stein JNunes ICirilo EFantechi AGnesi S(2014)Preference-based feature model configuration with multiple stakeholdersProceedings of the 18th International Software Product Line Conference - Volume 110.1145/2648511.2648525(132-141)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2648511.2648525
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