Skip to main content
SpringerLink
Log in

Reactive Event Calculus for Monitoring Global Computing Applications

  • Chapter
Logic Programs, Norms and Action

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Inform. 105(1-2), 135–161 (2010)

    MathSciNet  MATH  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  10. Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), 2227–2267 (2006)

    Article  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  13. Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)

    Article  Google Scholar 

  14. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)

    Article  MathSciNet  Google Scholar 

  15. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)

    Article  Google Scholar 

  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. McCarthy, J., Hayes, P.J.: Some Philosophical Problems From the StandPoint of Artificial Intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol. 56. Springer, Heidelberg (2010)

    Book  MATH  Google Scholar 

  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

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  28. Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming 44(1-3), 207–240 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  33. Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)

    Google Scholar 

  34. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)

    Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bologna, 40128, Bologna, Italy

    Stefano Bragaglia, Federico Chesani, Paola Mello & Paolo Torroni

  2. Free University of Bozen-Bolzano, Bolzano, Italy

    Marco Montali

Authors
  1. Stefano Bragaglia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Federico Chesani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paola Mello
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marco Montali
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Paolo Torroni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P. (2012). Reactive Event Calculus for Monitoring Global Computing Applications. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation