A graph grammar-based formal validation of object-process diagrams.

Arieh Bibliowicz Dov Dori

Published in: Softw. Syst. Model. (2012)

Keyphrases

complex objects
random walk
database
moving objects
object oriented
object tracking
bipartite graph
graph theory
object model
formal methods