Motivated by the work which has been done for Petri-nets, the paper presents a categorical approach to graph grammars “in the large”. In the large means, that we define categories of graph grammars, graph transition systems, and graph derivation systems which embody the notion “grammar”, “direct derivation”, and “derivation”, respectively, as they are defined in the classical algebraic theory. For this purpose we introduce a suitable notion of graph grammar morphism on “typed graph grammars” in analogy to Petri-nets. A typed graph grammar is a grammar for typed graphs which is a slight generalization of the standard case. The main result shows that the three categories are related by left-adjoint functors. We discuss the relationship of our results to similar results obtained in the Petri-net field, and applications to entity/relationship models.

The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations

CORRADINI, ANDREA;MONTANARI, UGO GIOVANNI ERASMO;
1996-01-01

Abstract

Motivated by the work which has been done for Petri-nets, the paper presents a categorical approach to graph grammars “in the large”. In the large means, that we define categories of graph grammars, graph transition systems, and graph derivation systems which embody the notion “grammar”, “direct derivation”, and “derivation”, respectively, as they are defined in the classical algebraic theory. For this purpose we introduce a suitable notion of graph grammar morphism on “typed graph grammars” in analogy to Petri-nets. A typed graph grammar is a grammar for typed graphs which is a slight generalization of the standard case. The main result shows that the three categories are related by left-adjoint functors. We discuss the relationship of our results to similar results obtained in the Petri-net field, and applications to entity/relationship models.
1996
3540612289
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11568/50513
 Attenzione

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

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