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.
LANESE I., MELGRATTI H. (2008). Synchronous Multiparty Synchronizations and Transactions. BERLIN : Springer [10.1007/978-3-540-68679-8_6].
Synchronous Multiparty Synchronizations and Transactions
LANESE, IVAN;
2008
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
