An automaton-based approach to the verification of timed workflow schemas

Authors:
Elisabetta De Maria;Angelo Montanari;Marco Zantoni
Affiliations:
University of Udine, Italy;University of Udine, Italy;University of Udine, Italy
Venue:
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Year:
2006

Citing 0
Cited 4

Conflict detection and resolution for workflows constrained by resources and non-determined durations

Journal of Systems and Software
Analysis and applications of timed service protocols

ACM Transactions on Software Engineering and Methodology (TOSEM)
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

International Journal of Web Services Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Nowadays, the ability of providing an automated support to the management of business processes is commonly recognized as a main competitive factor for companies. One of the most critical resources to deal with is time, but, unfortunately, the time management support offered by most workflow systems is rather limited. In this paper we focus our attention on the modeling and verification of workflows extended with time constraints. We propose timed automata as an effective tool to specify timed workflow schemas and to check their consistency.