Automata for Specifying and Orchestrating Service Contracts
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 whet...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2017-04-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/2614/pdf |
| _version_ | 1797268644448698368 |
|---|---|
| author | Davide Basile Pierpaolo Degano Gian-Luigi Ferrari |
| author_facet | Davide Basile Pierpaolo Degano Gian-Luigi Ferrari |
| author_sort | Davide Basile |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-25T01:35:45Z |
| format | Article |
| id | doaj.art-93270f60c3cb43e28605a2f73c5eed26 |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:35:45Z |
| publishDate | 2017-04-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-93270f60c3cb43e28605a2f73c5eed262024-03-08T09:45:41ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742017-04-01Volume 12, Issue 410.2168/LMCS-12(4:6)20162614Automata for Specifying and Orchestrating Service ContractsDavide Basilehttps://orcid.org/0000-0002-7196-6609Pierpaolo DeganoGian-Luigi FerrariAn 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.https://lmcs.episciences.org/2614/pdfcomputer science - logic in computer sciencecomputer science - formal languages and automata theoryf.1.2f.3.1h.3.5h.5.3 |
| spellingShingle | Davide Basile Pierpaolo Degano Gian-Luigi Ferrari Automata for Specifying and Orchestrating Service Contracts Logical Methods in Computer Science 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 |
| title | Automata for Specifying and Orchestrating Service Contracts |
| title_full | Automata for Specifying and Orchestrating Service Contracts |
| title_fullStr | Automata for Specifying and Orchestrating Service Contracts |
| title_full_unstemmed | Automata for Specifying and Orchestrating Service Contracts |
| title_short | Automata for Specifying and Orchestrating Service Contracts |
| title_sort | automata for specifying and orchestrating service contracts |
| topic | 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 |
| url | https://lmcs.episciences.org/2614/pdf |
| work_keys_str_mv | AT davidebasile automataforspecifyingandorchestratingservicecontracts AT pierpaolodegano automataforspecifyingandorchestratingservicecontracts AT gianluigiferrari automataforspecifyingandorchestratingservicecontracts |