Runtime verification of LTL-based declarative process models

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

Volumn 7186 LNCS, Issue , 2012, Pages 131-146

  Maggi, Fabrizio Maria ^a   Westergaard, Michael ^a   Montali, Marco ^b   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

Declarative Business Processes; Finite State Automata; Linear Temporal Logic; Monitoring; Operational Support; Process Mining

Indexed keywords

BUSINESS PROCESS; CONSTRAINT-BASED; FINITE TRACES; LINEAR TEMPORAL LOGIC; PROCESS MINING; PROCESS MODEL; RUN-TIME VERIFICATION; RUNNING PROCESS; TOOLSETS;

ARTIFICIAL INTELLIGENCE; FINITE AUTOMATA; MONITORING;

TEMPORAL LOGIC;

EID: 84861217384     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29860-8_11     Document Type: Conference Paper

References (13)

1. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)
2. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. In: Logic and Computation, pp. 651-674 (2010)
3. Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proc. ASE, pp. 412-416 (2001)
4. International Telecommunications Union. Technical characteristics for a universal shipborne Automatic Identification System using time division multiple access in the VHF maritime mobile band, Recommendation ITU-R M.1371-1 (2001)
5. Lichtenstein, O., Pnueli, A., Zuck, L.D.: The Glory of the Past. In: Proc. of Logic of Programs, pp. 196-218 (1985)
6. Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
7. Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-Guided Discovery of Declarative Process Models. In: Proc. of CIDM, pp. 192-199 (2011)
8. Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring Business Constraints with the Event Calculus. Technical Report DEIS-LIA- 002-11, University of Bologna, Italy, LIA Series no. 97 (2011)
9. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: Proc. of EDOC, pp. 287-300 (2007)
10. Tarjan, R.: Depth-First Search and Linear Graph Algorithms. SIAM Journal on Computing, 146-160 (1972)
11. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D (2009)
12. Westergaard, M.: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 83-98. Springer, Heidelberg (2011)
13. Westergaard, M., Maggi, F.M.: Modelling and Verification of a Protocol for Operational Support using Coloured Petri Nets. In: Proc. of ATPN 2011 (2011)