PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Basile D., Degano P., Ferrari G. Automata for specifying and orchestrating service contracts. In: Logical Methods in Computer Science, vol. 12 (4) article n. 6. Institut f. Theoretische Informatik, Technische Universitšt Braunschweig, 2016.
 
 
Abstract
(English)
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.
URL: http://https://lmcs.episciences.org/2618
DOI: 10.2168/LMCS-12(4:6)2016
Subject Contracts
Services
Model
Verification
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional