A BDD-based approach to verifying clone-enabled feature models' constraints and customization

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

Volumn 5030 LNCS, Issue , 2008, Pages 186-199

  Zhang, Wei ^a,b   Yan, Hua ^a,b   Zhao, Haiyan ^a,b   Jin, Zhi ^c  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^b PEKING UNIVERSITY   (China)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Clonable features; Constraints; Customization; Feature models; Verification

Indexed keywords

CLONABLE FEATURES; CONSTRAINTS; CUSTOMIZATION; FEATURE MODELS; VERIFICATION;

BINARY DECISION DIAGRAMS; CHLORINE COMPOUNDS; CLONING; FILE ORGANIZATION; INFORMATION THEORY; SEMANTICS;

COMPUTER SOFTWARE REUSABILITY;

EID: 50949102311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68073-4_18     Document Type: Conference Paper

References (15)

1. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714. Springer, Heidelberg (2005)
2. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
3. Czarnecki, K., Kim, C.H.P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: OOPSLA 2005 International Workshop on Software Factories (online proceedings) (2005)
4. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing Cardinality-based Feature Models and their Specialization. Software Process Improvement and Practice, special issue of best papers from SPLC 2004 10(1), 7-29 (2005)
5. Griss, M.L., Favaro, J., d'Alessandro, M.: Integrating Feature Modeling with the RSEB. In: Proceedings of Fifth International Conference on Software Reuse, pp. 76-85. IEEE Computer Society, Canada (1998)
6. Hu, A.J.: Techniques for Efficient Formal Verification using Binary Decision Diagram. PhD thesis, Stanford University (1995)
7. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis Feasibility Study. Technical reports, Software Engineering Institute, Carnegie Mellon University (1990)
8. Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering 5, 143-168 (2004)
9. 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)
10. The SMV System. Carnegie Mellon University, http://www.cs.emu.edu/ ~modelcheck/smv.html
11. Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)
12. Yang, B.: Optimizing Model Checking Based on BDD Characterization, PhD thesis, CMU (1999)
13. Zhang, W., Zhao, H., Mei, H.: A Prepositional Logic-Based Method for Verification of Feature Models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 115-130. Springer, Heidelberg (2004)
14. Zhang, W., Mei, H., Zhao, H.: Feature-Driven Requirements Dependency Analysis and High-Level Software Design. Requirements Engineering, vol. 11(3), pp. 205-220. Springer, London (2006)
15. von der Maßen, T., Lichter, H.: Deficiencies in feature models. In: Workshop on Software Variability Management for Product Derivation, in Conjunction with the 3rd Software Product Line Conference (2004)