Verification of temporal constraints for concurrent workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3007, Issue , 2004, Pages 804-813

  Li, Hongchen ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW MEASUREMENT; WORK SIMPLIFICATION;

CONCURRENT WORKFLOWS; DYNAMIC VERIFICATIONS; RESOURCE CONSTRAINT; TEMPORAL CONSTRAINTS; TEMPORAL RELATIONSHIPS; VERIFICATION METHOD; WORKFLOW EXECUTION; WORKFLOW MANAGEMENT SYSTEMS;

INFORMATION MANAGEMENT;

EID: 21144453222     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24655-8_88     Document Type: Article

References (12)

1. Adam, N., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, Special Issue on Workflow and Process Management, 10(2), (1998) 131-158
2. Bettini, C., Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases, 11(3), (2002) 269-306
3. Casati, F., Grefen, P., Pernici, B. et al: WIDE Workflow Model and Architecture. Public Documents, http://dis.sema.es/projects/WIDE/Documents/ ase30_4.ps.gz, April, (1996)
4. Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management, 47(4), (2000) 485-492
5. Fakas, G., Karakostas, B.: A Workflow Management System Based on Intelligent Collaborative Objects. Information and Software Technology, 41, (1999) 907-915
6. Li, H., Yang, Y., Chen, T. Y.: Resource Constraints Analysis of Workflow Specifications. Accepted for publication in the Journal of Systems and Software, Elsevier
7. Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Internal Report, School of Information Technology, Swinburne University of Technology, (2003)
8. Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In Proc. of the Australian Database Conference, Canberra, Australia, (2000) 74-81
9. Reichert, M., Bauer, T., Dadam, P.: Enterprise-wide and Cross-Enterprise Workflow Management: Challenges and Research Issues for Adaptive Workflows. Enterprise-wide and Cross-Enterprise Workflow Management: Concepts, Systems, Application, Germany, (1999)
10. Workflow Management Coalition: The Workflow Reference Model. TC00-1003, (1995)
11. Zhao, J., Stohr, E.: Temporal Workflow Management in a Claim Handling System. In Proc. of Work Activities Coordination and Collaboration (WACC'99), San Francisco, CA, USA, (1999) 187-195
12. Zhuge, H., Cheung, T., Pung, H.: A timed workflow process model. The Journal of Systems and Software, 55(3), (2001) 231-243