Abstract
Automated support for finding unsatisfiable fragments is desirable to help removing deficiency in inconsistent feature diagrams. In encoding feature diagrams into propositional logic formulas, such a problem reduces to finding unsatisfiable cores. Standard algorithms work on clausal formulas, which looses the structural aspect of feature diagram. In this paper, we propose a new automated method, which employs a boolean constraint propagation algorithm for non-clausal formulas. The method can eliminate the problems in the previous approaches, where translation back and forth is required between feature diagram and clausal formulas.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)
Benavides, D., Segura, S., Ruiz-Cortes, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. J. Information Systems (2010)
Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison Wesley, Reading (2000)
Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-Oriented Domain Analysis Feasibility Study. CMU/SEI-90-TR-21 (1990)
Kroening, D., Strichman, O.: Decision Procedures. Springer, Heidelberg (2008)
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)
Nakajima, S.: Constructing FODA Feature Diagrams with a GUI-based Tool. In: Proc. SEKE 2009, pp. 20–25 (2009)
Nakajima, S.: Semi-Automated Diagnosis of FODA Feature Diagram. In: Proc. SAC 2010, pp. 2191–2197 (2010)
White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., Ruiz-Cortes, A.: Automated Diagnosis of Feature Model Configurations. J. Software and Systems (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakajima, S. (2010). Non-clausal Encoding of Feature Diagram for Automated Diagnosis. In: Bosch, J., Lee, J. (eds) Software Product Lines: Going Beyond. SPLC 2010. Lecture Notes in Computer Science, vol 6287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15579-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-15579-6_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15578-9
Online ISBN: 978-3-642-15579-6
eBook Packages: Computer ScienceComputer Science (R0)