Service Combinators for WEB Computing in Distributed Oz

摘要

In [1], CARDELLI et al. introduce a Web programming model: the language of service com-binators. This later allows to emulate the "algorithmic" behavior of a browser user when "surfing" over the Web. We describe an implementation of this language in the Distributed Oz system. The object oriented, data-flow synchronization by means of logic variables, and multi-threading technologies of this system, allows an elegant implementation. This later is a good example of concurrent programming using data-flow streams, and light-weight thread in the Distributed Oz system.