Abstract
Recently, a significant body of research has been dedicated to the analysis and verification of workflows without taking into account the temporal dimension of activities involved. Workflow also has a strong temporal aspect: activity sequencing, deadlines, routing conditions, and scheduling all involve the element of time. Once the temporal aspects of the activities in a process description are taken into account, various types of synchronization anomalies and other undesirable behavior may be detected. In this article, we address both the quantitative temporal aspect and the qualitative temporal aspect of workflow systems. On one hand, based on time Petri net (TPN), we introduce a set of linear inference algorithms to solve some quantitative inference problems of temporal constraints of workflows. On the other hand, based on extended interval temporal logic (EITL), we propose temporal logic workflow models to qualitatively infer temporal relations among tasks of workflow systems. © 2004 Wiley Periodicals, Inc.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
