{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:17:47Z","timestamp":1725567467631},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162886"},{"type":"electronic","value":"9783642162893"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16289-3_17","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T06:04:06Z","timestamp":1286172246000},"page":"194-209","source":"Crossref","is-referenced-by-count":37,"title":["Norm Compliance in Business Process Modeling"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn., pp. 265\u2013343. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"17_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":"17_CR3","first-page":"186","volume-title":"Jurix 2008","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: An algorithm for business process compliance. In: Sartor, G. (ed.) Jurix 2008, pp. 186\u2013191. IOS Press, Amsterdam (2008)"},{"key":"17_CR4","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"17_CR5","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) APCCM 2010, CRPIT, ACS (2010)"},{"key":"17_CR6","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":"17_CR7","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":"17_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL\u00a018, 157\u2013194 (2010)","journal-title":"The Logic Journal of IGPL"},{"key":"17_CR9","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 through 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":"17_CR10","doi-asserted-by":"crossref","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. [26] 149\u2013164","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H.-P. Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014, 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11568322_23","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"N. Russell","year":"2005","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: Identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol.\u00a03716, pp. 353\u2013368. Springer, Heidelberg (2005)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. [25], 169\u2013180","DOI":"10.1007\/11837862_18"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. [25], 5\u201314","DOI":"10.1007\/11837862_2"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. [26], 165\u2013181","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"17_CR17","unstructured":"Giblin, C., M\u00fcller, S., Pfitzmann, B.: From regulatory policies to event monitoring rules: Towards model driven compliance automation. Technical report, IBM Zurich Lab (2006)"},{"key":"17_CR18","first-page":"92","volume-title":"ICDE","author":"R. Agrawal","year":"2006","unstructured":"Agrawal, R., Johnson, C.M., Kiernan, J., Leymann, F.: Taming compliance with Sarbanes-Oxley internal controls using database technology. In: Liu, L., Reuter, A., Whang, K.Y., Zhang, J. (eds.) ICDE, p. 92. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A.D.H. Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems\u00a014, 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"17_CR20","unstructured":"Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proc. AAMAS 2008, pp. 787\u2013794 (2008)"},{"key":"17_CR21","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 Systems Journal\u00a046, 335\u2013362 (2007)","journal-title":"IBM Systems Journal"},{"key":"17_CR22","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.: Conformance checking of processes based on monitoring real behavior. Information Systems\u00a033, 64\u201395 (2008)","journal-title":"Information Systems"},{"key":"17_CR23","unstructured":"Roman, D., Kifer, M.: Reasoning about the behaviour of semantic web services with concurrent transaction logic. In: VLDB, pp. 627\u2013638 (2007)"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-72794-1_4","volume-title":"Coordination Models and Languages","author":"S. Gregory","year":"2007","unstructured":"Gregory, S., Paschali, M.: A prolog-based language for workflow programming. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 56\u201375. Springer, Heidelberg (2007)"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2007","unstructured":"Alonso, G., Dadam, P., Rosemann, M. (eds.): BPM 2007. LNCS, vol.\u00a04714. Springer, Heidelberg (2007)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management Workshops","year":"2006","unstructured":"Eder, J., Dustdar, S. (eds.): BPM Workshops 2006. LNCS, vol.\u00a04103. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Semantic Web Rules"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16289-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T01:56:27Z","timestamp":1559699787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16289-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162886","9783642162893"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16289-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}