Reactive event calculus for monitoring global computing applications

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

Volumn 7360 LNCS, Issue , 2012, Pages 123-146

  Bragaglia, Stefano ^a   Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^b   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

Business Process Management; Clinical Guidelines; Computational Logic; Event Calculus; Monitoring; Multi Agent Systems; Sergot; Service Oriented Architectures

Indexed keywords

BUSINESS PROCESS MANAGEMENT; CLINICAL GUIDELINE; COMPUTATIONAL LOGIC; EVENT CALCULUS; MULTI AGENT SYSTEM (MAS); SERGOT;

ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SERVICES; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; SERVICE ORIENTED ARCHITECTURE (SOA);

MONITORING;

EID: 84861035772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29414-3_8     Document Type: Article

References (35)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic 9(4), 1-43 (2008
2. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent systems (AAMAS), pp. 1053-1061. ACM, New York (2002
3. Bonner, A.J., Kifer, M.: Results on Reasoning about Updates in Transaction Logic. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, pp. 166-196. Springer, Heidelberg (1998
4. Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P.: Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 200-211. Springer, Heidelberg (2012
5. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: Boutilier, C. (ed.) Proc. of the 21st Intl. Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96 (2009
6. Chesani, F., Montali, M., Mello, P., Torroni, P.: Monitoring Time-Aware Social Commitments with Reactive Event Calculus. In: Proceedings of the 7th International Symposium From Agent Theory to Agent Implementation, AT2AI (2010
7. Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Inform. 105(1-2), 135-161 (2010
8. Chittaro, L., Montanari, A.: Efficient handling of context-dependency in the cached event calculus. In: Proc. of TIME 1994 - International Workshop on Temporal Representation and Reasoning, pp. 103-112 (1994
9. Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28(1-4), 47-106 (2000
10. Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), 2227-2267 (2006
11. Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts. International Journal of Cooperative Information Systems 14(2-3), 99-129 (2005
12. Fernandes, A.A.A.,Williams, M.H., Paton, N.W.: A Logic-Based Integration of Active and Deductive Databases. New Generation Computing 15(2), 205-244 (1997
13. Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75-81 (2005
14. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503-582 (1994
15. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67-95 (1986
16. Mahbub, K., Spanoudakis, G.: Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In: Proeedings of the 3rd IEEE International Conference on Web Services (ICWS), pp. 257-265. IEEE Computer Society Press (2005
17. McCarthy, J., Hayes, P.J.: Some Philosophical Problems From the StandPoint of Artificial Intelligence. Machine Intelligence 4, 463-502 (1969
18. Montali, M., Chesani, F., Mello, P., Torroni, P.: Verification of Choreographies During Execution Using the Reactive Event Calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 55-72. Springer, Heidelberg (2009
19. Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Ph.D. thesis, University of Bologna (2009
20. Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol. 56. Springer, Heidelberg (2010
21. Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. Tech. rep., LIA, University of Bologna (2010); currently submitted to ACM TIST
22. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006
23. Rouached, M., Fdhila, W., Godart, C.: A Semantical Framework to Engineering WSBPEL Processes. Information Systems and E-Business Management 7(2), 223-250 (2008
24. Sadri, F., Kowalski, R.A.: Variants of the Event Calculus. In: Sterling, L. (ed.) Proc. of the 12th International Conference on Logic Programming (ICLP 1995), pp. 67-81. MIT Press (1995
25. Sergot, M.J.: Bob Kowalski: A portrait. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 5-25. Springer, Heidelberg (2002
26. Shanahan, M.: Robotics and the common sense informatic situation. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996), pp. 684-688. John Wiley and Sons (1996
27. Shanahan, M.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409-430. Springer, Heidelberg (1999
28. Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming 44(1-3), 207-240 (2000
29. Singh, M.P.: Social and psychological commitments in multiagent systems. In: AAAI Fall Symposium on Knowledge and Action at Social and Organizational Levels, pp. 104-106. AAAI Inc. (1991
30. Ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139. IOS Press (2008
31. Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 228-243. Springer, Heidelberg (2010
32. Torroni, P., Chesani, F., Mello, P., Montali, M.: A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds.) DALT 2011. LNCS, vol. 7169, pp. 120-127. Springer, Heidelberg (2012
33. Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999
34. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007
35. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42(1-3), 227-253 (2004)