Abstract
Today’s workflow management systems have not sufficiently dealt with time information, which involves time modeling at build-time and time management at run-time. As a consequence, workflow management systems are short of the ability to support the checking of temporal constraints at run-time. Although several approaches have been devised to tackle this problem, they are limited to a single workflow, using static techniques to verify temporal constraints on it. However, in an environment with concurrent workflows, there may well exist resource constraints between these workflows, which affect significantly the verification of temporal constraints at run-time. In this paper, we propose a novel approach for dynamic verification of temporal constraints for concurrent workflows. We investigate resource constraints in workflow management systems and concurrent workflow executions, and then develop the proposed verification method through analysing the temporal relationship and resource constraints between activities from different workflows.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adam, N., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems 10(2), 131–158 (1998); special Issue on Workflow and Process Management
Bettini, C., Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases 11(3), 269–306 (2002)
Casati, F., Grefen, P., Pernici, B., et al.: WIDE Workflow Model and Architecture. Public Documents (April 1996), http://dis.sema.es/projects/WIDE/Documents/ase30_4.ps.gz
Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management 47(4), 485–492 (2000)
Fakas, G., Karakostas, B.: A Workflow Management System Based on Intelligent Collaborative Objects. Information and Software Technology 41, 907–915 (1999)
Li, H., Yang, Y., Chen, T.Y.: Resource Constraints Analysis of Workflow Specifications. Accepted for publication in the Journal of Systems and Software, Elsevier
Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Internal Report, School of Information Technology, Swinburne University of Technology (2003)
Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: Proc. of the Australian Database Conference, Canberra, Australia, pp. 74–81 (2000)
Reichert, M., Bauer, T., Dadam, P.: Enterprise-wide and Cross-Enterprise Workflow Management: Challenges and Research Issues for Adaptive Workflows. In: Enterprise-wide and Cross-Enterprise Workflow Management: Concepts, Systems, Application, Germany (1999)
Workflow Management Coalition: The Workflow Reference Model. TC00-1003 (1995)
Zhao, J., Stohr, E.: Temporal Workflow Management in a Claim Handling System. In: Proc. of Work Activities Coordination and Collaboration (WACC 1999), San Francisco, CA, USA, pp. 187–195 (1999)
Zhuge, H., Cheung, T., Pung, H.: A timed workflow process model. The Journal of Systems and Software 55(3), 231–243 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, H., Yang, Y. (2004). Verification of Temporal Constraints for Concurrent Workflows. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds) Advanced Web Technologies and Applications. APWeb 2004. Lecture Notes in Computer Science, vol 3007. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24655-8_88
Download citation
DOI: https://doi.org/10.1007/978-3-540-24655-8_88
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21371-0
Online ISBN: 978-3-540-24655-8
eBook Packages: Springer Book Archive