Synchronous multiparty synchronizations and transactions

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 mappin...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2008
Materias:
(extended) Petri nets
fusion calculus
Graph transformations
Heidelberg (CO)
large systems
Springer (CO)
Conformal mapping
Graph theory
Marine biology
Mechanisms
Petri nets
Synchronization
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5065LNCS_n_p76_Lanese
http://hdl.handle.net/20.500.12110/paper_03029743_v5065LNCS_n_p76_Lanese
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v5065LNCS_n_p76_Lanese
record_format dspace
spelling paper:paper_03029743_v5065LNCS_n_p76_Lanese2023-06-08T15:28:27Z Synchronous multiparty synchronizations and transactions (extended) Petri nets fusion calculus Graph transformations Heidelberg (CO) large systems Springer (CO) Conformal mapping Graph theory Marine biology Mechanisms Petri nets Synchronization 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 multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by the Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction. © 2008 Springer-Verlag Berlin Heidelberg. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5065LNCS_n_p76_Lanese http://hdl.handle.net/20.500.12110/paper_03029743_v5065LNCS_n_p76_Lanese
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic (extended) Petri nets
fusion calculus
Graph transformations
Heidelberg (CO)
large systems
Springer (CO)
Conformal mapping
Graph theory
Marine biology
Mechanisms
Petri nets
Synchronization
spellingShingle (extended) Petri nets
fusion calculus
Graph transformations
Heidelberg (CO)
large systems
Springer (CO)
Conformal mapping
Graph theory
Marine biology
Mechanisms
Petri nets
Synchronization
Synchronous multiparty synchronizations and transactions
topic_facet (extended) Petri nets
fusion calculus
Graph transformations
Heidelberg (CO)
large systems
Springer (CO)
Conformal mapping
Graph theory
Marine biology
Mechanisms
Petri nets
Synchronization
description 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 multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by the Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction. © 2008 Springer-Verlag Berlin Heidelberg.
title Synchronous multiparty synchronizations and transactions
title_short Synchronous multiparty synchronizations and transactions
title_full Synchronous multiparty synchronizations and transactions
title_fullStr Synchronous multiparty synchronizations and transactions
title_full_unstemmed Synchronous multiparty synchronizations and transactions
title_sort synchronous multiparty synchronizations and transactions
publishDate 2008
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5065LNCS_n_p76_Lanese
http://hdl.handle.net/20.500.12110/paper_03029743_v5065LNCS_n_p76_Lanese
_version_ 1768546348500516864

Ejemplares similares