A Translation from Object-Based Hypergraph Grammars into π-Calculus
Luciana Foss, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2004
Object-based models offer abstract constructions to describe complex systems. The Object-Based Graph Grammar (OBGG) is a formalism that may be used to describe this kind of system. This formalism is very intuitive, however, up to now, there are no automatic tools for verification of OBGGs. In this work we propose a translation from Object-Based Hypergraph Grammars into π-Calculus. So, we may be able to prove properties of the systems modeled in this kind of graph grammars through this translation and automatic checkers for π-calculus.