Basile, Davide and Degano, Pierpaolo and Ferrari, Gian-Luigi - Automata for Specifying and Orchestrating Service Contracts

lmcs:2618 - Logical Methods in Computer Science, April 27, 2017, Volume 12, Issue 4
Automata for Specifying and Orchestrating Service Contracts

Authors: Basile, Davide and Degano, Pierpaolo and Ferrari, Gian-Luigi

An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the principals responsible for possible violations. To do that in the asynchronous case we resort to Linear Programming techniques. We also relate our automata with two logically based methods for specifying contracts.


Source : oai:arXiv.org:1607.08363
DOI : 10.2168/LMCS-12(4:6)2016
Volume: Volume 12, Issue 4
Published on: April 27, 2017
Submitted on: August 31, 2015
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,F.1.2,F.3.1,H.3.5,H.5.3


Share

Consultation statistics

This page has been seen 254 times.
This article's PDF has been downloaded 91 times.