{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:49Z","timestamp":1750308829902,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319595351"},{"type":"electronic","value":"9783319595368"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59536-8_29","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T15:47:08Z","timestamp":1495813628000},"page":"461-476","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Leveraging Game-Tree Search for Robust Process Enactment"],"prefix":"10.1007","author":[{"given":"Yingzhi","family":"Gou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoa Khanh","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"issue":"10","key":"29_CR1","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Van Lamsweerde","year":"2000","unstructured":"Van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Softw. Eng. 26(10), 978\u20131005 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-19193-0_7","volume-title":"Semantic Web Services","author":"D Fensel","year":"2011","unstructured":"Fensel, D., Facca, F., Simperl, E., Toma, I.: Web service modeling ontology. In: Fensel, D., et al. (eds.) Semantic Web Services, pp. 107\u2013129. Springer, Heidelberg (2011)"},{"key":"29_CR3","volume-title":"Enabling Semantic Web Services: The Web Service Modeling Ontology","author":"D Fensel","year":"2006","unstructured":"Fensel, D., Lausen, H., Polleres, A., Bruijn, J., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Heidelberg (2006)"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: a vision towards using semantic Web services for business process management. In: IEEE International Conference on e-Business Engineering (ICEBE 2005), pp. 535\u2013540. IEEE (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Hinge, K., Ghose, A., Koliadis, G.: Process SEER: a tool for semantic effect annotation of business process models. In: Proceedings of the 13th IEEE International EDOC Conference (EDOC-2009), IEEE Computer Society Process (2009)","DOI":"10.1109\/EDOC.2009.24"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TSE.2011.10","volume":"38","author":"I Di Pietro","year":"2012","unstructured":"Di Pietro, I., Pagliarecci, F., Spalazzi, L.: Model checking semantically annotated services. IEEE Trans. Softw. Eng. 38, 592\u2013608 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: ICAART, pp. 130\u2013143. SciTePress (2013)","DOI":"10.5220\/0004255001300143"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10619-010-7060-9","volume":"27","author":"I Weber","year":"2010","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271\u2013343 (2010)","journal-title":"Distrib. Parallel Databases"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-04930-9_8","volume-title":"The Semantic Web - ISWC 2009","author":"C Di Francescomarino","year":"2009","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Semantically-aided business process modeling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 114\u2013129. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-04930-9_8"},{"key":"29_CR10","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. 4749, pp. 169\u2013180. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-74974-5_14"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-30581-1_4","volume-title":"Semantic Web Services and Web Process Composition","author":"D Martin","year":"2005","unstructured":"Martin, D., et al.: Bringing semantics to web services: the OWL-S approach. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26\u201342. Springer, Heidelberg (2005). doi:10.1007\/978-3-540-30581-1_4"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-72982-2_3","volume-title":"Web Reasoning and Rule Systems","author":"H Meyer","year":"2007","unstructured":"Meyer, H.: On the semantics of service compositions. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 31\u201342. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72982-2_3"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Trans. Web 4, 1\u201362 (2010)","journal-title":"ACM Trans. Web"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-32439-0_10","volume-title":"Business System Management and Engineering","author":"F Smith","year":"2012","unstructured":"Smith, F., Missikoff, M., Proietti, M.: Ontology-based querying of composite services. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds.) Business System Management and Engineering. LNCS, vol. 7350, pp. 159\u2013180. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-32439-0_10"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-12256-4_12","volume-title":"Advances in Conceptual Modeling","author":"Y Gou","year":"2014","unstructured":"Gou, Y., Ghose, A., Chang, C.-F., Dam, H.K., Miller, A.: Semantic monitoring and compensation in socio-technical processes. In: Indulska, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8823, pp. 117\u2013126. Springer, Cham (2014). doi:10.1007\/978-3-319-12256-4_12"},{"issue":"2","key":"29_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: a possible world approach. Artif. Intell. 35(2), 165\u2013195 (1988)","journal-title":"Artif. Intell."},{"key":"29_CR17","first-page":"61801","volume":"51","author":"M Winslett","year":"1988","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. Urbana 51, 61801 (1988)","journal-title":"Urbana"},{"issue":"1","key":"29_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TCIAIG.2012.2186810","volume":"4","author":"CB Browne","year":"2012","unstructured":"Browne, C.B., Powley, E., Whitehouse, D., Lucas, S.M., Cowling, P.I., Rohlfshagen, P., Tavener, S., Perez, D., Samothrakis, S., Colton, S.: A survey of Monte Carlo tree search methods. IEEE Trans. Comput. Intell. AI Games 4(1), 1\u201343 (2012)","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"issue":"5","key":"29_CR19","first-page":"267","volume":"15","author":"WMP van der Aalst","year":"2000","unstructured":"van der Aalst, W.M.P., Jablonski, S.: Dealing with workflow change: identification of issues and solutions. Comput. Syst. Sci. Eng. 15(5), 267\u2013276 (2000)","journal-title":"Comput. Syst. Sci. Eng."},{"issue":"1","key":"29_CR20","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10799-004-7775-2","volume":"6","author":"PA Buhler","year":"2005","unstructured":"Buhler, P.A., Vidal, J.M.: Towards adaptive workflow enactment using multiagent systems. Inf. Technol. Manag. 6(1), 61\u201387 (2005)","journal-title":"Inf. Technol. Manag."},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Heinl, P., Horn, S., Jablonski, S., Neeb, J., Stein, K., Teschke, M.: A comprehensive approach to flexibility in workflow management systems. In: Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration (WACC 1999), pp. 79\u201388 (1999)","DOI":"10.1145\/295666.295675"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/A:1008759413689","volume":"9","author":"M Klein","year":"2000","unstructured":"Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Comput. Support. Coop. Work 9, 399\u2013412 (2000)","journal-title":"Comput. Support. Coop. Work"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Reijers, H.A.: Workflow flexibility: the forlorn promise. In: Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, pp. 271\u2013272(2006)","DOI":"10.1109\/WETICE.2006.80"},{"key":"29_CR24","unstructured":"Hermann, T., Hoffman, M., Loser, K.U., Moysich, K.: Semistructured models are surprisingly useful for user-centered design. In: Proceedings of COOP 2000 Designing Cooperative Systems, pp. 159\u2013174 (2000)"},{"key":"29_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-07881-6_17","volume-title":"Advanced Information Systems Engineering","author":"A Murguzur","year":"2014","unstructured":"Murguzur, A., De Carlos, X., Trujillo, S., Sagardui, G.: Context-aware staged configuration of process variants@runtime. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 241\u2013255. Springer, Cham (2014). doi:10.1007\/978-3-319-07881-6_17"},{"key":"29_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-38709-8_8","volume-title":"Advanced Information Systems Engineering","author":"R Conforti","year":"2013","unstructured":"Conforti, R., de Leoni, M., La Rosa, M., van der Aalst, W.M.P.: Supporting risk-informed decisions during business process execution. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 116\u2013132. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38709-8_8"},{"key":"29_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-38709-8_7","volume-title":"Advanced Information Systems Engineering","author":"A Jim\u00e9nez-Ram\u00edrez","year":"2013","unstructured":"Jim\u00e9nez-Ram\u00edrez, A., Barba, I., Del Valle, C., Weber, B.: Generating multi-objective optimized business process enactment plans. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 99\u2013115. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38709-8_7"},{"key":"29_CR28","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-662-43745-2_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"M Baumann","year":"2014","unstructured":"Baumann, M., Baumann, M.H., Sch\u00f6nig, S., Jablonski, S.: Enhancing feasibility of human-driven processes by transforming process models to process checklists. In: Bider, I., Gaaloul, K., Krogstie, J., Nurcan, S., Proper, H.A., Schmidt, R., Soffer, P. (eds.) BPMDS\/EMMSAD -2014. LNBIP, vol. 175, pp. 124\u2013138. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-43745-2_9"},{"key":"29_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1007\/978-3-540-45227-0_75","volume-title":"Database and Expert Systems Applications","author":"H Schuschel","year":"2003","unstructured":"Schuschel, H., Weske, M.: Integrated workflow planning and coordination. In: Ma\u0159\u00edk, V., Retschitzegger, W., \u0160t\u011bp\u00e1nkov\u00e1, O. (eds.) DEXA 2003. LNCS, vol. 2736, pp. 771\u2013781. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-45227-0_75"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59536-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:31:17Z","timestamp":1750278677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59536-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319595351","9783319595368"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59536-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Essen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise2017.paluno.de\/welcome\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}