… Here, we use a formal specification method called Object-based graph grammars (OBGGs)
[… of graph grammars (GGs) [44], with embedded notions used to model reactive objectbased …

… graph grammars for the specification of the components, we will use ObjectBased Graph
Grammars … side, the specifications are done in an object-based style that is quite familiar to most …

… 2 Object-Based Graph Grammars The formal specification language used in this work is
based on a restricted form of Graph Grammars (GG), called Object-Based Graph Grammars (…

… graph grammars for the specification of the components, we will use Object-Based Graph
Grammars … , the specifications are done in an object-based style that is quite familiar to most of …

… can be analyzed using verification (through model checking) [4,12]. … graph in an object-based
graph grammar may be composed by instances of the vertices and edges shown in Figure …

… In Section 2 we survey some transformations for object-based/oriented languages and note
… Object-based Graph Grammars specification language. The approach adopted for verifying …

… In this direction, model-checking and automatic code … propose the use of Object-Based Graph
Grammars (OBGG) for … using OBGG can be verified through model checking. Following this …

… a graph-based formal framework to model and verify object… approach to (typed) graph
grammars is developed, where the … , dynamic behaviour, and formal verification of object-oriented …

… To be able to perform automatic verification of timed object-based graph grammars, we … ,
and use the existing tools to verify properties of timed automata to check the TOBGG. Since our …

… In this paper we analyze the problem of verifying if a message can be delivered. We model
object-based systems as a graph grammars, and analyze this property as a graph grammar …