Distributed Enforcement of Service Choreographies

Distributed Enforcement of Service Choreographies

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this...

Full description

Bibliographic Details
Main Authors: Marco Autili, Massimo Tivoli
Format: Article
Language:English
Published: Open Publishing Association 2015-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1502.03512v1
id doaj-09d73b9fe26c472fa15e4e6e41fa8129
record_format Article
spelling doaj-09d73b9fe26c472fa15e4e6e41fa81292020-11-24T22:36:34ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-02-01175Proc. FOCLASA 2014183510.4204/EPTCS.175.2:9Distributed Enforcement of Service ChoreographiesMarco Autili0Massimo Tivoli1 University of L'Aqula University of L'Aquila Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.http://arxiv.org/pdf/1502.03512v1
collection DOAJ
language English
format Article
sources DOAJ
author Marco Autili
Massimo Tivoli
spellingShingle Marco Autili
Massimo Tivoli
Distributed Enforcement of Service Choreographies
Electronic Proceedings in Theoretical Computer Science
author_facet Marco Autili
Massimo Tivoli
author_sort Marco Autili
title Distributed Enforcement of Service Choreographies
title_short Distributed Enforcement of Service Choreographies
title_full Distributed Enforcement of Service Choreographies
title_fullStr Distributed Enforcement of Service Choreographies
title_full_unstemmed Distributed Enforcement of Service Choreographies
title_sort distributed enforcement of service choreographies
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2015-02-01
description Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.
url http://arxiv.org/pdf/1502.03512v1
work_keys_str_mv AT marcoautili distributedenforcementofservicechoreographies
AT massimotivoli distributedenforcementofservicechoreographies
_version_ 1725719543249108992

Similar Items