An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Temporal workflow management in a claim handling system
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
A timed workflow process model
Journal of Systems and Software
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
The VLDB Journal — The International Journal on Very Large Data Bases
Dynamic Verification of Temporal Constraints in Production Workflows
ADC '00 Proceedings of the Australasian Database Conference
Component-based workflow systems development
Decision Support Systems
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
ePERT: extending PERT for workflow management systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
On temporal logic programming using Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
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
Dynamic batch processing in workflows: Model and implementation
Future Generation Computer Systems
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Using time stream Petri nets over a service architecture for workflow modelling and enactment
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
An incremental approach to analyzing temporal constraints of workflow processes
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
International Journal of Information Technology and Web Engineering
Dynamic instance queuing in process-aware information systems
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
At present, workflow management systems have not sufficiently dealt with the issues of time, involving time modelling at build-time and time management at run-time. They are lack of the ability to support the checking of temporal constraints at run-time. Although some approaches have been devised to tackle this problem, they are limited to a single workflow and use only static techniques to verify temporal constraints. In reality, there are multiple workflows executing concurrently in a workflow management system. There may well exist resource constraints between these concurrent workflows, which affect significantly the verification of temporal constraints at run-time. This paper proposes a novel approach for dynamic verification of temporal constraints for concurrent workflows. We first investigate resource constraints in workflow management systems, and then define concurrent workflow executions. Based on these definitions, we propose a verification method by analysing the temporal relationship and resource constraints between activities among concurrent workflows.