INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
Dynamic Graph Transformation Systems
Autor/es:
ROBERTO BRUNI; HERNÁN MELGRATTI
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Lugar: Berlin / Heidelberg; Año: 2006 vol. 4178 p. 230 - 244
ISSN:
0302-9743
Resumen:
We introduce an extension of Graph Grammars (GGs), called Dynamic Graph Grammars (DynGGs), where the right-hand side of a production can spawn fresh parts of the type graph and fresh productions operating on it. The features of DynGGs make them suitable for the straightforward modeling of reflexive mobile systems like dynamic nets and the Join calculus. Our main result shows that each DynGG can be modeled as a (finite) GG, so that the dynamically generated structure can be typed statically, still preserving exactly all derivations.
