Skip to main content
SpringerLink
Log in

POOC — A Platform for Object-Oriented Constraint Programming

  • Conference paper
  • First Online:
Recent Advances in Constraints (CologNet 2002)

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

Abstract

In this paper, we describe an implementation-independent object-oriented interface for commercial and academic Constraint Solvers. This serves as a basis for evaluating different Constraint Solvers and for developing solver-independent applications. We show, how applications can use the interface, which solvers are already integrated into the framework and how additional solvers can be added. Furtermore, we provide to the community the described system as real Java packages via Internet, that even includes a basic but powerful Constraint Solver.

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. G. Booch, J. Rumbaugh, and I. Jacobson. Unified Modeling Language Semantics and Notation Guide 1.3. Rational Software Cooperation, San Jose, CA, 2001.

    Google Scholar 

  2. Cosytec. Chip 5, 2001. http://www.cosytec.com.

  3. Daniel Diaz. GNU Prolog, 2001. http://gnu-prolog.inria.fr.

  4. M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), 1988.

    Google Scholar 

  5. Thom Frühwirth and Slim Abdenadher. Constraint-Programmierung. Springer, Berlin Heidelberg, 1997. In German.

    Google Scholar 

  6. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.

    Google Scholar 

  7. Ian Gent and Toby Walsh. CSPLib, a problem library for constraints, http://www.csplib.org.

  8. [8] P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.

    Google Scholar 

  9. J. Jaffar and J.L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages POPL-87, pages 111–119, 1987.

    Google Scholar 

  10. Swedish Institute of Computer Science. SICStus Prolog v3, 2001. http://www.sics.se/sicstus.html.

  11. J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. 12th Conf. American Assoc. Artificial Intelligence, volume 1, pages 362–367. Amer. Assoc. Artificial Intelligence, 1994.

    Google Scholar 

  12. ILOG S.A. ILOG internet pages, 2001. http://www.ilog.fr.

  13. Chritian Schulte. Programming Constraint Services. LNAI 2302. Springer, 2002. PhD thesis.

    Google Scholar 

  14. SUN Microsystems, http://java.sun.com/j2se/1.3/docs/guide/jni/. Java Native Interface (JNI).

  15. M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A platform for Constraint Logic Programming. Technical report, IC-Parc, Imperial College, London, UK, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer FIRST, Kekuléstraße 7, 12489, Berlin, Germany

    Hans Schlenker & Georg Ringwelski

Authors
  1. Hans Schlenker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Ringwelski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University College Cork, Ireland

    Barry O’Sullivan

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schlenker, H., Ringwelski, G. (2003). POOC — A Platform for Object-Oriented Constraint Programming. In: O’Sullivan, B. (eds) Recent Advances in Constraints. CologNet 2002. Lecture Notes in Computer Science, vol 2627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36607-5_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-36607-5_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00986-3

  • Online ISBN: 978-3-540-36607-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation