Developing Constraint-Based Applications with Spreadsheets

Spreadsheets are in wide-spread industrial use for light-weight business applications, whereby the broad acceptance is both founded on the underlying intuitive interaction style with immediate feedback and a "programming model" comprehensible for non-programmers. 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.

[1]  Eero Hyvönen,et al.  A New Basis for Spreadsheet Computing: Interval Solver for Microsoft Excel , 1999, AI Mag..

[2]  Markus Stumptner,et al.  An Overview of Knowledge-Based Configuration , 1997, AI Commun..

[3]  Jean-francois Puget,et al.  A C++ implementation of CLP , 1997 .

[4]  Margaret M. Burnett,et al.  Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm , 2001, Journal of Functional Programming.

[5]  Ulrich Junker.  Conflict Detection for Arbitrary Constraint Propagation Algorithms , 2001 .

[6]  Henry C. Lucas,et al.  Spreadsheet analysis and design , 1989, CACM.

[7]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[8]  Michael Spenke,et al.  A spreadsheet interface for logic programming , 1989, CHI '89.

[9]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[10]  Gopal Gupta,et al.  Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs , 2000, PADL.

[11]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[12]  Markus Stumptner,et al.  Configuring Large Systems Using Generative Constraint Satisfaction , 1998, IEEE Intell. Syst..

[13]  Markus Stumptner,et al.  An overview of knowledgedbased configuration , 1997 .

[14]  Markus Stumptner,et al.  Consistency-based diagnosis of large configurator knowledge bases , 2000 .

[15]  Henry C. Lucas,et al.  Toward a logical/physical theory of spreadsheet modeling , 1992, TOIS.

[16]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[17]  S. Kotha.  Mass Customization: The New Frontier in Business Competition , 1992 .