Paper Info
Title
Orchestration Synthesis For Real-Time Service Contracts
Abstract
Service contracts offer a way to define the desired behavioural compliance of a composition of services, characterised by the fulfilment of all requirements (e. g. service requests) by obligations (e. g. service offers). Depending on their granularity, requirements may vary according to their criticality and contain real-time aspects (e. g. service expiration time). Synthesis of safe orchestrations, the standard method to refine spurious compositions into compliant ones, is of paramount importance. Ideally, safe orchestrations solve competition among matching requests/ offers, respecting criticalities and time constraints, in the best possible way. The contribution of this paper is (i) the introduction of timed service contract automata, a novel formalisation of service contracts with (ii) real-time constraints and (iii) service requests with varying levels of criticality, and a means to compute their (iv) composition and (v) safe orchestration. Orchestration is based on the synthesis of the most permissive controller from supervisory control theory, computed using the concept of zones from timed games. An intuitive example illustrates the contribution.
Year
DOI
Venue
2018
10.1007/978-3-030-00359-3_3
VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
DocType
Volume
ISSN
Conference
11181
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Davide Basile101.69
Maurice H. ter Beek271862.08
Axel Legay32982181.47
Louis-Marie Traonouez424318.50