Developing Constraint-Based Applications with Spreadsheets

  • Alexander Felfernig
  • Gerhard Friedrich
  • Dietmar Jannach
  • Christian Russ
  • Markus Zanker
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2718)


Spreadsheets are in wide-spread industrial use for lightweight business applications, whereby the broad acceptance is both founded on the underlying intuitive interaction style with immediate feedback and a “programming model” comprehensible for nonprogrammers. In this paper we show how the spreadsheet development paradigm can be extended to model and solve a special class of search and optimization problems that occur in many application domains and would otherwise require the involvement of specialized knowledge engineers.


Logic Program Constraint Satisfaction Constraint Satisfaction Problem Mass Customization Enterprise Resource Planning System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    V.E. Barker, D.E. O’Connor, J.D. Bachant, and E. Soloway. Expert systems for configuration at Digital: XCON and beyond. Communications of the ACM, 32,3:298–318, 1989.CrossRefGoogle Scholar
  2. 2.
    M. Burnett, J. Atwood, R. W. Djang, J. Reichwein, H. Gottfried, and S. Yang. Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm. Journal of Functional Programming, 11(2):155–206, 2001.zbMATHGoogle Scholar
  3. 3.
    A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner. Consistency-based diagnosis of configurator knowledge bases. In 14th European Conference on Artificial Intelligence (ECAI2000), Berlin, Germany, 2000. IOS Press.Google Scholar
  4. 4.
    G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner. Configuring Large Systems Using Generative Constraint Satisfaction. In B. Faltings and E. Freuder, editors, IEEE Intelligent Systems, Special Issue on Configuration, volume 13,4, pages 59–68. IEEE, 1998.Google Scholar
  5. 5.
    G. Gupta and S.H. Akhter. Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In Practical Aspects of Declarative Languages, Lecture Notes in Computer Science 1753, pages 308–323. Springer Verlag, 2000.CrossRefGoogle Scholar
  6. 6.
    T. Isakowitz, S. Schocken, and H. C. Jr. Lucas. Toward a logical/physical theory of spreadsheet modeling. ACM Transactions on Information Systems, 13(1):1–37, 1995.CrossRefGoogle Scholar
  7. 7.
    U. Junker. Quickxplain: Conflict detection for arbitrary constraint propagation algorithms. In IJCAI’01 Workshop on Modelling and Solving problems with constraints, Seattle, WA, 2001.Google Scholar
  8. 8.
    B.J. Pine, S. Davis, and B.J. Pine II. Mass Customization: The New Frontier in Business Competition. Harvard Business School Press, 1999.Google Scholar
  9. 9.
    J. F. Puget. A C++ implementation of CLP. In Proceedings of the Second Singapore International Conference on Intelligent Systems, Singapore, 1994.Google Scholar
  10. 10.
    A. Renschler. Configuration spreadsheet for interactive constraint problem solving. In Practical Applications of Constraint Technology, PACT98, 1998.Google Scholar
  11. 11.
    B. Ronen, M. A. Palley, and Henry C. Luca. Spreadsheet analysis and design. Communications of the ACM, 32(1):84–93, 1989.CrossRefGoogle Scholar
  12. 12.
    M. Spenke and C. Beilken. A spreadsheet interface for logic programming. In Proc. Computer-Human Interaction, CHI98, 1998.Google Scholar
  13. 13.
    M. Stumptner. An overview of knowledge-based configuration. AI Communications, 10(2), June, 1997.Google Scholar
  14. 14.
    E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Alexander Felfernig
    • 1
  • Gerhard Friedrich
    • 1
  • Dietmar Jannach
    • 1
  • Christian Russ
    • 1
  • Markus Zanker
    • 1
  1. 1.Computer Science and ManufacturingUniversität KlagenfurtKlagenfurtAustria

Personalised recommendations