Skip to main content
SpringerLink
Log in

A visual constraint-programming environment

  • Applications
  • Conference paper
  • First Online:
Book cover Principles and Practice of Constraint Programming — CP '95 (CP 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 976))

Abstract

Design has not received much attention by the constraint-programming community, although in the development cycle of real-world applications it is probably the most expensive phase. Since constraint programming is declarative, design can go much further than for traditional imperative languages, as it can produce models that are executable. Because of the potentially huge number of constraints and variables of a real-world applications though, compactness of these models is a key issue. This paper abstracts the classical notion of constraint satisfaction problem to a new, more compact model. A design methodology based on such a model is then proposed. An interactive system that supports the methodology and integrates traditional constraint-programming languages to directly execute the resulting model is further presented. The system provides a visual environment that covers the full development cycle of constraint-based applications. Its benefits are finally illustrated on a real-world problem.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hassan Aït-Kaci: An Introduction to LIFE — Programming with logic, Inheritance, Functions and Equations, in D. Miller (ed.), Proc. of the Internat. Symp. on Logic Programming, Vancouver, BC, pages 52–68, The MIT Press, Cambridge, MA, 1993.

    Google Scholar 

  2. J. Andersson, S. Andersson, K. Boortz, M. Carlsson, H. Nilsson, J. Widen, T. Sjöland: Sicstus Prolog User's Manual, Technical Report T93:01, Swedish Institute of Computer Science, January 1993.

    Google Scholar 

  3. G. Booch: Object-Oriented Analysis and Design with Applications, Second Edition, The Benjamin Cummings Publishing Company, Inc., California, 1994.

    Google Scholar 

  4. A. Borning: Thinglab: A Constraint-Oriented Simulation Laboratory, Ph.D. Thesis, Stanford University, CA, 1979.

    Google Scholar 

  5. Bull S.A.: Manuel Charme First, Bull Publication 95-F2-52GN-REVO, Cediag, 48 Route de Versailles, 78430 Louveciennes, France, 1991.

    Google Scholar 

  6. A. Colmerauer: An Introduction to Prolog III, Communications of the ACM, Vol. 33 (7), 1990.

    Google Scholar 

  7. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier: The Constraint Logic Programming Language CHIP, Proc. of the Int. Conf. on Fifth Generation Computer Systems, Tokyo, Japan, 1988.

    Google Scholar 

  8. B. Freeman-Benson: Kaleidoscope: Mixing Objects, Constraints and Imperative Programming, Proc. ECOOP/OOPSLA '90, pages 77–88, Oct. 1990.

    Google Scholar 

  9. B. Freeman-Benson, A. Borning: The Design and Implementation of Kaleidoscope'90, a Constraint Imperative Programming Language, Proc. of the IEEE Computer Society International Conference on Computer Languages, pages 174–180, April 1992.

    Google Scholar 

  10. D. R. Harris: A Hybrid Object and Constraint Representation Language, AAAI-86, pages 986–990, Philadelphia, Pennsylvania, 1986.

    Google Scholar 

  11. B. Horn: Constraint Patterns as a Basis for Object Oriented Programming, Proc. of the 1992 Conference on Object-Oriented Programming Systems, Languages and Applications, pages 218–233, Vancouver, Canada, 1992, ACM Press.

    Google Scholar 

  12. M. Henz, G. Smolka, J. Würtz: Object-Oriented Concurrent Programming in Oz, in P. van Hentenryck and V. Saraswat (eds.), Principles and Practice of Constraint Programming, The MIT Press, pages 27–48, 1995, to appear.

    Google Scholar 

  13. J. Jaffar, S. Michaylov, P.J. Stuckey: The CLP(R) Language System, draft for Constraints & Languages W/S, 1988.

    Google Scholar 

  14. J. Jaffar, M. Maher: Constraint Logic Programming: A Survey, Journal of Logic Programming, 19/20, pages 503–581, May–July 1994.

    Article  Google Scholar 

  15. M. Konopasek, S. Jayaraman: The TK!Solver Book, Osborne/McGraw-Hill, Berkeley, CA, 1984.

    Google Scholar 

  16. T. Kökény: Yet Another Object-Oriented Constraint Resolution System: An Open Architecture Approach, XI Europen Conference on Artificial Intelligence, Workshop: Constraint Processing, working notes, pages 115–120, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  17. W. Leler: Constraint Programming Languages, Addison-Wesley Publishing Company, 1988.

    Google Scholar 

  18. G. Lopez, B. Freeman-Benson, A. Borning: Kaleidoscope: A Constraint Imperative Programming language, in Constraint Programming, B. Mayoh, E. Tõugu, J. Penjam (Eds.), NATO Advanced Science Institute Series, Series F: Computer and System Science, Springer-Verlag, 1993.

    Google Scholar 

  19. G. Lopez, B. Freeman-Benson, A. Borning: Implementing Constraint Imperative Programming Languages: The Kaleidoscope'93 Virtual Machine, in Proc. of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, Oregon, October 1994.

    Google Scholar 

  20. J. Maloney, A. Borning, B. Freeman-Benson: Constraint Technology for User Interface Construction in ThingLab II, in Proc. of the 1989 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 381–388, New Orleans, October 1989.

    Google Scholar 

  21. B. A. Myers, D. A. Giuse, B. Vander Zanden: Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods, Proc. of the 1992 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 184–200, Vancouver, Canada, 1992.

    Google Scholar 

  22. B. A. Nadel: Some Applications of the Constrain Satisfaction Problem, Technical Report CSC-90-008, Computer Science Department, Wayne State University, 1990.

    Google Scholar 

  23. A. Oplobedu: Charme: Un Langage Industriel de Programmation par Contraintes, Actes 9eme Journée International sur les Systèmes Expert et Leur Applications, Vol. 1, 55–70, Avignon, 1989.

    Google Scholar 

  24. M. Paltrinieri: On the Design of Constraint Satisfaction Problems, Principles and Practice of Constraint Programming, A. Borning (ed.), Lecture Notes in Computer Science, N. 874, Springer-Verlag, 1994.

    Google Scholar 

  25. M. Paltrinieri: Integrating Objects with Constraint-Programming Languages, Object-Oriented Methodologies and Systems, E. Bertino and S. Urban (eds.), Lecture Notes in Computer Science, N. 858, Springer-Verlag, 1994.

    Google Scholar 

  26. J.-F. Puget: Programmation Par Contraintes Orientée Objet, 12th International Conference on Artificial Intelligence, Expert Systems and Natural Language, pages 129–138, Avignon, France, 1992.

    Google Scholar 

  27. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: Object-Oriented Modeling and Design, Prentice-Hall Inc., Englewood Cliffs, N.J., 1991.

    Google Scholar 

  28. V. A. Saraswat: Concurrent Constraint Programming, MIT Press, 1993.

    Google Scholar 

  29. D. Srivastava, R. Ramakrishnan, P. Z. Revesz: Constraint Objects, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.

    Google Scholar 

  30. C. Tanzer: Remarks on Object-Oriented Modeling of Associations, Journal of Object-Oriented Programming, Vol. 7, No. 9, pages 43–46, February 1995.

    Google Scholar 

  31. S. Thennarangam, G. Singh: Inferring 3-dimensional Constraints with DEVI, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.

    Google Scholar 

  32. P. Van Hentenryck: Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Massachusetts, 1989.

    Google Scholar 

  33. C. J. Van Wyk: A High-Level Language for Specifying Pictures, ACM Transactions on Graphics 1(2), 163–182.

    Google Scholar 

  34. M. Wallace, A. Veron: Two Problems — Two Solutions: One System ECLiPSe, IEE Colloquium on Advaanced Software Technologies for Scheduling, London, April 1993.

    Google Scholar 

  35. M. Wilk: Equate: An Object-Oriented Constraint Solver, OOPSLA '91, pages 286–298, Phoenix, October 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département de Mathématiques et d'Informatique, Ecole Normale Supérieure, 45 rue d'Ulm, 75005, Paris, France

    Massimo Paltrinieri

Authors
  1. Massimo Paltrinieri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ugo Montanari Francesca Rossi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paltrinieri, M. (1995). A visual constraint-programming environment. In: Montanari, U., Rossi, F. (eds) Principles and Practice of Constraint Programming — CP '95. CP 1995. Lecture Notes in Computer Science, vol 976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60299-2_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-60299-2_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60299-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation