TY  - CHAP
ID  - eprints1578
T2  - Trustworthy Global Computing
EP  - 178
SN  - 978-3-642-30064-6
PB  - Springer
A1  - De Nicola, Rocco
A1  - Margheri, Andrea
A1  - Tiezzi, Francesco
N2  - The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro-
gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi.
To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client
applications to access information about their goods and to place orders.
T3  - Lecture Notes in Computer Science
SP  - 160
Y1  - 2012///
KW  - Global computing
KW  -  Orchestration
KW  -  Coordination
KW  -  Tuple-
based languages
KW  -  Formal methods
KW  -  Software tools - Proceedings of 6th International Symposium on Trustworthy Global Computing (TGC)
AV  - public
TI  - Orchestrating Tuple-based Languages
UR  - http://dx.doi.org/10.1007/978-3-642-30065-3_10
ER  -