Exploiting User-definable Synchronizations in Graph Transformation

Ivan Lanese
2008 Electronical Notes in Theoretical Computer Science  
Parametric Synchronized Hyperedge Replacement (PSHR) is a graph transformation formalism where productions specifying the behavior of single components can be synchronized to give full transitions. The main feature of PSHR is that the synchronization model is user-definable. To enhance the applicability of the approach we propose a simplified and more suggestive semantics, preserving however the expressive power of the original one. We also show how some common synchronization models can be
more » ... alized and exploited inside PSHR. This allows to simplify the modelling step, and the produced model too. We apply this approach to the airport case study of FET-GC project AGILE.
doi:10.1016/j.entcs.2008.04.027 fatcat:nmtcb4wy6jen3jornhfraiw6kq