Using timed automata for a priori warnings and planning for timed declarative process models

International Journal of Cooperative Information Systems

Volumn 23, Issue 1, 2014, Pages

  Maggi, Fabrizio Maria ^a   Westergaard, Michael ^b,c  

^a UNIVERSITY OF TARTU   (Estonia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS   (Russian Federation)

Author keywords

Declarative process modeling; Declare; error detection; metric temporal logic; operational support; planning; timed automata

Indexed keywords

EID: 84900496111     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843014400036     Document Type: Article

References (25)

1. M. Pesic, Constraint-Based Workflow Management Systems: Shifting Controls to Users, PhD thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008).
2. M. Pesic, H. Schonenberg and W. M. P. van der Aalst, Declare: Full support for loosely-structured processes, in IEEE Int. EDOC Conf. 2007, (2007), pp. 287-300.
3. W. M. P. van der Aalst, M. Pesic and H. Schonenberg, Declarative workflows: Balancing between flexibility and support, Comput. Sci. - Res. Develop. 23 (2009) 99-113.
4. M. Westergaard and F. Maggi, Declare: A tool suite for declarative workflow modeling and enactment, in Business Process Management Demonstration Track (BPMDemos 2011), eds. H. Ludwig, H. Reijers, CEUR Workshop Proceedings, Vol. 820. CEURWS.org (2011)
5. M. Montali, Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach, Vol. 56 (Springer, 2010).
6. F. Chesani, P. Mello, M. Montali and P. Torroni, Verification of choreographies during execution using the reactive event calculus, in WS-FM (2008), pp. 55-72.
7. R. Alur and D. Dill, A theory of timed automata, Theor. Comput. Sci. 126(2) (1994) 183-235.
8. R. Alur and T. Henzinger, Real-time logics: Complexity and expressiveness, in Proc. Fifth Annual IEEE Symp. Logic in Computer Science, 1990. LICS '90 (1990), pp. 390-401.
9. R. Koymans, Specifying real-time properties with metric temporal logic, Real-Time Syst. 2 (1990) 255-299, http://dx.doi.org/10.1007/BF01995674, 10.1007/ BF01995674.
10. P. Thati and G. Ro̧su, Monitoring algorithms for metric temporal logic specifications, Electron. Notes Theor. Comput. Sci. 113 (2005) 145-162, http://dx.doi.org/10.1016/j.entcs.2004.01.029.
11. M. Westergaard and F. M. Maggi, Looking into the future: Using timed automata to provide a priori advice about timed declarative process models, in Proc. of CoopIS. LNCS (Springer, 2012).
12. M. Westergaard, CPN Tools 4: Multi-formalism and Extensibility. Submitted to Petri Nets 2013.
13. A. Bauer, M. Leucker and C. Schallhart, Comparing LTL semantics for runtime verification, Logic Comput. 20(3) (2010) 651-674.
14. O. Marjanovic and M. Orlowska, On modeling and verification of temporal constraints in production workflows, Knowledge Inform. Syst. 1(2) (1999) 157-192.
15. UppAal webpage. Online: www.uppaal.org.
16. M. Westergaard, Better algorithms for analyzing and enacting declarative workflow languages using LTL, in BPM (2011), pp. 83-98.
17. A. Lanz, B. Weber and M. Reichert, Workflow time patterns for process-aware information systems, in Enterprise, Business-Process and Information Systems Modeling, Vol. 50 (2010), pp. 94-107.
18. J. Eder, E. Panagos and M. Rabinovich, Time constraints in workflow systems, in Proc. of the 11th Int. Conf. Adv. Information Systems Engineering (CAiSE99), LNCS 1626 (Springer-Verlag, 1999), pp. 286-300.
19. J. Eder and A. Tahamtan, Temporal consistency of view based interorganizational workflows, in Information Systems and e-Business Technologies, Vol. 5 (2008), pp. 96-107.
20. H. A. Taha, Operations Research: An Introduction, 9th edn. (Prentice-Hall, 2010).
21. C. Bettini, X. Wang and S. Jajodia, Solving multi-granularity temporal constraint networks, Artif. Intell. 140(1-2) (2002) 107-152.
22. C. Bettini, X. Wang and S. Jajodia, Temporal reasoning in workflow systems, Distributed Parallel Databases 11(3) (2002) 269-306.
23. C. Combi, M. Gozzi, R. Posenato and G. Pozzi, Conceptual modeling of flexible temporal workflows, ACM Trans. Auton. Adapt. Syst. 7(2) (2012) 19:1-19:29.
24. J. Chen and Y. Yang, Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems, ACM Trans. Auton. Adapt. Syst. 2(2) (2007).
25. D. David, Timing assumptions and verification of finite-state concurrent systems, in Automatic Verification Methods for Finite State Systems, LNCS, Vol. 407 (Springer, 1990), pp. 197-212.