Simulation and Formal Analysis of Workflow Models | Zendy

Máté Kovács | Zendy; László Gönczy | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Simulation and Formal Analysis of Workflow Models

Author(s) -

Máté Kovács,

László Gönczy

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.04.044

Subject(s) - workflow , computer science , dataflow , workflow technology , graph rewriting , business process execution language , programming language , model checking , xpdl , workflow management system , graph , model transformation , theoretical computer science , petri net , software engineering , database , web service , artificial intelligence , service oriented architecture , consistency (knowledge bases)

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 dataflow network model, (ii) how potentially incorrect execution paths can be incorporated, and (iii) how the properties of a workflow can be formally verified using the SPIN model checker. For the several model transformation steps from workflow to analysis models, we use graph transformations

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research