{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:36Z","timestamp":1750306056802,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T00:00:00Z","timestamp":1492473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.1145\/3053600.3053616","type":"proceedings-article","created":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T18:42:28Z","timestamp":1492540948000},"page":"79-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Distributed Compliance Monitoring of Business Processes over MapReduce Architectures"],"prefix":"10.1145","author":[{"given":"Daniela","family":"Loreti","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Ciampolini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Spark. http:\/\/spark.apache.org.  Apache Spark. http:\/\/spark.apache.org."},{"key":"e_1_3_2_1_2_1","unstructured":"BPEL. https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel.  BPEL. https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel."},{"key":"e_1_3_2_1_3_1","unstructured":"BPMN. http:\/\/www.bpmn.org\/.  BPMN. http:\/\/www.bpmn.org\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000264"},{"key":"e_1_3_2_1_6_1","first-page":"149","volume-title":"Proceedings of SIMPDA 2015","volume":"1527","author":"Azzini A.","year":"2015","unstructured":"A. Azzini and E. Damiani . Process mining in big data scenario . In Proceedings of SIMPDA 2015 , volume 1527 , pages 149 -- 153 , 2015 . A. Azzini and E. Damiani. Process mining in big data scenario. In Proceedings of SIMPDA 2015, volume 1527, pages 149--153, 2015."},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"184","volume-title":"Runtime Verification, RV","author":"Barre B.","year":"2012","unstructured":"B. Barre , M. Klein , M. Soucy-Boivin , P. Ollivier , and S. Hall\u00e9 . Mapreduce for parallel trace validation of LTL properties . In Runtime Verification, RV 2012 , volume 7687 of LNCS , pages 184 -- 198 . Springer , 2012. B. Barre, M. Klein, M. Soucy-Boivin, P. Ollivier, and S. Hall\u00e9. Mapreduce for parallel trace validation of LTL properties. In Runtime Verification, RV 2012, volume 7687 of LNCS, pages 184--198. Springer, 2012."},{"key":"e_1_3_2_1_8_1","volume-title":"Scalable offline monitoring of temporal specifications. Formal Methods in System Design, 49(1--2):75--108","author":"Basin D. A.","year":"2016","unstructured":"D. A. Basin , G. Caronni , S. Ereth , M. Harvan , F. Klaedtke , and H. Mantel . Scalable offline monitoring of temporal specifications. Formal Methods in System Design, 49(1--2):75--108 , 2016 . D. A. Basin, G. Caronni, S. Ereth, M. Harvan, F. Klaedtke, and H. Mantel. Scalable offline monitoring of temporal specifications. Formal Methods in System Design, 49(1--2):75--108, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10431-7_11"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005864000950105"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/978-3-319-49130-1_16","volume-title":"AI*IA 2016: Advances in Artificial Intelligence","author":"Chesani F.","year":"2016","unstructured":"F. Chesani , R. De Masellis , C. D. Francescomarino , C. Ghidini , P. Mello , M. Montali , and S. Tessaris . Abducing compliance of incomplete event logs . In AI*IA 2016: Advances in Artificial Intelligence , volume 10037 of Lecture Notes in Computer Science , pages 208 -- 222 . Springer , 2016 . F. Chesani, R. De Masellis, C. D. Francescomarino, C. Ghidini, P. Mello, M. Montali, and S. Tessaris. Abducing compliance of incomplete event logs. In AI*IA 2016: Advances in Artificial Intelligence, volume 10037 of Lecture Notes in Computer Science, pages 208--222. Springer, 2016."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3233\/MGS-2010-0147"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2014.2367525"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555076"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"e_1_3_2_1_17_1","first-page":"80","volume-title":"Proceedings of the BPM Demo Session 2015, volume 1418 of CEUR Workshop Proceedings","author":"Hern\u00e1ndez S.","year":"2015","unstructured":"S. Hern\u00e1ndez , S. J. van Zelst , J. Ezpeleta , and W. M. P. van der Aalst. Handling big(ger) logs: Connecting prom 6 to apache hadoop . In Proceedings of the BPM Demo Session 2015, volume 1418 of CEUR Workshop Proceedings , pages 80 -- 84 , 2015 . S. Hern\u00e1ndez, S. J. van Zelst, J. Ezpeleta, and W. M. P. van der Aalst. Handling big(ger) logs: Connecting prom 6 to apache hadoop. In Proceedings of the BPM Demo Session 2015, volume 1418 of CEUR Workshop Proceedings, pages 80--84, 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23063-4_20"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_20_1","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"Luckham D. C.","year":"2001","unstructured":"D. C. Luckham . The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems . Addison-Wesley Longman Publishing Co., Inc. , 2001 . D. C. Luckham. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.02.007"},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","first-page":"131","volume-title":"Runtime Verification RV","author":"Maggi F. M.","year":"2011","unstructured":"F. M. Maggi , M. Westergaard , M. Montali , and W. M. P. van der Aalst . Runtime verification of ltl-based declarative process models . In Runtime Verification RV 2011 , volume 7186 of LNCS , pages 131 -- 146 . Springer , 2011. F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst. Runtime verification of ltl-based declarative process models. In Runtime Verification RV 2011, volume 7186 of LNCS, pages 131--146. Springer, 2011."},{"key":"e_1_3_2_1_23_1","first-page":"101","volume-title":"Proceedings of the 30th Italian Conference on Computational Logic, volume 1459 of CEUR Workshop Proceedings","author":"Montali M.","year":"2015","unstructured":"M. Montali , F. Chesani , M. Gavanelli , E. Lamma , and P. Mello . Evaluating compliance: from LTL to abductive logic programming . In Proceedings of the 30th Italian Conference on Computational Logic, volume 1459 of CEUR Workshop Proceedings , pages 101 -- 116 . CEUR-WS.org, 2015 . M. Montali, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello. Evaluating compliance: from LTL to abductive logic programming. In Proceedings of the 30th Italian Conference on Computational Logic, volume 1459 of CEUR Workshop Proceedings, pages 101--116. CEUR-WS.org, 2015."},{"key":"e_1_3_2_1_24_1","first-page":"175","volume-title":"Declarative workflow. In ter Hofstede et al.citeDBLP:books\/sp\/yawl10","author":"Pesic M.","unstructured":"M. Pesic , H. Schonenberg , and W. M. P. van der Aalst . Declarative workflow. In ter Hofstede et al.citeDBLP:books\/sp\/yawl10 , pages 175 -- 201 . M. Pesic, H. Schonenberg, and W. M. P. van der Aalst. Declarative workflow. In ter Hofstede et al.citeDBLP:books\/sp\/yawl10, pages 175--201."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_22"},{"key":"e_1_3_2_1_26_1","volume-title":"ter Hofstede","author":"A. H.","year":"2010","unstructured":"A. H. M. ter Hofstede , W. M. P. van der Aalst, M. Adams, and N. Russell, editors. Modern Business Process Automation - YAWL and its Support Environment. Springer , 2010 . A. H. M. ter Hofstede, W. M. P. van der Aalst, M. Adams, and N. Russell, editors. Modern Business Process Automation - YAWL and its Support Environment. Springer, 2010."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28108-2_19"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"407","volume-title":"Application and Theory of Petri Nets","author":"van der Aalst W. M. P.","year":"1997","unstructured":"W. M. P. van der Aalst . Verification of workflow nets . In Application and Theory of Petri Nets 1997 , volume 1248 of LNCS , pages 407 -- 426 . Springer , 1997. W. M. P. van der Aalst. Verification of workflow nets. In Application and Theory of Petri Nets 1997, volume 1248 of LNCS, pages 407--426. Springer, 1997."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_30_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Fundamental Approaches to Software Engineering - FASE","author":"van der Aalst W. M. P.","year":"2012","unstructured":"W. M. P. van der Aalst . Distributed process discovery and conformance checking. In Fundamental Approaches to Software Engineering - FASE 2012 , volume 7212 of Lecture Notes in Computer Science , pages 1 -- 25 . Springer , 2012. W. M. P. van der Aalst. Distributed process discovery and conformance checking. In Fundamental Approaches to Software Engineering - FASE 2012, volume 7212 of Lecture Notes in Computer Science, pages 1--25. Springer, 2012."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2493732"},{"key":"e_1_3_2_1_32_1","volume-title":"Declarative workflows: Balancing between flexibility and support. Computer Science - R&D, 23(2):99--113","author":"van der Aalst W. M. P.","year":"2009","unstructured":"W. M. P. van der Aalst , M. Pesic , and H. Schonenberg . Declarative workflows: Balancing between flexibility and support. Computer Science - R&D, 23(2):99--113 , 2009 . W. M. P. van der Aalst, M. Pesic, and H. Schonenberg. Declarative workflows: Balancing between flexibility and support. Computer Science - R&D, 23(2):99--113, 2009."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"}],"event":{"name":"ICPE '17: ACM\/SPEC International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering","SPEC SPEC Research Group"],"location":"L'Aquila Italy","acronym":"ICPE '17"},"container-title":["Proceedings of the 8th ACM\/SPEC on International Conference on Performance Engineering Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3053600.3053616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3053600.3053616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:35Z","timestamp":1750215815000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3053600.3053616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":33,"alternative-id":["10.1145\/3053600.3053616","10.1145\/3053600"],"URL":"https:\/\/doi.org\/10.1145\/3053600.3053616","relation":{},"subject":[],"published":{"date-parts":[[2017,4,18]]},"assertion":[{"value":"2017-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}