Automated diagnosis of feature model configurations

Journal of Systems and Software

Volumn 83, Issue 7, 2010, Pages 1094-1107

  White, J ^a   Benavides, D ^c   Schmidt, D C ^b   Trinidad, P ^c   Dougherty, B ^b   Ruiz Cortes, A ^c  

^a Virginia Polytechnic Institute and State University   (United States)

^b VANDERBILT UNIVERSITY   (United States)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Configuration; Constraint satisfaction; Diagnosis; Optimization; Software product lines

Indexed keywords

AUTOMATED CONFIGURATION; AUTOMATED DIAGNOSIS; CONFIGURATION; CONFIGURATION CONSTRAINTS; CONFIGURATION RULES; CONSTRAINT SATISFACTION PROBLEMS; DIAGNOSTIC TECHNIQUES; EMPIRICAL RESULTS; FEATURE MODELS; FEATURE SELECTION; KEY PARTS; OPTIMIZATION SOFTWARE; PARALLEL CONFIGURATION; PROJECT REQUIREMENT; SCALE-UP; SOFTWARE PLATFORMS; SOFTWARE PRODUCTS;

COMPUTER SOFTWARE; DIAGNOSIS; ERRORS; OPTIMIZATION;

FEATURE EXTRACTION;

EID: 77953132059     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2010.02.017     Document Type: Article

References (30)

1. Batory, D., 2005. Feature models, grammars, and prepositional formulas. In: Proceedings of the Nineth International Conference on Software Product Lines, SPLC 2005, September 26-29, Rennes, France.
2. Batory D., Benavides D., and Ruiz-Cortés A. Automated analysis of feature models: Challenges ahead. Communications of the ACM (2006) December
3. Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortés, A., 2007. 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).
4. Benavides, D., Trinidad, P., Ruiz-Cortés, A., 2005. Automated reasoning on feature models. In: Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE05), LNCS, vol. 3520, pp. 491-503.
5. Beuche, D., 2003. Variant Management with Pure::variants. Technical Report, Pure-Systems GmbH, .
6. Buhrdorf, R., Churchett, D., Krueger, C., 2003. Salion's experience with a reactive software product line approach. In: Proceedings of the Fifth International Workshop on Product Family Engineering, Siena, Italy.
7. Clements P., and Northrop L. Software Product Lines: Practices and Patterns (2002), Addison-Wesley, Boston
8. Czarnecki K., Antkiewicz M., Kim C., Lau S., and Pietroszek K. FMP and FMP2RSM: Eclipse Plug-ins for Modeling Features Using Model Templates (2005), ACM Press New York, NY, USA 200-201
9. Czarnecki, K., Helsen, S., Eisenecker, U., 2004. Staged configuration using feature models. In: Proceedings of the Third International Conference on Software Product Lines, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004.
10. Czarnecki K., Helsen S., and Eisenecker U. Staged configuration through specialization and multi-level configuration of feature models. Software Process Improvement and Practice 10 2 (2005) 143-169
11. de la Banda M.J.G., Stuckey P.J., and Wazny J. Finding all minimal unsatisfiable subsets. PPDP (2003), ACM 32-43
12. Dudley, G., Joshi, N., Ogle, D., Subramanian, B., Topol, B., 2004. Autonomic self-healing systems in a cross-product IT environment. In: Proceedings of the International Conference on Autonomic Computing, pp. 312-313.
13. Etxeberria, L., Sagardui, G., 2008. Variability driven quality evaluation in software product lines. In: 12th International Conference on Software Product Line, SPLC'08, pp. 243-252.
14. Hagg, A., Junker, U., O'Sullivan, B., 2006. A survey of explanation techniques for configurators. In: Proceedings of ECAI-2006 Workshop on Configuration.
15. Immonen, A., 2005. A method for predicting reliability and availability at the architectural level. In: Käkölä, T., Due nas, J.C., (Eds.), Research Issues in Software Product-Lines-Engineering and Management.
16. Jaffar J., and Maher M. Constraint logic programming: A survey. Journal of Logic Programming 19 20 (1994) 503-581
17. Jarzabek, S., Yang, B., Yoeun, S., 2006. Addressing quality attributes in domain analysis for product lines. In: Software, IEEE Proceedings, vol. 153, pp. 61-73.
18. Junker U. Quickxplain: Preferred explanations and relaxations for over-constrained problems (2004), AAAI Press/The MIT Press pp. 167-172
19. Kang K.C., Kim S., Lee J., Kim K., Shin E., and Huh M. FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 5 (1998) 143-168 January
20. Mannion, M., 2002. Using first-order logic for product line model validation. In: Proceedings of the Second International Conference on Software Product Lines, vol. 2379, pp. 176-187.
21. Metzger, A., Pohl, K., Heymans, P., Schobbens, P.-Y., Saval, G., 2007. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In: 15th IEEE International Conference on Requirements Engineering, RE'07, pp. 243-253.
22. Niemelä E., and Immonen A. Capturing quality requirements of product family architecture. Information and Software Technology 49 11-12 (2007) 1107-1120
23. Olumofin, F., Misic, V., 2005. Extending the ATAM architecture evaluation to product line architectures. In: IEEE/IFIP Working Conference on Software Architecture, WICSA.
24. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 32 1 (1987) 57-95
25. Sinnema M., Deelstra S., Nijhuis J., and Bosch J. COVAMOF: A framework for modeling variability in software product families. Lecture Notes in Computer Science (2004) 197-213
26. Trinidad P., Benavides D., Durán A., Ruiz-Cortés A., and Toro M. Agile error analysis of feature models. Journal of Systems and Software 81 6 (2008) 883-896
27. Van Hentenryck P. Constraint Satisfaction in Logic Programming (1989), MIT Press Cambridge, MA, USA
28. White, J., Czarnecki, K., Schmidt, D.C., Lenz, G., Wienands, C., Wuchner, E., Fiege, L., October 2007. Automated model-based configuration of enterprise java applications. In: The Enterprise Computing Conference, EDOC, Annapolis, Maryland, USA.
29. White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Ruiz-Cortez, A., September 2008. Automated diagnosis of product-line configuration errors in feature models. In: Proceedings of the Software Product Lines Conference (SPLC), Limerick, Ireland.
30. Zhang H., Jarzabek S., and Yang B. Quality prediction and assessment for product lines. Lecture Notes in Computer Science (2003) 681-695