INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
Synchronous Multiparty Synchronizations and Transactions
Autor/es:
IVAN LANESE; HERNÁN MELGRATTI
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Lugar: Berlin / Heidelberg; Año: 2008 vol. 5065 p. 76 - 95
ISSN:
0302-9743
Resumen:
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.
