Máté Kovács and László Gönczy. Simulation and Formal Analysis of Workflow Models. In Roberto Bruni and Daniel Varro, editors, Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, Electronic Notes in Theoretical Computer Science, pages 215-224, Vienna, AUSTRIA, 2006. Elsevier.

We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be transformed into a data ow network model, (ii) how potentially incorrect execution paths can be incorporated, and (iii) how the properties of a workflow can be formally verifed using the SPIN model checker. For the several model transformation steps from workflow to analysis models, we use graph transformations.

Reference: Bibtex