Skip to main content
SpringerLink
Log in

Including Diagnostic Information in Configuration Models

  • Conference paper
  • First Online:
Computational Logic — CL 2000 (CL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1861))

Included in the following conference series:

Abstract

This work presents a new formal model for software configuration. The configuration knowledge is stored in a configuration model that is specified using a rule-based language. The language has a complete declarative semantics analogous to the stable model semantics for normal logic programs. In addition, a new method to add diagnostic information in configuration models is presented. The main idea is to divide the configuration process into two stages. At the first stage the user requirements are processed to check whether there exist any suitable configurations in the configuration model. In the second stage unsatisfiable requirements are diagnosed using a diagnostic model. The diagnostic model is constructed from the configuration model by adding a new set of atoms that represent the possible error conditions. The diagnostic output also explains why each problematic component was included in the configuration. As an example, a subset of the configuration problem for the Debian GNU/Linux system is formalized using the new rule-based language. Both configuration and diagnostic models of the problem are presented. The rule-language is implemented using an existing implementation of the stable model semantics, the Smodels system.

This work has been supported by the Academy of Finland (project no. 43963) and Helsinki Graduate School in Computer Science and Engineering (HeCSE).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Debian GNU/Linux. Available at: http://www.debian.org~L.

  2. W.F. Dowling and J.H. Gallier. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267–284, 1984.

    Article  MathSciNet  Google Scholar 

  3. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070–1080, Seattle, USA, August 1988. The MIT Press.

    Google Scholar 

  4. W. Marek and M. Truszczyński. Autoepistemic logic. Journal of the Association for Computing Machinery, 38:588–619, 1991.

    MATH  MathSciNet  Google Scholar 

  5. Ilkka Niemelä, Patrik Simons, and Timo Soininen. Stable model semantics of weight constraint rules. In Proceedings of the Fifth Interational Conference on Logic Programming and Nonmonotonic Reasoning. Springer-Verlag, December 1999.

    Google Scholar 

  6. Daniel Sabin and Rainer Weigel. Product configuration frameworks — a survey. IEEE Intelligent Systems & their applications, pages 42–49, October 1998.

    Google Scholar 

  7. P. Simons. Efficient implementation of the stable model semantics for normal logic programs. Research Report 35, Helsinki University of Technology, Helsinki, Finland, September 1995.

    Google Scholar 

  8. P. Simons. Extending the stable model semantics with more expressive rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 305–316, El Paso, Texas, USA, December 1999. Springer-Verlag.

    Google Scholar 

  9. Timo Soininen and Ilkka Niemelä. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages. Springer-Verlag, January 1999.

    Google Scholar 

  10. T. Syrjänen. A rule-based formal model of software configuration. Research Report A 55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland, December 1999.

    Google Scholar 

  11. M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23:733–742, 1976.

    MATH  MathSciNet  Google Scholar 

  12. B. Wielinga and G. Schreiber. Configuration-design problem solving. IEEE Expert, 122:49–56, March–April 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science and Eng. Laboratory for Theoretical Computer Science, Helsinki University of Technology, P.O.Box 5400, FIN-02015 HUT, Finland

    Tommi Syrjänen

Authors
  1. Tommi Syrjänen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Australian National University, Australia

    John Lloyd

  2. Simon Fraser University, Canada

    Veronica Dahl

  3. Universität Koblenz, Germany

    Ulrich Furbach

  4. The University of Birmingham, UK

    Manfred Kerber

  5. University of Manchester, UK

    Kung-Kiu Lau

  6. The Pennsylvania State University, USA

    Catuscia Palamidessi

  7. Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

  8. The Hebrew University of Jerusalem, Israel

    Yehoshua Sagiv

  9. The University of Melbourne, Australia

    Peter J. Stuckey

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Syrjänen, T. (2000). Including Diagnostic Information in Configuration Models. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_56

Download citation

  • DOI: https://doi.org/10.1007/3-540-44957-4_56

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67797-0

  • Online ISBN: 978-3-540-44957-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation