{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T19:29:33Z","timestamp":1791487773481,"version":"4.3.4"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Dutch Ministry of Economic Affairs\u2014BSIK program"},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Intell. Syst. Technol."],"published-print":{"date-parts":[[2013,12]]},"abstract":"<jats:p>\n                    Today, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these large processes comprise software components as well as human actors, they face highly dynamic environments and their subsystems are updated and evolve independently of each other. Due to their dynamic nature and complexity, it might be difficult, if not impossible, to ensure at design-time that such systems will always exhibit the desired\/expected behaviors. This, in turn, triggers the need for runtime verification and monitoring facilities. These are needed to check whether the actual behavior complies with expected business constraints, internal\/external regulations and desired best practices. In this work, we present Mobucon EC, a novel monitoring framework that tracks streams of events and continuously determines the state of business constraints. In Mobucon EC, business constraints are defined using the declarative language Declare. For the purpose of this work, Declare has been suitably extended to support quantitative time constraints and non-atomic, durative activities. The logic-based language\n                    <jats:italic>Event Calculus<\/jats:italic>\n                    (EC) has been adopted to provide a formal specification and semantics to Declare constraints, while a light-weight, logic programming-based EC tool supports dynamically reasoning about partial, evolving execution traces. To demonstrate the applicability of our approach, we describe a case study about maritime safety and security and provide a synthetic benchmark to evaluate its scalability.\n                  <\/jats:p>","DOI":"10.1145\/2542182.2542199","type":"journal-article","created":{"date-parts":[[2014,1,2]],"date-time":"2014-01-02T08:09:43Z","timestamp":1388650183000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Monitoring business constraints with the event calculus"],"prefix":"10.1145","volume":"5","author":[{"given":"Marco","family":"Montali","sequence":"first","affiliation":[{"name":"Free University of Bozen-Bolzano"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"University of Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"University of Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P. van der","family":"Aalst","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,1,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Artikis A. and Paliouras G. 2009. Behaviour recognition using the event calculus. In Artificial Intelligence Applications and Innovations III Springer 469--478.  Artikis A. and Paliouras G. 2009. Behaviour recognition using the event calculus. In Artificial Intelligence Applications and Innovations III Springer 469--478.","DOI":"10.1007\/978-1-4419-0221-4_55"},{"key":"e_1_2_1_2_1","unstructured":"Bauer A. Leucker M. and Schallhart C. 2007. The good the bad and the ugly but how ugly is ugly&quest; In Proceedings of the International Workshop on Runtime Verification. Springer.   Bauer A. Leucker M. and Schallhart C. 2007. The good the bad and the ugly but how ugly is ugly&quest; In Proceedings of the International Workshop on Runtime Verification. Springer."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"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.   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.","DOI":"10.1007\/978-3-642-29414-3_8"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01364-5_4"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Chesani F. Mello P. Montali M. and Torroni P. 2010. A logic-based reactive calculus of events. Fundamenta Informaticae 1--2.   Chesani F. Mello P. Montali M. and Torroni P. 2010. A logic-based reactive calculus of events. Fundamenta Informaticae 1--2.","DOI":"10.3233\/FI-2010-361"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Chittaro L. and Montanari A. 1996. Efficient temporal reasoning in the cached event calculus. Comput. Intell. 12.  Chittaro L. and Montanari A. 1996. Efficient temporal reasoning in the cached event calculus. Comput. Intell. 12.","DOI":"10.1111\/j.1467-8640.1996.tb00267.x"},{"key":"e_1_2_1_8_1","volume-title":"Logic and Data Bases","author":"Clark K. L.","unstructured":"Clark , K. L. 1978. Negation as failure . In Logic and Data Bases , Plenum Press , 293--322. Clark, K. L. 1978. Negation as failure. In Logic and Data Bases, Plenum Press, 293--322."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Dustdar S. and Gombotz R. 2006. Discovering web service workows using web services interaction mining. Int. J. Business Process Integr. Manage.  Dustdar S. and Gombotz R. 2006. Discovering web service workows using web services interaction mining. Int. J. Business Process Integr. Manage.","DOI":"10.1504\/IJBPIM.2006.012624"},{"key":"e_1_2_1_10_1","unstructured":"Farrell A. D. H. Sergot M. J. Sall\u00e9 M. and Bartolini C. 2005. Using the event calculus for tracking the normative state of contracts. Coop. Inf. Syst. 2--3.  Farrell A. D. H. Sergot M. J. Sall\u00e9 M. and Bartolini C. 2005. Using the event calculus for tracking the normative state of contracts. Coop. Inf. Syst. 2--3."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 16th Annual International Conference on Automated Software Engineering (ASE'01)","author":"Giannakopoulou D.","unstructured":"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. 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."},{"key":"e_1_2_1_12_1","volume-title":"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","author":"International Telecommunications Union","unstructured":"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 . 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."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_14_1","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"Luckham D.","unstructured":"Luckham , D. 2001. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems . Addison-Wesley . Luckham, D. 2001. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_18"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the International Conference on Business Process Management, Springer.","author":"Maggi F. M.","unstructured":"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. 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."},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Maggi F. M. Mooij A. J. and van der Aalst W. M. P. 2012. Analyzing vessel behavior using process mining. Poseidon. (To Appear).  Maggi F. M. Mooij A. J. and van der Aalst W. M. P. 2012. Analyzing vessel behavior using process mining. Poseidon. (To Appear).","DOI":"10.1007\/978-1-4614-6230-9_9"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"e_1_2_1_19_1","series-title":"Lecture Notes in Business Information Processing","volume-title":"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach","author":"Montali M.","unstructured":"Montali , M. 2010. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach . Lecture Notes in Business Information Processing , vol. 56 , Springer . Montali, M. 2010. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Lecture Notes in Business Information Processing, vol. 56, Springer."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480624"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-010-0203-9"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.444.0821"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC'07)","author":"Pesic M.","unstructured":"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. 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."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the International Conference on Logic Programming. MIT Press.","author":"Sadri F.","unstructured":"Sadri , F. and Kowalski , R. A . 1995. Variants of the event calculus . In Proceedings of the International Conference on Logic Programming. MIT Press. Sadri, F. and Kowalski, R. A. 1995. Variants of the event calculus. In Proceedings of the International Conference on Logic Programming. MIT Press."},{"key":"e_1_2_1_28_1","volume-title":"Artificial Intelligence Today: Recent Trends and Developments","author":"Shanahan M.","unstructured":"Shanahan , M. 1999. The event calculus explained . In Artificial Intelligence Today: Recent Trends and Developments , Springer . Shanahan, M. 1999. The event calculus explained. In Artificial Intelligence Today: Recent Trends and Developments, Springer."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001384"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.61"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the International Conference on Business Process Management.","author":"Verbeek E.","unstructured":"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. 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."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040283.2040296"}],"container-title":["ACM Transactions on Intelligent Systems and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2542182.2542199","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2542182.2542199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:56Z","timestamp":1750219796000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2542182.2542199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["10.1145\/2542182.2542199"],"URL":"https:\/\/doi.org\/10.1145\/2542182.2542199","relation":{},"ISSN":["2157-6904","2157-6912"],"issn-type":[{"value":"2157-6904","type":"print"},{"value":"2157-6912","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12]]},"assertion":[{"value":"2012-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-01-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}