Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Mobile values, new names, and secure communication
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communication and Concurrency
Disciplining Orchestration and Conversation in Service-Oriented Computing
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Correlation is an important mechanism used in orchestration languages for Web Services. It expresses means by which many instances of the same service can be carried on at the same time. In this paper we extend the BP-calculus, a language based on the @p-calculus and dedicated to the specification of web service orchestrations, with a message algebra, a mechanism of function evaluation and a mechanism of correlation. The mechanism of function evaluation allows message handling while the mechanism of correlation guarantees uniqueness of service instances by preventing reception of messages inducing the same assignments of a correlation set. We also show how it can be used to express the semantics of the BPEL constructs coping with correlation. As an illustration of the usefulness of this process algebraic framework, we terminate with the presentation of a motivating example, the Trade Market example.