A dynamic-priority based approach to fixing inconsistent feature models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6394 LNCS, Issue PART 1, 2010, Pages 181-195

  Wang, Bo ^a,b   Xiong, Yingfei ^c   Hu, Zhenjiang ^d   Zhao, Haiyan ^a,b   Zhang, Wei ^a,b   Mei, Hong ^a,b  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^b PEKING UNIVERSITY   (China)

^c UNIVERSITY OF WATERLOO   (Canada)

^d NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Feature Model; Inconsistency Fixing; Priority

Indexed keywords

BASIC IDEA; CONSTRAINT HIERARCHY; FEATURE MODELS; INCONSISTENCY FIXING; PRIORITY; PRIORITY-BASED;

CONSTRAINT THEORY;

MODELS;

EID: 78349295732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16145-2_13     Document Type: Conference Paper

References (18)

1. Kang, K.C., Cohen, S.G., Hess, J.A., Novak,W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, CMU-SEI (1990)
2. Czarnecki, K., Helsen, S., Eisenecker, U.W.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10, 7-29 (2005) (Pubitemid 40384707)
3. von der Maßen, T., Lichter, H.: Deficiencies in feature models. In: Workshop on Software Variability Management for Product Derivation, in Conjunction with SPLC (2004)
4. She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: The variability model of the Linux kernel. In: VaMoS, pp. 45-51 (2010)
5. Batory, D.S., Benavides, D., Cortés, A.R.: Automated analysis of feature models: challenges ahead. Commun. ACM 49, 45-47 (2006) (Pubitemid 44841898)
6. Borning, A., Freeman-Benson, B.N., Wilson, M.: Constraint hierarchies. Lisp and Symbolic Computation 5, 223-270 (1992)
7. Sannella, M.: SkyBlue: A multi-way local propagation constraint solver for user interface construction. In: ACM Symposium on User Interface Software and Technology, pp. 137-146 (1994)
8. Sannella, M.: The SkyBlue constraint solver and its applications. In: PPCP, pp. 258-268 (1993)
9. Benavides, D., Segura, S., Cortés, A.R.R.: Automated analysis of feature models 20 years later: a literature review. Information Systems (2010)
10. Zhang, W., Mei, H., Zhao, H.: Feature-driven requirement dependency analysis and high-level software design. Requir. Eng., 205-220 (2006)
11. Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: There and back again. In: SPLC, pp. 22-31 (2008)
12. Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176-187. Springer, Heidelberg (2002)
13. Batory, D.S.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
14. Benavides, D., Trinidad, P., Cortés, A.R.: Using constraint programming to reason on feature models. In: SEKE, pp. 677-682 (2005)
15. Zhang, W., Yan, H., Zhao, H., Jin, Z.: A BDD-based approach to verifying clone-enabled feature models' constraints and customization. In: Mei, H. (ed.) ICSR 2008. LNCS, vol. 5030, pp. 186-199. Springer, Heidelberg (2008)
16. Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE, pp. 292-301 (2007)
17. Trinidad, P., Benavides, D., Durán, A., Ruiz-Cortés, A., Toro, M.: Automated error analysis for the agilization of feature modeling. J. Syst. Softw. 81, 883-896 (2008)
18. White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Cortés, A.R.: Automated diagnosis of product-line configuration errors in feature models. In: SPLC, pp. 225-234 (2008)