Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

COORDINATION
2006
Springer

favoriteEmaildiscussreport

123views Distributed And Parallel Com...» more COORDINATION 2006»

A Logical View of Choreography

13 years 8 months ago

A Logical View of Choreography

Download rap.dsi.unifi.it

Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio

Carlo Montangero, Laura Semini

Real-time Traffic

Atomic Interaction | Complex Choreographies | COORDINATION 2006 | Defines Composition Rules | Distributed And Parallel Computing |

claim paper

Related Content

» Exploring the Connection of Choreography and Orchestration with Exception Handling and Fin...

» Distributed Orchestration Versus Choreography The FOCAS Approach

» Registering UMM Business Collaboration Models in an ebXML Registry

» Choreography and Orchestration A Synergic Approach for System Design

» Mapping interconnection choreography models to interaction choreography models

» Realizability of Choreographies Using Process Algebra Encodings

» WSMO Choreography From Abstract State Machines to Concurrent Transaction Logic

» Ontology support for web service processes

» Deriving executable BPEL from UMM Business Transactions

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	COORDINATION
Authors	Carlo Montangero, Laura Semini

Comments (0)