The Coordination Language Facility and Applications
This short paper gives a quick overview of CLF, a distributed object coordination middleware, and two applications of that platform to workflow. The driving concepts behind CLF derive from a reflection on proof search in Linear Logic, and in particular, the systematic exploitation of its resource conscious nature.
KeywordsElectronic Commerce Linear Logic Prototype Application Proof Search Shopping Basket
Unable to display preview. Download preview PDF.
- And92.J-M. Andreoli: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3), 1992.Google Scholar
- AP98.J-M. Andreoli and F. Pacull: Distributed print on demand systems in the xpect framework. Journal of Distributed and Parallel Databases, 1998. To appear.Google Scholar