Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
| Autor: | Davide Basile, Rosario Pugliese, Maurice H. ter Beek |
|---|---|
| Přispěvatelé: | Università degli Studi di Firenze = University of Florence [Firenze] (UNIFI), Istituto di Scienze e Tecnologie dell'Informazione (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Hanne Riis Nielson, Emilio Tuosto, TC 6, WG 6.1 |
| Rok vydání: | 2019 |
| Předmět: |
Parametric synthesis
Supervisory control theory Computer science business.industry Controller synthesis Orchestration Service contracts 020207 software engineering Choreography 02 engineering and technology Bridging (programming) Automaton Contract automata Controllability [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Supervisory control 020204 information systems Control system 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Software engineering business Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030223960 COORDINATION Lecture Notes in Computer Science 21th International Conference on Coordination Languages and Models (COORDINATION) 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩ 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), pp. 129–147, Kongens Lyngby, Denmark, 17-21/06/2019 info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Pugliese R./congresso_nome:21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19)/congresso_luogo:Kongens Lyngby, Denmark/congresso_data:17-21%2F06%2F2019/anno:2019/pagina_da:129/pagina_a:147/intervallo_pagine:129–147 |
| Popis: | Part 3: Exploring New Frontiers; International audience; We explore the frontiers between coordination and control systems by discussing a number of contributions to bridging the gap between supervisory control theory and coordination of services. In particular, we illustrate how the classical synthesis algorithm from supervisory control theory to obtain the so-called most permissive controller can be modified to synthesise orchestrations and choreographies of service contracts formalised as contract automata. The key ingredient to make this possible is a novel notion of controllability. Finally, we present an abstract parametric synthesis algorithm and show that it generalises the classical synthesis as well as the orchestration and choreography syntheses. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|