Article

Using java CSP solvers in the automated analyses of feature models

Authors:

David Benavides,

Pablo Trinidad,

Antonio Ruiz-CortésAuthors Info & Claims

GTTSE'05: Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Pages 399 - 408

https://doi.org/10.1007/11877028_16

Published: 04 July 2005 Publication History

Abstract

Feature Models are used in different stages of software development and are recognized to be an important asset in model transformation techniques and software product line development. The automated analysis of feature models is being recognized as one of the key challenges for automated software development in the context of Software Product Lines. In our previous work we explained how a feature model can be transformed into a constraint satisfaction problem. However cardinalities were not considered. In this paper we present how a cardinality-based feature model can be also translated into a constraint satisfaction problem. In that connection, it is possible to use off-the-shelf tools to automatically accomplish several tasks such as calculating the number of possible feature configurations and detecting possible conflicts. In addition, we present a performance test between two off-the-shelf Java constraint solvers. To the best of our knowledge, this is the first time a performance test is presented using solvers for feature modelling proposes

References

[1]

D. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference, LNCS 3714, pages 7-20, 2005.

Digital Library

[2]

D. Batory. A tutorial on feature oriented programming and the ahead tool suite. In Summer school on Generative and Transformation Techniques in Software Engineering, 2005.

Digital Library

[3]

D. Batory, J. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Trans. Software Eng., 30(6):355-371, 2004.

Digital Library

[4]

D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Automated reasoning on feature models. LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 3520:491-503, 2005.

Digital Library

[5]

D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Using constraint programming to reason on feature models. In The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05), July 2005.

[6]

D. Benavides, S. Trujillo, and P. Trinidad. On the modularization of feature models. In First European Workshop on Model Transformation, September 2005.

[7]

J. Bosch. Design and Use of Software Architectures. Addison-Wesley, 1st edition, 2000.

Digital Library

[8]

P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.

Digital Library

[9]

K. Czarnecki and U.W. Eisenecker. Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, may 2000. ISBN 0-201-30977-7.

Digital Library

[10]

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.

[11]

O. Díaz, S. Trujillo, and F.I. Anfurrutia. Supporting production strategies as refinements of the production process. In to be published at Sofware Product Line Conference (SPLC 2005), 2005.

Digital Library

[12]

O. Díaz, S. Trujillo, and I. Azpeitia. User-Facing Web Service Development: A Case for a Product-Line Approach. In Boualem Benatallah and Ming-Chien Shan, editors, Technologies for E-Services, 4th VLDB International Workshop (VLDB-TES 2003), volume 2819 of LNCS, pages 66-77. Springer-Verlag, 2003.

[13]

P. Fernandez and M. Resinas. James project. Available at http://jamesproject.sourceforge.net/, 2002-2005.

[14]

E. C. Freuder. In pursuit of the holy grail. Constraints, 2(1):57-61, April 1997.

Digital Library

[15]

G. Halmans and K. Pohl. Communicating the variability of a software-product family to customers. Journal on Software and Systems Modeling, 2(1):15-36, 2003.

[16]

S. Jarzabek, Wai Chun Ong, and Hongyu Zhang. Handling variant requirements in domain modeling. The Journal of Systems and Software, 68(3):171-182, 2003.

Digital Library

[17]

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990.

[18]

K. Kuchcinski. Constraints-driven scheduling and resource assignment. ACM Transactions on Design Automation of Electronic Systems (TODAES), 8(3):355-383, July 2003.

Digital Library

[19]

F. Laburthe and N. Jussien. Choco constraint programming system. Available at http://choco.sourceforge.net/, 2003-2005.

[20]

C. Prehofer. Feature-oriented programming: A new way of object composition. Concurrency and Computation: Practice and Experience, 13(6):465-501, 2001.

Cited By

Mendonça WVergilio SMichelon GEgyed AAssunção WFelfernig AFuentes L(2022)Test2FeatureProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547031(62-65)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547031
Michelon GAssunção WObermann DLinsbauer LGrünbacher PEgyed ATilevich EDe Roover C(2021)The life cycle of features in highly-configurable software systems evolving in space and timeProceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3486609.3487195(2-15)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486609.3487195
Pinnecke MMousavi MSchobbens P(2021)Product-lining the elinvar wealthtech microservice platformProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473947(60-68)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473947
Show More Cited By

Recommendations

Automated metamorphic testing on the analyses of feature models

Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this ...
Automated analysis of feature models: current state and practices
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1

Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. Feature models are widely used to encode the common and variant parts of an SPL. The number of products encoded in a feature ...
Suitability analysis of CSP- and SMT-solvers for test case generation
CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

Model-based testing allows automatic test case generation from models like Symbolic Input Output Transition Systems (SIOTS) describing the behavior of the System under Test (SUT). In order to create feasible test inputs a Constraint Satisfaction ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

GTTSE'05: Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

July 2005

471 pages

ISBN:354045778X

Editors:
Ralf Lämmel
Fachbereich 4, Institut für Informatik, B127, Universität Koblenz-Landau, Universitätsstraße 1, Koblenz, Germany
,
João Saraiva
Fachbereich 4, Institut für Informatik, B127, Universidade do Minho, Campus de Gualtar, Braga, Portugal
,
Joost Visser
Fachbereich 4, Institut für Informatik, B127, Software Improvement Group, A.J., Ernststraat 595-H, Amsterdam, The Netherlands

Sponsors

Luso-American Foundation: Luso-American Foundation
Microsoft: Microsoft
Fundação para a Ciência e a Tecnologia
Fundação Oriente
Centro de Ciências e Tecnologias de Computação Enabler: Centro de Ciências e Tecnologias de Computação Enabler

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 04 July 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mendonça WVergilio SMichelon GEgyed AAssunção WFelfernig AFuentes L(2022)Test2FeatureProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547031(62-65)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547031
Michelon GAssunção WObermann DLinsbauer LGrünbacher PEgyed ATilevich EDe Roover C(2021)The life cycle of features in highly-configurable software systems evolving in space and timeProceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3486609.3487195(2-15)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486609.3487195
Pinnecke MMousavi MSchobbens P(2021)Product-lining the elinvar wealthtech microservice platformProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473947(60-68)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473947
Munoz DOh JPinto MFuentes LBatory D(2019)Uniform Random Sampling Product Configurations of Feature Models That Have Numerical FeaturesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336297(289-301)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336297
Greiner SWestfechtel BWeyns DPerrouin GWeyns D(2019)On Determining Variability Annotations In Partially Annotated ModelsProceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3302333.3302341(1-10)Online publication date: 6-Feb-2019
https://dl.acm.org/doi/10.1145/3302333.3302341
Al-Hajjaji MRyssel USchulze MWeyns DPerrouin GWeyns D(2019)Validating Partial Configurations of Product LinesProceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3302333.3302337(1-6)Online publication date: 6-Feb-2019
https://dl.acm.org/doi/10.1145/3302333.3302337
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
Metzger ABayer ADoyle DSharifloo APohl KWessling F(2016)Coordinated run-time adaptation of variability-intensive systemsProceedings of the 1st International Workshop on Variability and Complexity in Software Design10.1145/2897045.2897049(5-11)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2897045.2897049
Quinton CRomero DDuchien L(2016)SALOONSoftware—Practice & Experience10.1002/spe.231146:1(55-78)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1002/spe.2311
Seidl CSchuster SSchaefer I(2015)Generative software product line development using variability-aware design patternsACM SIGPLAN Notices10.1145/2936314.281421251:3(151-160)Online publication date: 26-Oct-2015
https://dl.acm.org/doi/10.1145/2936314.2814212
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents