A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows.

Vahid Rafe Adel Torkaman Rahmani

Published in: CSICC (2008)

Keyphrases

graph transformation
formal analysis
formal methods
databases
information systems
data processing
computer vision
real time
multiscale
supply chain
business processes
business process
formal model
formal specification
formal models
grid workflow