eprintid: 1578
rev_number: 9
eprint_status: archive
userid: 31
dir: disk0/00/00/15/78
datestamp: 2013-05-02 12:26:20
lastmod: 2013-05-02 12:26:20
status_changed: 2013-05-02 12:26:20
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Margheri, Andrea
creators_name: Tiezzi, Francesco
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Orchestrating Tuple-based Languages
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Global computing, Orchestration, Coordination, Tuple-
based languages, Formal methods, Software tools - Proceedings of 6th International Symposium on Trustworthy Global Computing (TGC)
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.
date: 2012
date_type: published
series: Lecture Notes in Computer Science
number: 7173
publisher: Springer
pagerange: 160-178
id_number: 10.1007/978-3-642-30065-3_10
refereed: TRUE
isbn: 978-3-642-30064-6
book_title: Trustworthy Global Computing
official_url: http://dx.doi.org/10.1007/978-3-642-30065-3_10
citation:   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)  
document_url: http://eprints.imtlucca.it/1578/1/dNMT_tgc2011.pdf