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

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2006, Issue , 2006, Pages 87-94

  De Maria, Elisabetta ^a   Montanari, Angelo ^a   Zantoni, Marco ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; INDUSTRIAL MANAGEMENT;

TIMED AUTOMATA; WORKFLOW SYSTEMS;

DATA FLOW ANALYSIS;

EID: 33751435841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2006.6     Document Type: Conference Paper

References (18)

1. R. Alur. Timed automata. In Proc. 11th Int. Conference on Computer-Aided Verification, LNCS 1633:8-22, 1999.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Compututer Science, 126(2): 183-235, 1994.
3. P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Updatable timed automata. Theoretical Computer Science, 321(2-3):291-345, 2004.
4. S. J. Chinn and G. R. Madey. Temporal representation and reasoning for workflow in engineering design change review. IEEE Transactions on Engineering Management, 47(4):485-492, 2000.
5. C. Daws, A. Olivero, S. Tripakis, and S. Jovine. The tool KRONOS. In Hybrid Systems III: Verification and Control, LNCS 1066:208-219, 1990.
6. J. Eder. Workflow management systems (abstract). In AD-BIS, page 210, 1997.
7. J. Eder, W. Gruber, and E. Panagos. Temporal modeling of workflows with conditional execution paths. In Proc. DEXA, LNCS 1873:243-253, 2000.
8. J. Eder, E. Panagos, and M. Rabinovich. Time constraints in workflow systems. In Proc. CAiSE, LNCS 1626:286-300, 1999.
9. R. Hardin, Z. Har'El, and R. Kurshan. COSPAN. In Proc. 8th Int. Conference on Computer-Aided Verification, LNCS 1102:423-427, 1996.
10. K. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. Springer International Journal of Software Tools for Technology Transfer, 1:134-152, 1997.
11. J. Li, Y. Fan, and M. Zhou. Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 33(2): 179-193, 2003.
12. E. D. Maria, A. Montanari, and M. Zantoni. Checking workflow schemas with time constraints using timed automata. Technical Report UDMI/06/05, University of Udine, Mathematics and Computer Science Dept., 2005
13. (an extended abstract appeared in Proc. of the OTM Workshops 2005, LNCS 3762:1-2). http://www.dimi.uniud.it/zantoni/.
14. O. Marjanovic and M. E. Orlowska. On modeling and verification of temporal constraints in production workflows. Knowledge Information System, 1(2):157-192, 1999.
15. E. Panagos and M. Rabinovich. Predictive workflow management. In Proc. 3rd Workshop NGITS, pages 193-197, 1997.
16. W. Sadiq, O. Marjanovic, and M. E. Orlowska. Managing change and time in dynamic workflow processes. Int. J. Cooperative Inf. Syst., 9(1-2):93-116, 2000.
17. W. van der Aalst. Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems, 24(8): 639-671, 1999.
18. W. van der Aalst and K. van Hee. Workflow management models, methods and systems. MIT Press, 2004.