A Translation from Object-Based Hypergraph Grammars into π-Calculus

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 w...

Full description

Saved in:
Bibliographic Details
Published inElectronic notes in theoretical computer science Vol. 95; pp. 245 - 267
Main Authors Foss, Luciana, Ribeiro, Leila
Format Journal Article
LanguageEnglish
Published Elsevier B.V 17.05.2004
Subjects
Graph Grammar
Object-Based Systems
π-Calculus
Object-Based Systems
Graph Grammar
π-Calculus
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2004.04.015