Abstract
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable on large-scale configurations. In this work, we propose an approach to define the completion of a partial configuration like a diagnosis task to solve it by applying the FastDiag algorithm, an efficient solution for preferred minimal diagnosis (updates) in the analyzed partial configuration. We evaluate our proposed method in the completion of partial configurations of random medium and large-size features models and the completion of partial configurations of a feature model of an adapted version of the Ubuntu Xenial OS. Our experimental analysis shows remarkable improvements in our solution regarding the use of classical CSP-based approaches for the same tasks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Apel, S., Batory, D., Kstner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)
Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.M.: Diagnosing and solving over-determined constraint satisfaction problems, pp. 276–281 (1993)
Barroso, L.A., Hoelzle, U.: The Datacenter As a Computer: An Introduction to the Design of Warehouse-Scale Machines. Morgan and Claypool Publishers, 1st edn. (2009)
Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Conference on Software Product Lines, pp. 7–20 (2005). https://doi.org/10.1007/11554844_3
Benavides, D., Segura, S., Trinidad, P., Ruiz–Cortés, A.: FAMA: tooling a framework for the automated analysis of feature models. In: Proceeding of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), pp. 129–134 (2007)
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: a literature review. J. Inf. Syst. 35(6), 615–636 (2010)
Facebook: More details on today’s outage. https://m.facebook.com/nt/screen/?params=%7B%22note_id%22%3A10158791436142200%7D&path=%2Fnotes%2F%7Bnote_id%7D&_rdr. Accessed 13 May 2018
Felfernig, A., Benavides, D., Galindo, J., Reinfrank, F.: Towards anomaly explanation in feature models. In: Proceedings of the 15th International Configuration Workshop (2013)
Felfernig, A., Hotz, L., Bagley, C., Tiihonen, J.: Knowledge-Based Configuration: From Research to Business Cases, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2014)
Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artif. Intell. Eng. Design Anal. Manuf. 26(1), 53–62 (2012)
Felfernig, A., Walter, R., Galindo, J.A., Benavides, D., Polat Erdeniz, S., Atas, M., Reiterer, S.: Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51, 161–182 (2018)
Felfernig, A., Walter, R., Reiterer, S.: FlexDiag: anytime diagnosis for reconfiguration. In: Proceedings of the 17th International Configuration Workshop (2015)
Fernández-Amorós, D., Heradio, R., Cerrada, J.A., Cerrada, C.: Ascalable approach to exact model and commonality counting for extended feature models. IEEE Trans. Software Eng. 40(9), 895–910 (2014). https://doi.org/10.1109/TSE.2014.2331073
Gómez, A., Ramos, I.: Automatic tool support for cardinality-based feature modeling with model constraints for information systems development. In: Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010], pp. 271–284 (2010). https://doi.org/10.1007/978-1-4419-9790-6_22
Ibraheem, S., Ghoul, S.: Software evolution: a features variability modeling approach. J. Softw. Eng. 11, 12–21 (2017)
Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI), pp. 167–172 (2004)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University (1990)
Karataş, A.S., Oğuztüzün, H., Doğru, A.: From extended feature models to constraint logic programming. Sci. Comput. Program. 78(12), 2295 – 2312 (2013). https://doi.org/10.1016/j.scico.2012.06.004. http://www.sciencedirect.com/science/article/pii/S0167642312001153. Special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011)
Li, J.Z., et al.: Challenges to error diagnosis in Hadoop ecosystems. In: Proceedings of the 27th Large Installation System Administration Conference (LISA), pp. 145–154 (2013)
Meinicke, J., Thüm, T., Schröter, R., Benduhn, F., Leich, T., Saake, G.: Mastering Software Variability with FeatureIDE. Springer, Cham (2017)
Reiter, R.: A theory of diagnosis from first principles. AI J. 23(1), 57–95 (1987)
Riener, H., Fey, G.: Exact diagnosis using Boolean satisfiability. In: Proceedings of the 35th International Conference on Computer-Aided Design. ICCAD 2016. Association for Computing Machinery, New York (2016). https://doi.org/10.1145/2966986.2967036
Segura, S., Galindo, J.A., Benavides, D., Parejo, J.A., Ruiz-Cortés, A.: BeTTy: benchmarking and testing on the automated analysis of feature models. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, pp. 63–71 (2012)
White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., Cortés, A.R.: Automated diagnosis of feature model configurations. J. Syst. Softw. 83(7), 1094–1107 (2010)
Yin, Z., Ma, X., Zheng, J., Zhou, Y., Bairavasundaram, L.N., Pasupathy, S.: An empirical study on configuration errors in commercial and open source systems. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, pp. 159–172 (2011)
Acknowledgements
This work has een partially funded by the EU FEDER program, the MINECO project OPHELIA (RTI2018-101204-B-C22); the TASOVA network (MCIU-AEI TIN2017-90644-REDT); and the Junta de Andalucia METAMORFOSIS project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Vidal-Silva, C., Galindo, J.A., Giráldez-Cru, J., Benavides, D. (2021). Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. In: Stettinger, M., Leitner, G., Felfernig, A., Ras, Z.W. (eds) Intelligent Systems in Industrial Applications. ISMIS 2020. Studies in Computational Intelligence, vol 949. Springer, Cham. https://doi.org/10.1007/978-3-030-67148-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-67148-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67147-1
Online ISBN: 978-3-030-67148-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)