Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Distributed computing in practice: the Condor experience: Research Articles
Concurrency and Computation: Practice & Experience - Grid Performance
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
ChinaGrid: making grid computing a reality
ICADL'04 Proceedings of the 7th international Conference on Digital Libraries: international collaboration and cross-fertilization
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards a Framework for Workflow Composition in Ontology Tailoring in Semantic Grid
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Application of if-conversion to verification and optimization of workflows
Programming and Computing Software
LDAG: a new model for grid workflow applications
WSEAS Transactions on Computers
Modeling grid workflow by coloured grid service net
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
An algorithm of automatic workflow optimization
Programming and Computing Software
Hi-index | 0.00 |
Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, we propose a service composition oriented grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. Based on this, we present a Petri net based grid workflow verification and optimization toolkit, called PGWFT, to help common users describe workflow instances and perform verification and optimization analysis. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.