A novel 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 individual 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 individuals responsible for possible violations. To do that in the asynchronous case we resort to techniques from Operational Research.
Automata for analysing service contracts / Basile, Davide*; Degano, Pierpaolo; Ferrari, Gian Luigi. - ELETTRONICO. - (2014), pp. 34-50. (Intervento presentato al convegno International Symposium on Trustworthy Global Computing TGC 2014: Trustworthy Global Computing) [10.1007/978-3-662-45917-1_3].
Automata for analysing service contracts
Basile, Davide
;Degano, Pierpaolo;
2014
Abstract
A novel 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 individual 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 individuals responsible for possible violations. To do that in the asynchronous case we resort to techniques from Operational Research.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
