@incollection{eprints1578,
            year = {2012},
           title = {Orchestrating Tuple-based Languages},
          series = {Lecture Notes in Computer Science},
          number = {7173},
           pages = {160--178},
       booktitle = {Trustworthy Global Computing},
          author = {Rocco De Nicola and Andrea Margheri and Francesco Tiezzi},
       publisher = {Springer},
        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.},
             url = {http://eprints.imtlucca.it/1578/},
        keywords = {Global computing, Orchestration, Coordination, Tuple-
based languages, Formal methods, Software tools - Proceedings of 6th International Symposium on Trustworthy Global Computing (TGC)}
}