Checking order constraints in collaborative workflow with invariant analysis

Authors:
Jidong Ge;Haiyang Hu
Affiliations:
State Key Laboratory for Novel Software Technology, Nanjing University, China and Software Institute;State Key Laboratory for Novel Software Technology, Nanjing University and College of Computer, Hangzhou Dianzi University, China
Venue:
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Year:
2010

Citing 10
Cited 0

Free choice Petri nets

Free choice Petri nets
Inter-organizational workflows for enterprise coordination

Coordination of Internet agents
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
The State Explosion Problem

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Making Work Flow: On the Application of Petri Nets to Business Process Management

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Interaction Protocols as Design Abstractions for Business Processes

IEEE Transactions on Software Engineering
The view-based approach to dynamic inter-organizational workflow cooperation

Data & Knowledge Engineering
Invariant Analysis for the Task Refinement of Workflow Nets

CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow collaborative technology can compose the existing services and build larger and larger services. Different organizations define their workflows themselves, and provide interfaces to other workflows from other organizations so that the different organizations can collaborate and cooperative each other with workflow collaboration. In the workflow collaboration model, we propose an approach to check order constraints for necessary conditions of soundness property with invariant analysis.