Advertisement

Reactive Event Calculus for Monitoring Global Computing Applications

  • Stefano Bragaglia
  • Federico Chesani
  • Paola Mello
  • Marco Montali
  • Paolo Torroni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7360)

Abstract

In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state) of the world. Since its introduction, EC has been recognized for being an excellent framework to reason about time and events. Recently, with the advent of complex software systems decomposed into sets of autonomous, heterogeneous distributed entities, EC has drawn attention as a viable solution for monitoring them, where monitoring means to represent their state and how events dynamically affect such state.

In this work we present the fundamentals of a reactive and logic-based version of EC, named REC, for monitoring declarative properties, while maintaining a solid formal background. We present some results about its formal as well as practical aspects, and discuss how REC has been applied to a variety of application domains, namely BPM, SOC, CGs and MAS. We also highlight some key issues required by the monitoring task, and finally discuss how REC overcomes such issues.

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)MathSciNetCrossRefGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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)Google Scholar
  6. 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)Google Scholar
  7. 7.
    Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Inform. 105(1-2), 135–161 (2010)MathSciNetzbMATHGoogle Scholar
  8. 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)Google Scholar
  9. 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)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), 2227–2267 (2006)zbMATHCrossRefGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 13.
    Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)CrossRefGoogle Scholar
  14. 14.
    Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  16. 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)Google Scholar
  17. 17.
    McCarthy, J., Hayes, P.J.: Some Philosophical Problems From the StandPoint of Artificial Intelligence. Machine Intelligence 4, 463–502 (1969)zbMATHGoogle Scholar
  18. 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)CrossRefGoogle Scholar
  19. 19.
    Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Ph.D. thesis, University of Bologna (2009)Google Scholar
  20. 20.
    Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol. 56. Springer, Heidelberg (2010)zbMATHCrossRefGoogle Scholar
  21. 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 TISTGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 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)CrossRefGoogle Scholar
  24. 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)Google Scholar
  25. 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)CrossRefGoogle Scholar
  26. 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)Google Scholar
  27. 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)CrossRefGoogle Scholar
  28. 28.
    Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming 44(1-3), 207–240 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  29. 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)Google Scholar
  30. 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)Google Scholar
  31. 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)CrossRefGoogle Scholar
  32. 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)CrossRefGoogle Scholar
  33. 33.
    Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)Google Scholar
  34. 34.
    Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)Google Scholar
  35. 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)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Stefano Bragaglia
    • 1
  • Federico Chesani
    • 1
  • Paola Mello
    • 1
  • Marco Montali
    • 2
  • Paolo Torroni
    • 1
  1. 1.University of BolognaBolognaItaly
  2. 2.Free University of Bozen-BolzanoBolzanoItaly

Personalised recommendations