Logo eprints

Orchestrating Tuple-based Languages

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

[img]
Preview
PDF
Download (706kB) | Preview

Abstract

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.

Item Type: Book Section
Identification Number: https://doi.org/10.1007/978-3-642-30065-3_10
Uncontrolled Keywords: Global computing, Orchestration, Coordination, Tuple- based languages, Formal methods, Software tools - Proceedings of 6th International Symposium on Trustworthy Global Computing (TGC)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 02 May 2013 12:26
Last Modified: 02 May 2013 12:26
URI: http://eprints.imtlucca.it/id/eprint/1578

Actions (login required)

Edit Item Edit Item