{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T17:28:32Z","timestamp":1782149312526,"version":"3.54.5"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,22]],"date-time":"2014-11-22T00:00:00Z","timestamp":1416614400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s11704-014-3239-y","type":"journal-article","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T18:53:29Z","timestamp":1417460009000},"page":"55-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Algorithms for tractable compliance problems"],"prefix":"10.1007","volume":"9","author":[{"given":"Silvano","family":"Colombo Tosatto","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qin","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marwane","family":"el Kharbili","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,11,22]]},"reference":[{"key":"3239_CR1","first-page":"23","volume-title":"Proceedings of Asia-Pacific Conference on Conceptual Modelling","author":"M Kharbili","year":"2012","unstructured":"Kharbili M. Business process regulatory compliance management solution frameworks: a comparative evaluation. In: Proceedings of Asia-Pacific Conference on Conceptual Modelling. 2012, 23\u201332"},{"key":"3239_CR2","first-page":"159","volume-title":"Proceedings of International Handbooks on Information Systems","author":"S Sadiq","year":"2010","unstructured":"Sadiq S, Governatori G. Managing regulatory compliance in business processes. In: Proceedings of International Handbooks on Information Systems. 2010, 159\u2013175"},{"key":"3239_CR3","first-page":"426","volume-title":"Handbook of Research on BPM","author":"G Governatori","year":"2009","unstructured":"Governatori G, Sadiq S. The journey to business process compliance. In: Cardoso J, Aalst v. d W, eds. Handbook of Research on BPM. 2009, 426\u2013454"},{"key":"3239_CR4","first-page":"221","volume-title":"Proceedings of the 10th International Enterprise Distributed Object Computing Conference","author":"G Governatori","year":"2006","unstructured":"Governatori G, Milosevic Z, Sadiq S. Compliance checking between business processes and business contracts. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference. 2006, 221\u2013232"},{"key":"3239_CR5","first-page":"627","volume-title":"Proceedings of the 33rd International Conference on Very Large Data Bases","author":"D Roman","year":"2007","unstructured":"Roman D, Kifer M. Reasoning about the behaviour of semantic web services with concurrent transaction logic. In: Proceedings of the 33rd International Conference on Very Large Data Bases. 2007, 627\u2013638"},{"key":"3239_CR6","first-page":"169","volume-title":"Springer Berlin Heidelberg","author":"A Ghose","year":"2007","unstructured":"Ghose A, Koliadis G. Auditing Business Process Compliance. Springer Berlin Heidelberg. 2007, 169\u2013180"},{"key":"3239_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSC.2014.2341236","volume":"99","author":"S Colombo Tosatto","year":"2014","unstructured":"Colombo Tosatto S, Governatori G, Kelsen P. Business process regulatory compliance is hard. IEEE Transactions on Service Computing, 2014, (99): 1","journal-title":"IEEE Transactions on Service Computing"},{"key":"3239_CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-94-015-8851-5_10","volume":"263","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sergot M. Dyadic deontic logic and contrary-to-duty obligations. Defeasible Deontic Logic, 1997, 263: 223\u2013262","journal-title":"Defeasible Deontic Logic"},{"key":"3239_CR9","first-page":"265","volume-title":"Handbook of Philosophical Logic","author":"A Jones","year":"2002","unstructured":"Jones A, Carmo J. Deontic logic and contrary-to-duties. In: Gabbay D, Guenthner F, eds. Handbook of Philosophical Logic. 2002, 265\u2013343"},{"key":"3239_CR10","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Proceedings of the 12th International Conference on Advanced Information Systems Engineering","author":"B Kiepuszewski","year":"2000","unstructured":"Kiepuszewski B, Hofstede A H M, Bussler C J. On structured work-flow modelling. In: Proceedings of the 12th International Conference on Advanced Information Systems Engineering. 2000, 431\u2013445"},{"issue":"6","key":"3239_CR11","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy A, Garc\u00eda-Ba\u00f1uelos L, Dumas M. Structuring acyclic process models. Information Systems, 2012, 37(6): 518\u2013538","journal-title":"Information Systems"},{"key":"3239_CR12","volume-title":"Addison-Wesley","author":"G Keller","year":"1998","unstructured":"Keller G, Teufel T. SAP R\/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, 1998"},{"key":"3239_CR13","first-page":"5","volume-title":"Business Process Management Workshops","author":"G Governatori","year":"2008","unstructured":"Governatori G, Hoffmann J, Sadiq S W, Weber I. Detecting regulatory compliance for business process models through semantic annotations. In: Ardagna D, Mecella M, Yang J, eds. Business Process Management Workshops. 2008, 5\u201317"},{"issue":"2","key":"3239_CR14","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C E Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C E, G\u00e4rdenfors P, Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 1985, 50(2): 510\u2013530","journal-title":"Journal of Symbolic Logic"},{"key":"3239_CR15","first-page":"194","volume-title":"Proceedings of the 4th International Web Rule Symposium: Research Based and Industry Focused","author":"G Governatori","year":"2010","unstructured":"Governatori G, Rotolo A. Norm compliance in business process modeling. In: Proceedings of the 4th International Web Rule Symposium: Research Based and Industry Focused. 2010, 194\u2013209"},{"issue":"2","key":"3239_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP Aalst","year":"2009","unstructured":"Aalst WMP, Pesic M, Schonenberg H. Declarative workflows: balancing between flexibility and support. Computer Science-Research and Development, 2009, 23(2): 99\u2013113","journal-title":"Computer Science-Research and Development"},{"key":"3239_CR17","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume":"5240","author":"A Awad","year":"2008","unstructured":"Awad A, Decker G, Weske M. Efficient compliance checking using bpmn-q and temporal logic. Lecture Notes in Computer Science, 2008, 5240, 326\u2013341","journal-title":"Lecture Notes in Computer Science"},{"issue":"2","key":"3239_CR18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10796-009-9179-7","volume":"14","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann J, Weber I, Governatori G. On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers, 2012, 14(2): 155\u2013177","journal-title":"Information Systems Frontiers"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3239-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3239-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3239-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:01:19Z","timestamp":1559422879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3239-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,22]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["3239"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3239-y","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,22]]}}}