We analyze the relationship between Fusion Calculus and graph transformations defined in the Synchronized Hyperedge Replacement (SHR) style. In particular we show that the underlying algebraic structure is the same when the synchronization used in SHR is Milner synchronization. The main difference we see is that Fusion Calculus has an interleaving behaviour while SHR is inherently concurrent. In the paper we introduce the interleaving semantics for SHR with Milner synchronization and show that there is a complete correspondence between the operational semantics of Fusion Calculus and of SHR systems.

A Graphical Fusion Calculus

LANESE, IVAN;
2004

Abstract

We analyze the relationship between Fusion Calculus and graph transformations defined in the Synchronized Hyperedge Replacement (SHR) style. In particular we show that the underlying algebraic structure is the same when the synchronization used in SHR is Milner synchronization. The main difference we see is that Fusion Calculus has an interleaving behaviour while SHR is inherently concurrent. In the paper we introduce the interleaving semantics for SHR with Milner synchronization and show that there is a complete correspondence between the operational semantics of Fusion Calculus and of SHR systems.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels
199
215
LANESE I.; MONTANARI U.
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/104596
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact