Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Integration design of material flow management in an e-business manufacturing environment
Decision Support Systems
Dynamic workflow change in PDM systems
Computers in Industry
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Proceedings of the 30th international conference on Software engineering
A cooperative process-management system based on the manufacturing grid
International Journal of Computer Integrated Manufacturing - Networked Manufacturing and Mass Customization in the ECommerce Era: the Chinese Perspective
Journal of Systems and Software
Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A collaborative scheduling approach for service-driven scientific workflow execution
Journal of Computer and System Sciences
Localising temporal constraints in scientific workflows
Journal of Computer and System Sciences
Using time stream Petri nets over a service architecture for workflow modelling and enactment
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Expert Systems with Applications: An International Journal
ACM Transactions on Software Engineering and Methodology (TOSEM)
A four dimensional petri net approach for workflow management
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Certificate-Driven grid workflow paradigm based on service computing
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A hybrid workflow paradigm for integrating self-managing domain-specific applications
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Petri net-based context modeling for context-aware systems
Artificial Intelligence Review
Concurrency and Computation: Practice & Experience
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Dynamic instance queuing in process-aware information systems
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.00 |
The analysis of the correctness and rationality of a workflow model plays an important role in the research of workflow techniques and successful implementation of workflow management. This paper points out the relevant problems in the verification and analysis of a workflow model. It discusses two important properties: schedulability and boundedness of a workflow model considering timing constraints. To specify the timing constraints, WorkFlow net is extended with time information, leading to timing constraint workflow net (TCWF-net). This paper presents a model mapping method to convert a directed network graph (DNG) based workflow model, which is built by a graphic process modeling language extended with time information, into a TCWF-net. It then discusses its schedulability verification and synthesis. An algorithm to decompose an acyclic and free-choice TCWF-net into a set of T-components is presented, followed by a boundedness verification method. The usefulness of the research results is illustrated by an example.