Distributed Concurrent Constraint programming

• Autorzy: Réty J.-H.
• Języki publikacji: EN

Abstrakty

EN

We investigate the problem of building distributed systems within the Concurrent Constraint programming framework (CC). CC languages from a shared memory constraint-based model of calculus and some of its main features, especially the global nature of the store and communication mechanism, are impediments to distributed implementation. We think it to be necessary to introduce some new features in CC languages to build up a language suitable for distributed programming. We first discuss the solutions previously studied within the Logic Programming framework. Then, we propose the introduction of an asynchronous message-based communication machanism. It smoothly integrates within CC, constraints allowing for a logical formulation of message-based communication, and induces notions of local computation, local store, and site.

Słowa kluczowe

EN

distributed languages; concurrent languages; Concurrent Constraint languages

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 34, nr 3
• Strony: 323--346

Twórcy

autor

Réty J.-H.

• CWI, P.P. Box 94079, 1090 GB, The Netherlands,