Java Constraint Library: bringing constraints technology on the Internet using the Java language
نویسندگان
چکیده
Distributed problem solving on the web is becoming more and more important. Client server architectures are often confronted with server overload. The process of browsing a large number of alternative solutions is particularly tedious. In this paper, we present s methodology for distributing the computation between server and client. The ides is to formalise the problem as s constraint satisfaction problem (CSP). This formalisation supports a natural decomposition of the task into two subtasks: generation of the CSP by the server from its database, and generating and browsing the solutions on the client. In this way, the browsing process runs locally and can be very fast, while the server is only accessed once during the pro. ceas. We provide the :lava Constraint library (JCL) for implementing the agent that solves the CSP on the client. We illustrate the concept on the example of planning a~ travel.
منابع مشابه
Java Constraint Library: bringing constraint technology on the Internet using the Java language
Internet using the Java language Marc Torrens, Rainer Weigel and Boi Faltings Laboratoire d'Intelligence Arti cielle Ecole Polytechnique F ed erale de Lausanne (EPFL) IN-Ecublens, CH-1015 Lausanne Switzerland ftorrens,weigel,[email protected] .ch Abstract Distributed problem solving on the web is becoming more and more important. Client server architectures are often confronted with server ov...
متن کاملDJ: A Java-based Constraint Language and System
DJ (Declarative Java) is an extension of Java that supports constraint programming. With DJ, users do not need to learn the complicated class hierarchy of the AWT package or Java's layout managers. To construct a GUI, users only need to specify the components that compose the GUI and the relationship among the components by using constraints. As a constraint language, DJ can be used not only to...
متن کاملObject-Oriented Constraint Programming in Java Using the Library firstcs
This tutorial shows how to use the object-oriented Java constraint programming library firstcs to solve constraint problems. Beyond the architecture of the system and the supported constraints, this presentation focuses on the implementation of new constraints, the modeling of problems and their solutions using constraint propagation and search. The presentation is completed a practical applica...
متن کاملA Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
OCL is a formal notation to specify constraints on UML models that cannot otherwise be expressed by diagrammatic notations such as class diagrams. Using OCL one can document detailed design decisions and choices along with the behavior, e.g., class invariants and method pre and postconditions. However, OCL constraints cannot be directly executed and checked at runtime by an implementation, thus...
متن کاملSolving Clafer Models with Choco
The Clafer modelling language relies on Alloy as its backend solver. Although Alloy is a good target language for the Clafer compiler because of the strong similarities between the two languages, it suffers in the presence of large integers. This paper explains the implementation of a new Clafer solver based on the Java constraint programming library called Choco. The solver needs to capture th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002