{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:58:32Z","timestamp":1756897112275,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319484716"},{"type":"electronic","value":"9783319484723"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48472-3_22","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T04:43:13Z","timestamp":1476679393000},"page":"381-399","source":"Crossref","is-referenced-by-count":9,"title":["Rule-Based Runtime Monitoring of\u00a0Instance-Spanning Constraints in\u00a0Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Conrad","family":"Indiono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Mangler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Fdhila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Aalst Van der","year":"2012","unstructured":"Van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Discovery 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Discovery"},{"key":"22_CR2","unstructured":"Doorenbos, R.B.: Production Matching for Large Learning Systems. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, PA, USA, uMI Order No. GAX95-22942 (1995)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: International Conference on Business Process Management 2016 (2016)","DOI":"10.1007\/978-3-319-45348-4_20"},{"key":"22_CR4","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell. 19(1), 17\u201337 (1982). http:\/\/dx.doi.org\/10.1016\/0004-3702(82)90020--0"},{"issue":"2","key":"22_CR5","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/j.ejca.2009.10.032","volume":"46","author":"C Garbe","year":"2010","unstructured":"Garbe, C., Peris, K., Hauschild, A., Saiag, P., Middleton, M., Spatz, A., Grob, J., Malvehy, J., Newton-Bishop, J., Stratigos, A., et al.: Diagnosis and treatment of melanoma: European consensus-based interdisciplinary guideline. Eur. J. Cancer 46(2), 270\u2013283 (2010)","journal-title":"Eur. J. Cancer"},{"issue":"1","key":"22_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"issue":"4","key":"22_CR7","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1016\/j.is.2012.07.003","volume":"38","author":"N Lohmann","year":"2013","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. Inf. Syst. 38(4), 606\u2013618 (2013)","journal-title":"Inf. Syst."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209\u2013234 (2015). http:\/\/dx.doi.org\/10.1016\/j.is.2015.02.007","DOI":"10.1016\/j.is.2015.02.007"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: Analyzing vessel behavior using process mining. In: Situation Awareness with Systems of Systems, pp. 133\u2013148. Springer (2013)","DOI":"10.1007\/978-1-4614-6230-9_9"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Mangler, J., Rinderle-Ma, S.: Rule-based synchronization of process activities. In: 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011, Luxembourg-Kirchberg, Luxembourg, 5\u20137 September 2011, pp. 121\u2013128 (2011)","DOI":"10.1109\/CEC.2011.23"},{"key":"22_CR11","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM TIST 5(1), 17 (2013). http:\/\/doi.acm.org\/10.1145\/2542182.2542199"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15\u201319 October, Annapolis, Maryland, USA, pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"22_CR13","unstructured":"Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. Technical report, arXiv.org (2016). http:\/\/eprints.cs.univie.ac.at\/4634\/"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: International Conference on Business Process Management, pp. 149\u2013164 (2007)","DOI":"10.1007\/978-3-540-75183-0_12"},{"issue":"5","key":"22_CR15","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/MIC.2012.114","volume":"16","author":"S Schulte","year":"2012","unstructured":"Schulte, S., Schuller, D., Steinmetz, R., Abels, S.: Plug-and-play virtual factories. IEEE Internet Comput. 16(5), 78\u201382 (2012)","journal-title":"IEEE Internet Comput."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:19:10Z","timestamp":1498339150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}