Temporal dependency for dynamic verification of temporal constraints in workflow systems

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

Volumn 3251, Issue , 2004, Pages 1005-1008

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

WORK SIMPLIFICATION;

DYNAMIC VERIFICATIONS; EFFECTIVENESS AND EFFICIENCIES; MUTUAL DEPENDENCIES; TEMPORAL CONSTRAINTS; TEMPORAL VERIFICATION; TIME MANAGEMENT; WORK-FLOW SYSTEMS; WORKFLOW MANAGEMENT SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33645617907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30208-7_159     Document Type: Article

References (5)

1. Bussler, C: Workflow Instance Scheduling with Project Management Tools. In Proc. of the 9th Workshop on Database and Expert Systems Applications (DEXA'98). Vienna, Austria (1998) 753-758
2. 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
3. th International Conference on Advanced Information Systems Engineering (CAiSE'99). Lecture Notes in Computer Science, Vol. 1626. Springer-Verlag, Germany (1999) 286-300
4. Li, H., Yang, Y., Chen, T.Y.: Resource Constraints Analysis of Workflow Specifications. The Journal of Systems and Software, Elsevier, in press
5. Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. a In Proc. of the Australian Database Conference. Canberra, Australia (2000) 74-81