{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:10Z","timestamp":1760586490604},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642003271"},{"type":"electronic","value":"9783642003288"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_2","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T09:17:14Z","timestamp":1244279834000},"page":"5-17","source":"Crossref","is-referenced-by-count":38,"title":["Detecting Regulatory Compliance for Business Process Models through Semantic Annotations"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Hoffmann","sequence":"additional","affiliation":[]},{"given":"Shazia","family":"Sadiq","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S. Sadiq","year":"2007","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modelling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014, 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02, 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic\u00a04, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"key":"2_CR5","first-page":"116","volume-title":"Proceedings EDOC 2006","author":"B. Dongen","year":"2006","unstructured":"Dongen, B., Mendling, J., Aalst, W.: Structural Patterns for Soundness of Business Process Models. In: Proceedings EDOC 2006, pp. 116\u2013128. IEEE, Los Alamitos (2006)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS, vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models though SESE Decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"2_CR8","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: SBPM (2008)"},{"key":"2_CR9","unstructured":"Wynn, M.T., Verbeek, H., van der Aalst, W.M., ter Hofstede, A.H., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal (2007); preprint: QUT ePrint 9107"},{"key":"2_CR10","unstructured":"KPMG Advisory: The Compliance Journey: Balancing Risk and Controls with Business Improvement (2005)"},{"key":"2_CR11","first-page":"221","volume-title":"Proc. EDOC 2006","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Hung, P.C.K. (ed.) Proc. EDOC 2006, pp. 221\u2013232. IEEE, Los Alamitos (2006)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-78238-4_14","volume-title":"Business Process Management Workshops","author":"R. Lu","year":"2008","unstructured":"Lu, R., Sadiq, S.W., Governatori, G.: Compliance aware business process design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 120\u2013131. Springer, Heidelberg (2008)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J.\u00a046, 335\u2013361 (2007)","journal-title":"IBM Syst. J."},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11961536_1","volume-title":"Declarative Agent Languages and Technologies IV","author":"A.K. Chopra","year":"2006","unstructured":"Chopra, A.K., Sing, M.P.: Producing compliant interactions: Conformance, coverage and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS, vol.\u00a04327, pp. 1\u201315. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T18:44:06Z","timestamp":1552070646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}