{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T13:44:05Z","timestamp":1768484645656,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642294136","type":"print"},{"value":"9783642294143","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29414-3_8","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:45:41Z","timestamp":1335303941000},"page":"123-146","source":"Crossref","is-referenced-by-count":15,"title":["Reactive Event Calculus for Monitoring Global Computing Applications"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bragaglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"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\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Transactions on Computational Logic"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/545056.545070","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent systems (AAMAS)","author":"A. Artikis","year":"2002","unstructured":"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\u20131061. ACM, New York (2002)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/BFb0055499","volume-title":"Transactions and Change in Logic Databases","author":"A.J. Bonner","year":"1998","unstructured":"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.\u00a01472, pp. 166\u2013196. Springer, Heidelberg (1998)"},{"key":"8_CR4","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-28115-0_20","volume-title":"Business Process Management Workshops","author":"A. Bottrighi","year":"2012","unstructured":"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.\u00a0100, pp. 200\u2013211. Springer, Heidelberg (2012)"},{"key":"8_CR5","unstructured":"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\u201396 (2009)"},{"key":"8_CR6","unstructured":"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)"},{"issue":"1-2","key":"8_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2010-361","volume":"105","author":"F. Chesani","year":"2010","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Inform.\u00a0105(1-2), 135\u2013161 (2010)","journal-title":"Fundam. Inform."},{"key":"8_CR8","unstructured":"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\u2013112 (1994)"},{"issue":"1-4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1018900105153","volume":"28","author":"L. Chittaro","year":"2000","unstructured":"Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence\u00a028(1-4), 47\u2013106 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"15","key":"8_CR10","doi-asserted-by":"publisher","first-page":"2227","DOI":"10.1016\/j.ins.2005.10.007","volume":"176","author":"N.K. Cicekli","year":"2006","unstructured":"Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences\u00a0176(15), 2227\u20132267 (2006)","journal-title":"Information Sciences"},{"issue":"2-3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A.D.H. Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts. International Journal of Cooperative Information Systems\u00a014(2-3), 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF03037238","volume":"15","author":"A.A.A. Fernandes","year":"1997","unstructured":"Fernandes, A.A.A., Williams, M.H., Paton, N.W.: A Logic-Based Integration of Active and Deductive Databases. New Generation Computing\u00a015(2), 205\u2013244 (1997)","journal-title":"New Generation Computing"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M.N. Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing\u00a09(1), 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013265. IEEE Computer Society Press (2005)","DOI":"10.1109\/ICWS.2005.100"},{"key":"8_CR17","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems From the StandPoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-01364-5_4","volume-title":"Web Services and Formal Methods","author":"M. Montali","year":"2009","unstructured":"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.\u00a05387, pp. 55\u201372. Springer, Heidelberg (2009)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Ph.D. thesis, University of Bologna (2009)","DOI":"10.1007\/978-3-642-14538-4_8"},{"key":"8_CR20","series-title":"LNBIP","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and Verification of Declarative Open Interaction Models","author":"M. Montali","year":"2010","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol.\u00a056. Springer, Heidelberg (2010)"},{"key":"8_CR21","unstructured":"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"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"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.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10257-008-0081-5","volume":"7","author":"M. Rouached","year":"2008","unstructured":"Rouached, M., Fdhila, W., Godart, C.: A Semantical Framework to Engineering WSBPEL Processes. Information Systems and E-Business Management\u00a07(2), 223\u2013250 (2008)","journal-title":"Information Systems and E-Business Management"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"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\u201381. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0017"},{"key":"8_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/3-540-45628-7_2","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M.J. Sergot","year":"2002","unstructured":"Sergot, M.J.: Bob Kowalski: A portrait. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 5\u201325. Springer, Heidelberg (2002)"},{"key":"8_CR26","unstructured":"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\u2013688. John Wiley and Sons (1996)"},{"key":"8_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"issue":"1-3","key":"8_CR28","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"Journal of Logic Programming"},{"key":"8_CR29","unstructured":"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\u2013106. AAAI Inc. (1991)"},{"key":"8_CR30","unstructured":"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.\u00a0139. IOS Press (2008)"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"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.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-29113-5_13","volume-title":"Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011).","author":"P. Torroni","year":"2012","unstructured":"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.\u00a07169, pp. 120\u2013127. Springer, Heidelberg (2012)"},{"key":"8_CR33","volume-title":"Multiagent systems: a modern approach to distributed artificial intelligence","year":"1999","unstructured":"Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)"},{"key":"8_CR34","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"8_CR35","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P. Yolum","year":"2004","unstructured":"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\u00a042(1-3), 227\u2013253 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programs, Norms and Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29414-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T21:45:32Z","timestamp":1713908732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29414-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294136","9783642294143"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29414-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}