From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC '02 Proceedings of the Sixth International ENTERPRISE DISTRIBUTED OBJECT COMPUTING Conference (EDOC'02)
Verification of Web Service Flows with Model-Checking Techniques
CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Workflow models enhanced with process algebra verification for industrial business processes
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Machine and business modeling and simulation for workflow integration
ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
A Formal Approach for the Validation of Web Service Orchestrations
International Journal of Web Portals
Hi-index | 0.00 |
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.