{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:47:20Z","timestamp":1742996840813,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062563"},{"type":"electronic","value":"9783319062570"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06257-0_39","type":"book-chapter","created":{"date-parts":[[2014,5,9]],"date-time":"2014-05-09T11:51:54Z","timestamp":1399636314000},"page":"498-512","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Supporting Domain Experts to Select and Configure Precise Compliance Rules"],"prefix":"10.1007","author":[{"given":"Elham","family":"Ramezani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,10]]},"reference":[{"key":"39_CR1","unstructured":"http:\/\/dx.doi.org\/10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54"},{"issue":"2","key":"39_CR2","first-page":"182","volume":"2","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rew.: Data Min. Knowl. Disc. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rew.: Data Min. Knowl. Disc."},{"key":"39_CR3","series-title":"LNCS","first-page":"512","volume-title":"BPM 2005","author":"WMP van der Aalst","year":"2006","unstructured":"van der Aalst, W.M.P., Dreiling, A., Gottschalk, F., Rosemann, M., Jansen-Vullers, M.H.: Configurable process models as a basis for reference modeling. In: Bussler, ChJ, Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 512\u2013518. Springer, Heidelberg (2006)"},{"key":"39_CR4","series-title":"LNCS","first-page":"1","volume-title":"FMICS 2012","author":"N Abid","year":"2012","unstructured":"Abid, N., Dal Zilio, S., Le Botlan, D.: Real-time specification patterns and tools. In: Stoelinga, M., Pinger, R. (eds.) FMICS 2012. LNCS, vol. 7437, pp. 1\u201315. Springer, Heidelberg (2012)"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B., van der Aalst, W.M.: Conformance checking using cost-based fitness, analysis. In: EDOC\u201911, pp. 55\u201364 (2011)","DOI":"10.1109\/EDOC.2011.12"},{"issue":"1","key":"39_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30\u201355 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"39_CR7","series-title":"LNBIP","first-page":"165","volume-title":"BPM Workshops 2011, Part I","author":"RPJC Bose","year":"2012","unstructured":"Bose, R.P.J.C., van der Aalst, W.M.P.: Analysis of Patient Treatment Procedures. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 165\u2013166. Springer, Heidelberg (2012)"},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: SIGSOFT FSE, pp. 208\u2013218. ACM (2006)","DOI":"10.1145\/1181775.1181801"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP. pp. 7\u201315. ACM (1998)","DOI":"10.1145\/298595.298598"},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218843012400023","volume":"21","author":"A Elgammal","year":"2012","unstructured":"Elgammal, A., T\u00fcretken, O., van den Heuvel, W.J.: Using patterns for the analysis and resolution of compliance violations. Int. J. Coop. Inf. Syst. 21(1), 31\u201354 (2012)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"39_CR11","series-title":"LNCS","first-page":"17","volume-title":"ICSOC 2010","author":"A Elgammal","year":"2010","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.-J., Papazoglou, M.: Root-cause analysis of design-time compliance violations on the basis of property patterns. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 17\u201331. Springer, Heidelberg (2010)"},{"key":"39_CR12","unstructured":"F\u00f6tsch, D., Pulverm\u00fcller, E., Rossak, W.: Modeling and verifying workflow-based regulations. In: ReMo2V. CEUR Workshop Proceedings, vol. 241. CEUR-WS.org (2006)"},{"key":"39_CR13","series-title":"LNCS","first-page":"169","volume-title":"ICSOC 2007","author":"AK Ghose","year":"2007","unstructured":"Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"39_CR14","first-page":"221","volume-title":"EDOC","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: Hung, P.C.K. (ed.) EDOC, pp. 221\u2013232. IEEE Computer Society, Los Alamitos (2006)"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Koliadis, G., Desai, N., Narendra, N.C., Ghose, A.K.: Analyst-mediated contextualization of regulatory policies. In: IEEE SCC, pp. 281\u2013288. IEEE Computer Society (2010)","DOI":"10.1109\/SCC.2010.12"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: RE, pp. 329\u2013338. IEEE Computer Society (2005)","DOI":"10.1109\/RE.2005.29"},{"key":"39_CR17","series-title":"LNBIP","first-page":"48","volume-title":"BIS 2012","author":"M de Leoni","year":"2012","unstructured":"de Leoni, M., van der Aalst, W.M.P., van Dongen, B.F.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 48\u201359. Springer, Heidelberg (2012)"},{"key":"39_CR18","series-title":"LNCS","first-page":"120","volume-title":"BPM Workshops 2007","author":"R Lu","year":"2008","unstructured":"Lu, R., Sadiq, S.K., Governatori, G.: Compliance aware business process design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 120\u2013131. Springer, Heidelberg (2008)"},{"key":"39_CR19","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A.: From natural language requirements to rigorous property specifications. In: Monterey Workshop 2003 (SEES 2003), No. UM-CS-2004-019, Chicago, IL, pp. 40\u201346, September 2003"},{"key":"39_CR20","series-title":"LNCS","first-page":"262","volume-title":"BPM 2012","author":"E Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did I Misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 262\u2013278. Springer, Heidelberg (2012)"},{"key":"39_CR21","doi-asserted-by":"crossref","unstructured":"Ramezani, E., Fahland, D., van Dongen, B., van der Aalst, W.: Diagnostic information in temporal compliance checking. Technical report, BPM Center Rep. BPM-12-17 (2012)","DOI":"10.1007\/978-3-642-32885-5_21"},{"key":"39_CR22","series-title":"LNCS","first-page":"304","volume-title":"CAiSE 2013","author":"E Ramezani Taghiabadi","year":"2013","unstructured":"Ramezani Taghiabadi, E., Fahland, D., van Dongen, B.F., van der Aalst, W.M.P.: Diagnostic information for compliance checking of temporal compliance requirements. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 304\u2013320. Springer, Heidelberg (2013)"},{"key":"39_CR23","series-title":"LNBIP","first-page":"459","volume-title":"BPM Workshops 2011, Part II","author":"E Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Werf, J.M., Mattheis, P.: Separating compliance management and business process management. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 459\u2013464. Springer, Heidelberg (2012)"},{"issue":"1","key":"39_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M Rosemann","year":"2007","unstructured":"Rosemann, M., van der Aalst, W.M.P.: A configurable reference modelling language. Inf. Syst. 32(1), 1\u201323 (2007)","journal-title":"Inf. Syst."},{"issue":"1","key":"39_CR25","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"39_CR26","series-title":"LNCS","first-page":"149","volume-title":"BPM 2007","author":"W Sadiq","year":"2007","unstructured":"Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"39_CR27","series-title":"LNCS","first-page":"325","volume-title":"ICWE 2010","author":"D Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol. 6385, pp. 325\u2013337. Springer, Heidelberg (2010)"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: an approach supporting property elucidation. In: ICSE, pp. 11\u201321. ACM (2002)","DOI":"10.1145\/581339.581345"},{"key":"39_CR29","unstructured":"T\u00fcretken, O., Elgammal, A., van den Heuvel, W.J., Papazoglou, M.P.: Enforcing compliance on business processes through the use of patterns. In: ECIS (2011)"},{"issue":"2","key":"39_CR30","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., Muller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46(2), 335\u2013361 (2007)","journal-title":"IBM Syst. J."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06257-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T04:13:06Z","timestamp":1676866386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06257-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062563","9783319062570"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06257-0_39","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}