CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism. To this aim we show a mapping from SHR, a graph transformation framework allowing for multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction.
| Titolo: | Synchronous Multiparty Synchronizations and Transactions | |
| Autore/i: | LANESE, IVAN; MELGRATTI H. | |
| Autore/i Unibo: | ||
| Anno: | 2008 | |
| Serie: | ||
| Titolo del libro: | Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | |
| Pagina iniziale: | 76 | |
| Pagina finale: | 95 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-68679-8_6 | |
| Abstract: | In this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism. To this aim we show a mapping from SHR, a graph transformation framework allowing for multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction. | |
| Data prodotto definitivo in UGOV: | 27-giu-2013 | |
| Appare nelle tipologie: | 2.01 Capitolo / saggio in libro |
File in questo prodotto:
http://hdl.handle.net/11585/104486
Copyright © 2022