{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:13:10Z","timestamp":1774537990226,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540749738","type":"print"},{"value":"9783540749745","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74974-5_14","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T04:47:31Z","timestamp":1188362851000},"page":"169-180","source":"Crossref","is-referenced-by-count":137,"title":["Auditing Business Process Compliance"],"prefix":"10.1007","author":[{"given":"Aditya","family":"Ghose","sequence":"first","affiliation":[]},{"given":"George","family":"Koliadis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Zhang, I.X.: Economic consequences of the sarbanes-oxley act of 2002. AEI-Brookings Joint Center\u00a05 (2005)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. 10th Int. Enterprise Dist. Object Computing Conf. (2006)","DOI":"10.1109\/EDOC.2006.22"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Workshop Proc. of ER., pp. 198\u2013209 (2004)","DOI":"10.1007\/978-3-540-30466-1_19"},{"key":"14_CR4","unstructured":"Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using spin. In: Holzman, G., Serhrouchni, E.N. (eds.) Proceedings of the 4th International SPIN Workshop, Paris, France, pp. 21\u201336 (1998)"},{"key":"14_CR5","volume-title":"Proc. of the 7th Int. IEEE Conf. on E-Commerce Technology","author":"F. Rosenberg","year":"2005","unstructured":"Rosenberg, F., Dustdar, S.: Business rule integration in bpel - a service-oriented approach. In: Proc. of the 7th Int. IEEE Conf. on E-Commerce Technology, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_14","volume-title":"Business Process Management","author":"L.T. Ly","year":"2006","unstructured":"Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol.\u00a04102, Springer, Heidelberg (2006)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36615-6","volume-title":"Business Process Management","author":"H.A. Reijers","year":"2003","unstructured":"Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, Springer, Heidelberg (2003)"},{"key":"14_CR8","unstructured":"White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (2006), http:\/\/www.bpmn.org"},{"key":"14_CR9","unstructured":"Becker, J., Indulska, M., Rosemann, M., Green, P.: Do process modelling techniques get better? In: Proc. 16th Australasian Conf. on I.S. (2005)"},{"key":"14_CR10","unstructured":"Wagner, G.: How to design a general rule markup language. In: Proc. of the Workshop XML Technologies for the Semantic Web (2002)"},{"key":"14_CR11","first-page":"249","volume-title":"Proc. of the Int. Joint Conference on R.E.","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proc. of the Int. Joint Conference on R.E., Toronto, pp. 249\u2013263. IEEE Press, Los Alamitos (2001)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: Proc. of the Fourth Asia-Pacific Conf. on Conceptual Modelling (2007)","DOI":"10.4018\/978-1-59904-660-0.ch013"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)","DOI":"10.1017\/CBO9780511810275"},{"issue":"11","key":"14_CR14","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:17:07Z","timestamp":1684005427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}