Monitoring business constraints with the event calculus

ACM Transactions on Intelligent Systems and Technology

Volumn 5, Issue 1, 2013, Pages

  Montali, Marco ^a   Maggi, Fabrizio M ^b   Chesani, Federico ^c   Mello, Paola ^c   Van Der Aalst, Wil M P ^d  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF TARTU   (Estonia)

^c UNIVERSITY OF BOLOGNA   (Italy)

^d EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business constraints; Declarative processmodels; Event calculus; Monitoring; Operational decision support; Process mining; Runtime verification

Indexed keywords

BUSINESS CONSTRAINTS; EVENT CALCULUS; OPERATIONAL DECISION SUPPORT; PROCESS MINING; PROCESS-MODELS; RUN-TIME VERIFICATION;

DECISION SUPPORT SYSTEMS; MONITORING; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84891781134     PISSN: 21576904     EISSN: 21576912     Source Type: Journal    
DOI: 10.1145/2542182.2542199     Document Type: Article

References (33)

1. ARTIKIS, A. AND PALIOURAS, G. 2009. Behaviour recognition using the event calculus. In Artificial Intelligence Applications and Innovations III, Springer, 469-478.
2. BAUER, A., LEUCKER, M., AND SCHALLHART, C. 2007. The good, the bad, and the ugly, but how ugly is ugly? In Proceedings of the International Workshop on Runtime Verification. Springer.
3. BAUER, A., LEUCKER, M., AND SCHALLHART, C. 2011. Runtime verification for LTL and TLTL. ACM Trans. Softw. Engin. Methodol.
4. BRAGAGLIA, S.,CHESANI, F.,MELLO, P.,MONTALI,M., AND TORRONI, P. 2012. Reactive event calculus for monitoring global computing applications. In Logic Programs, Norms and Action, Springer.
5. CHESANI, F., MELLO, P., MONTALI, M., AND TORRONI, P. 2009. Verification of choreographies during execution using the reactive event calculus. In Proceedings of the Conference onWeb Services and FormalMethods. Springer, 55-72.
6. CHESANI, F.,MELLO, P.,MONTALI, M., AND TORRONI, P. 2010. A logic-based, reactive calculus of events. Fundamenta Informaticae 1-2.
7. CHITTARO, L. AND MONTANARI, A. 1996. Efficient temporal reasoning in the cached event calculus. Comput. Intell. 12.
8. CLARK, K. L. 1978. Negation as failure. In Logic and Data Bases, Plenum Press, 293-322.
9. DUSTDAR, S. AND GOMBOTZ, R. 2006. Discovering web service workows using web services interaction mining. Int. J. Business Process Integr. Manage.
10. FARRELL, A. D. H., SERGOT, M. J., SALĹe, M., AND BARTOLINI, C. 2005. Using the event calculus for tracking the normative state of contracts. Coop. Inf. Syst. 2-3.
11. GIANNAKOPOULOU, D. AND HAVELUND, K. 2001. Automata-based verification of temporal properties on running programs. In Proceedings of the 16th Annual International Conference on Automated Software Engineering (ASE'01). IEEE.
12. INTERNATIONAL TELECOMMUNICATIONS UNION 2001. 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, International Telecommunications Union.
13. KOWALSKI, R. A. AND SERGOT,M. J. 1986. A logic-based calculus of events. New Generation Comput. 4, 1, 67-95.
14. LUCKHAM, D. 2001. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley.
15. MAGGI, F. M., BOSE, R. P. J. C., AND VAN DER AALST, W. M. P. 2012. Efficient discovery of understandable declarative models from event logs. In Proceedings of the 24th International Conference on Advanced Information Systems Engineering. J. Ralyt́e, X. Franch, S. Brinkkemper, and S. Wrycza, Eds., Lecture Notes in Computer Science, vol. 7328, Springer, 270-285.
16. MAGGI, F. M.,MONTALI,M.,WESTERGAARD,M., AND VAN DER AALST,W.M. P. 2011. Monitoring business constraints with linear temporal logic: An approach based on colored automata. In Proceedings of the International Conference on Business Process Management, Springer.
17. MAGGI, F. M.,MOOIJ, A. J., AND VAN DER AALST, W. M. P. 2012. Analyzing vessel behavior using process mining. Poseidon. (To Appear).
18. MAGGI, F. M., WESTERGAARD, M., MONTALI, M., AND VAN DER AALST, W. M. P. 2012. Runtime verification of ltlbased declarative process models. In Proceedings of the International Workshop on Runtime Verification, Springer.
19. MONTALI, M. 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Lecture Notes in Business Information Processing, vol. 56, Springer.
20. MONTALI, M., CHESANI, F., MAGGI, F. M., AND MELLO, P. 2013. Towards data-aware constraints in declare. In Proceedings of the ACM Symposium on Applied Computing.
21. MONTALI, M., PESIC, M., VAN DER AALST, W. M. P., CHESANI, F., MELLO, P., AND STORARI, S. 2010. Declarative specification and verification of service choreographies. ACM Trans. Web 1.
22. NEZHAD, H. R. M., SAINT-PAUL, R., CASATI, F., AND BENATALLAH, B. 2011. Event correlation for process discovery from web service interaction logs. VLDB J.
23. PAUW, W., LEI, M., PRING, E., VILLARD, L., ARNOLD, M., AND MORAR, J. 2005. Web services navigator: Visualizing the execution of web services. IBM Syst. J.
24. PESIC, M. 2008. Constraint-based workflow management systems: Shifting controls to users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven.
25. PESIC, M., SCHONENBERG, H., AND VAN DER AALST, W. M. P. 2007. Declare: Full support for loosely structured processes. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC'07). IEEE.
26. PESIC,M. AND VAN DER AALST,W.M. P. 2006. A declarative approach for flexible business processesmanagement. In Proceedings of the International Conference on Business Process Management Workshops, Springer.
27. SADRI, F. AND KOWALSKI, R. A. 1995. Variants of the event calculus. In Proceedings of the International Conference on Logic Programming. MIT Press.
28. SHANAHAN, M. 1999. The event calculus explained. In Artificial Intelligence Today: Recent Trends and Developments, Springer.
29. SPANOUDAKIS, G. AND MAHBUB, K. 2006. Non-intrusive monitoring of service-based systems. Coop. Inf. Syst. 3, 325-358. (Pubitemid 44221751)
30. VAN DERAALST,W.M. P. 2011. Process Mining:Discovery,Conformance andEnhancement ofBusiness Processes. Springer.
31. VAN DER AALST, W. M. P., VAN HEE, K. M., VAN DER WERF, J. M. E. M., AND VERDONK, M. 2010. Auditing 2.0: Using process mining to support tomorrow's auditor. IEEE Computer 43, 3.
32. VERBEEK, E., BUIJS, J., VAN DONGEN, B., AND VAN DER AALST, W. 2010. ProM 6: The process mining toolkit. In Proceedings of the International Conference on Business Process Management.
33. WESTERGAARD, M. 2011. Better algorithms for analyzing and enacting declarative workflow languages using ltl. In Proceedings of the International Conference on Business Process Management, Springer.