AbstractWe 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 explicit representation and verification of business processes is one of the main issues when in...
Workflow management systems (WfMSs) are useful tools for supporting enterprise in-formation systems....
The foundation of a process model lies in its control flow specifications. Using a generic process m...
We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how...
AbstractWe present a framework for the simulation and formal analysis of workflow models. We discuss...
We describe the structure of a workflow as a graph whose vertices represent tasks and the arcs are a...
The correctness of a workflow specification is critical for the automation of business processes. Fo...
Workflows are used to organize business processes, and workflow management tools are used to guide u...
The foundation of a process model lies in its structural specifications. Using a generic process mod...
AbstractWorkflows are used to organize business processes, and workflow management tools are used to...
Abstract. We describe a new approach to workflow analysis, which combines a rich graph representatio...
Workflow modeling is a challenging activity and designers are likely to introduce errors, especially...
At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm...
Abstract — In this paper, we show the relevance of workflow model checking and discuss the problems ...
Process models are an essential component of business process management and are found in various in...
The explicit representation and verification of business processes is one of the main issues when in...
Workflow management systems (WfMSs) are useful tools for supporting enterprise in-formation systems....
The foundation of a process model lies in its control flow specifications. Using a generic process m...
We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how...
AbstractWe present a framework for the simulation and formal analysis of workflow models. We discuss...
We describe the structure of a workflow as a graph whose vertices represent tasks and the arcs are a...
The correctness of a workflow specification is critical for the automation of business processes. Fo...
Workflows are used to organize business processes, and workflow management tools are used to guide u...
The foundation of a process model lies in its structural specifications. Using a generic process mod...
AbstractWorkflows are used to organize business processes, and workflow management tools are used to...
Abstract. We describe a new approach to workflow analysis, which combines a rich graph representatio...
Workflow modeling is a challenging activity and designers are likely to introduce errors, especially...
At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm...
Abstract — In this paper, we show the relevance of workflow model checking and discuss the problems ...
Process models are an essential component of business process management and are found in various in...
The explicit representation and verification of business processes is one of the main issues when in...
Workflow management systems (WfMSs) are useful tools for supporting enterprise in-formation systems....
The foundation of a process model lies in its control flow specifications. Using a generic process m...
DOI
Add to ORKG