Orchestrating Tuple-Based Languages

  • Rocco De Nicola
  • Andrea Margheri
  • Francesco Tiezzi
Conference paper

DOI: 10.1007/978-3-642-30065-3_10

Volume 7173 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
De Nicola R., Margheri A., Tiezzi F. (2012) Orchestrating Tuple-Based Languages. In: Bruni R., Sassone V. (eds) Trustworthy Global Computing. TGC 2011. Lecture Notes in Computer Science, vol 7173. Springer, Berlin, Heidelberg

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 programming 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.

Keywords

Global computing Orchestration Coordination Tuple-based languages Formal methods Software tools 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Rocco De Nicola
    • 1
    • 2
  • Andrea Margheri
    • 1
  • Francesco Tiezzi
    • 2
  1. 1.Dipartimento di Sistemi e InformaticaUniveristà degli Studi di FirenzeItaly
  2. 2.IMT - Institute for Advanced StudiesLuccaItaly