{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T10:58:10Z","timestamp":1769597890510,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["257593"],"award-info":[{"award-number":["257593"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480624","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"1391-1396","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["Towards data-aware constraints in declare"],"prefix":"10.1145","author":[{"given":"Marco","family":"Montali","sequence":"first","affiliation":[{"name":"Free University of Bozen-Bolzano, Italy"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"University of Bologna, Italy"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"University of Bologna, Italy"}]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, the Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10383-4_37"},{"key":"e_1_3_2_1_2_1","volume-title":"Logic Programs, Norms and Action","author":"Bragaglia S.","year":"2012","unstructured":"S. Bragaglia , F. Chesani , P. Mello , M. Montali , and P. Torroni . Reactive event calculus for monitoring global computing applications . In Logic Programs, Norms and Action . Springer , 2012 . S. Bragaglia, F. Chesani, P. Mello, M. Montali, and P. Torroni. Reactive event calculus for monitoring global computing applications. In Logic Programs, Norms and Action. Springer, 2012."},{"key":"e_1_3_2_1_3_1","volume-title":"Computational Intelligence","author":"Chittaro L.","year":"1996","unstructured":"L. Chittaro and A. Montanari . Efficient temporal reasoning in the cached event calculus . Computational Intelligence , 1996 . L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2074356.2074366"},{"key":"e_1_3_2_1_6_1","volume-title":"On the Move to Meaningful Internet Systems","author":"Ly L. T.","year":"2011","unstructured":"L. T. Ly , S. Rinderle-Ma , D. Knuplesch , and P. Dadam . Monitoring business process compliance using compliance rule graphs . In On the Move to Meaningful Internet Systems . Springer , 2011 . L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam. Monitoring business process compliance using compliance rule graphs. In On the Move to Meaningful Internet Systems. Springer, 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_11"},{"key":"e_1_3_2_1_8_1","volume-title":"Analyzing Vessel Behavior using Process Mining","author":"Maggi F. M.","year":"2012","unstructured":"F. M. Maggi , A. J. Mooij , and W. M. P. van der Aalst . Analyzing Vessel Behavior using Process Mining , chapter Poseidon book. 2012 . F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst. Analyzing Vessel Behavior using Process Mining, chapter Poseidon book. 2012."},{"key":"e_1_3_2_1_9_1","series-title":"LNBIP","volume-title":"a Logic-Based Approach","author":"Montali M.","year":"2010","unstructured":"M. Montali . Specification and Verification of Declarative Open Interaction Models : a Logic-Based Approach , volume 56 of LNBIP . Springer , 2010 . M. Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, volume 56 of LNBIP. Springer, 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"},{"key":"e_1_3_2_1_11_1","unstructured":"M. Montali F. M. Maggi F. Chesani P. Mello and W. M. P. van der Aalst. Monitoring Business Constraints with the Event Calculus. ACM Transactions on Intelligent Systems and Technology To appear.  M. Montali F. M. Maggi F. Chesani P. Mello and W. M. P. van der Aalst. Monitoring Business Constraints with the Event Calculus. ACM Transactions on Intelligent Systems and Technology To appear."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of EDOC. IEEE Computer Society","author":"Pesic M.","year":"2007","unstructured":"M. Pesic , H. Schonenberg , and W. M. P. van der Aalst. Declare: Full support for loosely-structured processes . In Proc. of EDOC. IEEE Computer Society , 2007 . M. Pesic, H. Schonenberg, and W. M. P. van der Aalst. Declare: Full support for loosely-structured processes. In Proc. of EDOC. IEEE Computer Society, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11568322_23"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.114"},{"key":"e_1_3_2_1_17_1","volume-title":"Artificial Intelligence Today: Recent Trends and Developments.","author":"Shanahan M.","year":"1999","unstructured":"M. Shanahan . The Event Calculus Explained . In Artificial Intelligence Today: Recent Trends and Developments. 1999 . M. Shanahan. The Event Calculus Explained. In Artificial Intelligence Today: Recent Trends and Developments. 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2011.36"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_37"},{"key":"e_1_3_2_1_20_1","volume-title":"Languages, Architectures","author":"Weske M.","year":"2007","unstructured":"M. Weske . Business Process Management: Concepts , Languages, Architectures . Springer , 2007 . M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc","author":"Westergaard M.","year":"2012","unstructured":"M. Westergaard and F. M. Maggi . Looking into the future: Using timed automata to provide a priori advice about timed declarative process models . In Proc . of COOPIS. Springer , 2012 . M. Westergaard and F. M. Maggi. Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In Proc. of COOPIS. Springer, 2012."}],"event":{"name":"SAC '13: SAC '13","location":"Coimbra Portugal","acronym":"SAC '13","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480624","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:38Z","timestamp":1750235738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":20,"alternative-id":["10.1145\/2480362.2480624","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480624","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}