Learn More
We present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the declarative reading of programs. From the latter, we select two crucial notions: (i) the ability for objects to dynamically change their internal state during the computation; (ii) the structured(More)
The promise of workflow solutions for coordinating organizational processes is currently being obscured by strong criticism of the rigidity of their work representations. This rigidity arises in part from viewing work processes as unfolding along a single line of temporally chained activities. In reality, work evolves both horizontally, in the cooperation(More)
This paper describes WebFlow, an environment that supports distributed coordination services on the World Wide Web. WebFlow leverages the HTTP Web transport protocol and consists of a number of tools for the development of applications that require the coordination of multiple, distributed servers. Typical applications of WebFlow include distributed(More)
Linear Logic is gaining momentum in computer science because it ooers a uniied framework and a common vocabulary for studying and analyzing diierent aspects of programming and computation. We focus here on models where computation is identiied with proof search in the sequent system of Linear Logic. A proof normalization procedure, called \focusing", has(More)
Object-oriented programming (OOP) has proven a very useful paradigm for supporting client-server computing within the context of local-area networks, where stable assumptions can be made about the available resources and services and where interactions between clients and servers are relatively simple. By implementing servers as objects, access to services(More)