{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T05:48:31Z","timestamp":1746510511153,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319179568"},{"type":"electronic","value":"9783319179575"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-17957-5_2","type":"book-chapter","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T03:19:31Z","timestamp":1430191171000},"page":"20-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Automating Business Process Compensation Scoping Logic"],"prefix":"10.1007","author":[{"given":"Anis","family":"Boubaker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hafedh","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abderrahmane","family":"Leshob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasmine","family":"Charif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,29]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"issue":"6","key":"2_CR2","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1108\/14637150510630855","volume":"11","author":"S Balasubramanian","year":"2005","unstructured":"Balasubramanian, S., Gupta, M.: Structural metrics for goal based business process design and evaluation. BPM Journal 11(6), 680\u2013694 (2005)","journal-title":"BPM Journal"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Best, E., Rakow, A.: A Slicing technique for business processes. In: UNISCON 2008, Klagenfurt, Austria, pp. 45\u201351 (2008)","DOI":"10.1007\/978-3-540-78942-0_6"},{"key":"2_CR4","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-662-45501-2_3","volume-title":"The Practice of Enterprise Modeling","author":"A Boubaker","year":"2014","unstructured":"Boubaker, A., Cherif, D., Leshob, A., Mili, H.: Value-chain discovery from business process models. In: Frank, U., Loucopoulos, P., Pastor, \u00d3., Petrounias, I. (eds.) PoEM 2014. LNBIP, vol. 197, pp. 26\u201341. Springer, Heidelberg (2014)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Boubaker, A., Mili, H., Charif, Y., Leshob, A.: Methodology and tool for business process compensation design. In: EDOC Workshops, Vancouver, Canada (2013)","DOI":"10.1109\/EDOCW.2013.23"},{"key":"2_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-38484-4_11","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Boubaker","year":"2013","unstructured":"Boubaker, A., Mili, H., Charif, Y., Leshob, A.: Towards a framework for modeling business compensation processes. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 139\u2013153. Springer, Heidelberg (2013)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Cabot, J.: From declarative to imperative UML \/ OCL operation specifications. In: ER 2007, Auckland, New Zealand, pp. 198\u2013213 (2007)","DOI":"10.1007\/978-3-540-75563-0_15"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3., Riera, D.: UMLtoCSP:tool for the formal verification of UML\/OCL models using constraint programming. In: ASE, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-540-30466-1_33","volume-title":"Conceptual Modeling for Advanced Application Domains","author":"J Cabot","year":"2004","unstructured":"Cabot, J., Conesa, J.: Automatic integrity constraint evolution due to model subtract operations. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) ER Workshops 2004. LNCS, vol. 3289, pp. 350\u2013362. Springer, Heidelberg (2004)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45407-1_16","volume-title":"Advances in Exception Handling Techniques","author":"F Casati","year":"2001","unstructured":"Casati, F., Cugola, G.: Error handling in process support systems. In: Romanovsky, A., Cheraghchi, H.S., Lindskov Knudsen, J., Babu, C.S. (eds.) ECOOP-WS 2000. LNCS, vol. 2022, pp. 251\u2013270. Springer, Heidelberg (2001)"},{"issue":"12","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Info. and Soft. Technology 50(12), 1281\u20131294 (2008)","journal-title":"Info. and Soft. Technology"},{"key":"2_CR12","unstructured":"Eclipse Foundation. Eclipe Modeling Framework. http:\/\/www.eclipse.org\/emf\/"},{"key":"2_CR13","unstructured":"Eclipse Foundation. EclipseOCL v. 5.0.3. http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"2_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-24358-5_14","volume-title":"ENTERprise Information Systems","author":"X Ge","year":"2011","unstructured":"Ge, X., Paige, R.F., McDermid, J.A.: Failures of a business process in enterprise systems. In: Cruz-Cunha, M.M., Varaj\u00e3o, J., Powell, P., Martinho, R. (eds.) CENTERIS 2011, Part I. CCIS, vol. 219, pp. 139\u2013146. Springer, Heidelberg (2011)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11538394_4","volume-title":"Business Process Management","author":"M Golani","year":"2005","unstructured":"Golani, M., Gal, A.: Flexible business process management using forward stepping and alternative paths. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 48\u201363. Springer, Heidelberg (2005)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Approaches for business process model complexity metrics. In Tech. for Business Information Systems, pp. 13\u201324. Springer (2007)","DOI":"10.1007\/1-4020-5634-6_2"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10270-011-0215-y","volume":"12","author":"P Kosiuczenko","year":"2011","unstructured":"Kosiuczenko, P.: Specification of invariability in OCL. Software & Systems Modeling 12(2), 415\u2013434 (2011)","journal-title":"Software & Systems Modeling"},{"issue":"3","key":"2_CR18","first-page":"554","volume":"57","author":"WE McCarthy","year":"1982","unstructured":"McCarthy, W.E.: The REA Accounting Model. The Accounting Review 57(3), 554\u2013578 (1982)","journal-title":"The Accounting Review"},{"key":"2_CR19","unstructured":"Mili, H., Godin, R., Tremblay, G., Dorfeuille, W.: Towards a methodology for designing compensation processes in long-running business transactions. In: MCETECH 2006, Montreal, pp. 137\u2013148 (2006)"},{"key":"2_CR20","unstructured":"OMG. Object Constraint Language (2012). http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2013.04.007","volume":"295","author":"F Rabbi","year":"2013","unstructured":"Rabbi, F., Wang, H., MacCaull, W., Rutle, A.: A Model Slicing Method for Workflow Verification. Elect. Notes in Theoretical CS 295, 79\u201393 (2013)","journal-title":"Elect. Notes in Theoretical CS"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/11767138_20","volume-title":"Advanced Information Systems Engineering","author":"N Russell","year":"2006","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow exception patterns. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288\u2013302. Springer, Heidelberg (2006)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Thaisongsuwan, T., Senivongse, T.: Applying software fault tolerance patterns to WS-BPEL processes. In: 8th JCCSE Conference, pp. 269\u2013274 (2011)","DOI":"10.1109\/JCSSE.2011.5930133"},{"issue":"3","key":"2_CR24","first-page":"121","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Journal of programming languages 3(3), 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"WMP van der Aalst","year":"2002","unstructured":"van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.E.: An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering, SE-10(4) 352\u2013357 (1984)","DOI":"10.1109\/TSE.1984.5010248"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer (2012)","DOI":"10.1007\/978-3-642-28616-2"}],"container-title":["Lecture Notes in Business Information Processing","E-Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17957-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T03:15:49Z","timestamp":1676949349000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17957-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319179568","9783319179575"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17957-5_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"29 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}