A programming model for the orchestration of Web services

We explore the following quintessential problem: given a set of basic computing elements how do we compose them to yield interesting computation patterns. Our goal is to study composition operators which apply across a broad spectrum of computing elements, from sequential programs to distributed transactions over computer networks; so, our theory makes very few assumptions about the nature of the basic elements. In particular, we do not assume that an element's computation always terminates, or that it is deterministic. We develop a theory which can provide useful guidance for application designs, from integration of sequential programs to coordination of distributed tasks. The primary application of interest for us is the orchestration of Web services over the Internet.