Exploiting User-definable Synchronizations in Graph Transformation | Zendy

Ivan Lanese | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Exploiting User-definable Synchronizations in Graph Transformation

Author(s) -

Ivan Lanese

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.04.027

Subject(s) - computer science , graph rewriting , theoretical computer science , formalism (music) , model transformation , expressive power , synchronization (alternating current) , parametric statistics , graph , transformation (genetics) , semantics (computer science) , programming language , artificial intelligence , mathematics , art , musical , channel (broadcasting) , computer network , statistics , biochemistry , consistency (knowledge bases) , chemistry , visual arts , gene

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 formalized 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research