{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T21:21:13Z","timestamp":1768771273220,"version":"3.49.0"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T00:00:00Z","timestamp":1502236800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11761-017-0215-z","type":"journal-article","created":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T15:53:45Z","timestamp":1502294025000},"page":"367-392","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["A planning approach to the automated synthesis of template-based process models"],"prefix":"10.1007","volume":"11","author":[{"given":"Andrea","family":"Marrella","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,9]]},"reference":[{"key":"215_CR1","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/507984","author":"WM Aalst van der","year":"2013","unstructured":"van der Aalst WM (2013) Business process management: a comprehensive survey. ISRN Softw Eng. doi: 10.1155\/2013\/507984","journal-title":"ISRN Softw Eng"},{"key":"215_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of business process management","author":"M Dumas","year":"2013","unstructured":"Dumas M, La Rosa M, Mendling J, Reijers HA (2013) Fundamentals of business process management. Springer, Berlin. doi: 10.1007\/978-3-642-33143-5"},{"issue":"1","key":"215_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13740-014-0038-4","volume":"4","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio C, Marrella A, Russo A (2015) Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J Data Semant 4(1):1\u201329. doi: 10.1007\/s13740-014-0038-4","journal-title":"J Data Semant"},{"key":"215_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling flexibility in process-aware information systems","author":"M Reichert","year":"2012","unstructured":"Reichert M, Weber B (2012) Enabling flexibility in process-aware information systems. Springer, Berlin. doi: 10.1007\/978-3-642-30409-5"},{"key":"215_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2005.107","volume":"38","author":"S Helal","year":"2005","unstructured":"Helal S, Mann W, El-Zabadani H, King J, Kaddoura Y, Jansen E (2005) The gator tech smart house: a programmable pervasive space. Computer 38:50\u201360. doi: 10.1109\/MC.2005.107","journal-title":"Computer"},{"key":"215_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R Lenz","year":"2007","unstructured":"Lenz R, Reichert M (2007) IT support for healthcare processes\u2014premises, challenges, perspectives. Data Knowl Eng 61:39\u201358. doi: 10.1016\/j.datak.2006.04.007","journal-title":"Data Knowl Eng"},{"key":"215_CR7","doi-asserted-by":"publisher","unstructured":"Di Ciccio C, Mecella M (2012) Mining constraints for artful processes. In: 15th International conference on business information systems (BIS). Springer, Berlin, pp 11\u201323. doi: 10.1007\/978-3-642-30359-3_2","DOI":"10.1007\/978-3-642-30359-3_2"},{"key":"215_CR8","doi-asserted-by":"publisher","unstructured":"Marrella A, Russo A, Mecella M (2012) Planlets: automatically recovering dynamic processes in YAWL. In: 20th International conference on cooperative information systems (CoopIS)\u2014OTM conferences, vol 1. Springer, Berlin, pp 268\u2013286. doi: 10.1007\/978-3-642-33606-5_17","DOI":"10.1007\/978-3-642-33606-5_17"},{"key":"215_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.is.2013.07.003","volume":"39","author":"NR Beest van","year":"2014","unstructured":"van Beest NR, Kaldeli E, Bulanov P, Wortmann JC, Lazovik A (2014) Automated runtime repair of business processes. Inf Syst 39:45\u201379. doi: 10.1016\/j.is.2013.07.003","journal-title":"Inf Syst"},{"key":"215_CR10","unstructured":"Goser K, Jurisch M, Acker H, Kreher U, Lauer M, Rinderle-Ma S, Reichert M, Dadam P (2007) Next-generation process management with ADEPT2. In: Demonstration program of the 5th international conference on business process management (BPM)"},{"key":"215_CR11","doi-asserted-by":"publisher","unstructured":"Marrella A, Mecella M (2011) Continuous planning for solving business process adaptivity. In: 12th International conference on business process modeling, development, and support (BPMDS). Springer, Berlin, pp 118\u2013132. doi: 10.1007\/978-3-642-21759-3_9","DOI":"10.1007\/978-3-642-21759-3_9"},{"key":"215_CR12","doi-asserted-by":"publisher","unstructured":"Marrella A, Mecella M, Russo A (2011) Featuring automatic adaptivity through workflow enactment and planning. In: 7th International conference on collaborative computing: networking, applications and worksharing (CollaborateCom 2011), pp 372\u2013381. doi: 10.4108\/icst.collaboratecom.2011.247096","DOI":"10.4108\/icst.collaboratecom.2011.247096"},{"key":"215_CR13","unstructured":"Marrella A, Mecella M, Sardi\u00f1a S (2014) Smartpm: An adaptive process management system through situation calculus, indigolog, and classical planning. In: Principles of knowledge representation and reasoning: proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20\u201324, 2014"},{"issue":"2","key":"215_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/2948071","volume":"8","author":"A Marrella","year":"2017","unstructured":"Marrella A, Mecella M, Sardi\u00f1a S (2017) Intelligent process adaptation in the SmartPM system. ACM TIST 8(2):25. doi: 10.1145\/2948071","journal-title":"ACM TIST"},{"key":"215_CR15","doi-asserted-by":"publisher","unstructured":"Marrella A, Lesperance Y (2013) Synthesizing a library of process templates through partial-order planning algorithms. In: 14th International conference on business process modeling, development and support (BPMDS 2013). Springer, Berlin, pp 277\u2013291. doi: 10.1007\/978-3-642-38484-4_20","DOI":"10.1007\/978-3-642-38484-4_20"},{"key":"215_CR16","volume-title":"Automated planning: theory and practice","author":"D Nau","year":"2004","unstructured":"Nau D, Ghallab M, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann Publishers Inc., San Francisco"},{"issue":"4","key":"215_CR17","first-page":"27","volume":"15","author":"D Weld","year":"1994","unstructured":"Weld D (1994) An introduction to least commitment planning. AI Mag 15(4):27","journal-title":"AI Mag"},{"key":"215_CR18","unstructured":"Mcdermott D, Ghallab M, Howe A, Knoblock C, Ram A, Veloso M, Weld D, Wilkins D (1998) PDDL\u2014the planning domain definition language. In: Technical report, Yale Center for Computational Vision and Control"},{"key":"215_CR19","doi-asserted-by":"crossref","unstructured":"Catarci T, de Leoni M, Marrella A, Mecella M, Russo A, Steinmann R, Bortenschlager M (2011) WORKPAD: process management and geo-collaboration help disaster response. IJISCRAM 3(1):32\u201349","DOI":"10.4018\/jiscrm.2011010103"},{"issue":"1","key":"215_CR20","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MIC.2008.18","volume":"12","author":"T Catarci","year":"2008","unstructured":"Catarci T, de Leoni M, Marrella A, Mecella M, Salvatore B, Vetere G, Dustdar S, Juszczyk L, Manzoor A, Truong HL (2008) Pervasive software environments for supporting disaster responses. IEEE Internet Comput 12(1):26\u201337","journal-title":"IEEE Internet Comput"},{"key":"215_CR21","doi-asserted-by":"crossref","unstructured":"Humayoun SR, Catarci T, de Leoni M, Marrella A, Bortenschlager M, Steinmann R (2009) Designing mobile systems in highly dynamic scenarios: the WORKPAD methodology. Int J Knowl Technol Policy 22(1):25\u201343","DOI":"10.1007\/s12130-009-9070-3"},{"key":"215_CR22","doi-asserted-by":"crossref","unstructured":"Humayoun SR, Catarci T, de Leoni M, Marrella A, Mecella M, Bortenschlager M, Steinmann R (2009) The WORKPAD user interface and methodology: developing smart and effective mobile applications for emergency operators. In: HCI, vol 7, pp 343\u2013352","DOI":"10.1007\/978-3-642-02713-0_36"},{"key":"215_CR23","unstructured":"Marrella A, Mecella M, Russo A (2011) Collaboration on-the-field: suggestions and beyond. In: 8th International conference on information systems for crisis response and management (ISCRAM 2011)"},{"key":"215_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining: data science in action","author":"WM der Aalst van","year":"2016","unstructured":"van der Aalst WM (2016) Process mining: data science in action. Springer, Berlin"},{"issue":"3","key":"215_CR25","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","volume":"16","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou MP, Heuvel WJ (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J Int J Very Large Data Bases 16(3):389\u2013415","journal-title":"VLDB J Int J Very Large Data Bases"},{"key":"215_CR26","unstructured":"Silver B (2009) Case management: addressing unique BPM requirements. In: Taming the unpredictable: real-world adaptive case management, pp 1\u201312"},{"key":"215_CR27","doi-asserted-by":"publisher","unstructured":"Hull R, Motahari\u00a0Nezhad HR (2016) Rethinking BPM in a cognitive world: Transforming how we learn and perform business processes. In: Business process management: 14th international conference, BPM 2016, Rio de Janeiro, Brazil, September 18\u201322, 2016. Lecture notes in computer science, vol 9850. Springer, pp 3\u201319. doi: 10.1007\/978-3-319-45348-4_1","DOI":"10.1007\/978-3-319-45348-4_1"},{"issue":"1","key":"215_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00513ED1V01Y201306AIM022","volume":"8","author":"H Geffner","year":"2013","unstructured":"Geffner H, Bonet B (2013) A concise introduction to models and methods for automated planning. Synth Lect Artif Intell Mach Learn 8(1):1\u2013141. doi: 10.2200\/S00513ED1V01Y201306AIM022","journal-title":"Synth Lect Artif Intell Mach Learn"},{"issue":"2","key":"215_CR29","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W Aalst van der","year":"2009","unstructured":"van der Aalst W, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99\u2013115","journal-title":"Comput Sci Res Dev"},{"key":"215_CR30","volume-title":"Data in business processes","author":"A Meyer","year":"2011","unstructured":"Meyer A, Smirnov S, Weske M (2011) Data in business processes. Universit\u00e4tsverlag Potsdam, Potsdam"},{"key":"215_CR31","volume-title":"BPMN modeling and reference guide: understanding and using BPMN","author":"SA White","year":"2008","unstructured":"White SA, Miers D (2008) BPMN modeling and reference guide: understanding and using BPMN. Future Strategies Inc., Oakville"},{"key":"215_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid P (1996) Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. Springer, Berlin"},{"issue":"1","key":"215_CR33","first-page":"61","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) PDDL2.1: an extension to PDDL for expressing temporal planning domains. J Artif Int Res 20(1):61\u2013124","journal-title":"J Artif Int Res"},{"key":"215_CR34","volume-title":"Readings in nonmonotonic reasoning","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) On closed world data bases. In: Ginsberg M (ed) Readings in nonmonotonic reasoning. Morgan Kaufmann Publishers Inc., San Francisco"},{"key":"215_CR35","unstructured":"Russell S (2003) Artificial intelligence: a modern approach, 2nd edn. Pearson"},{"key":"215_CR36","doi-asserted-by":"crossref","unstructured":"Dijkman R, Dumas M, Garc\u00eda-Ba\u00f1uelos L (2009) Graph matching algorithms for business process model similarity search. In: Business process management. Springer, pp 48\u201363","DOI":"10.1007\/978-3-642-03848-8_5"},{"issue":"2","key":"215_CR37","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.is.2010.09.006","volume":"36","author":"R Dijkman","year":"2011","unstructured":"Dijkman R, Dumas M, Van Dongen B, K\u00e4\u00e4rik R, Mendling J (2011) Similarity of business process models: metrics and evaluation. Inf Syst 36(2):498\u2013516","journal-title":"Inf Syst"},{"key":"215_CR38","doi-asserted-by":"crossref","DOI":"10.1002\/0471741442","volume-title":"Process-aware information systems: bridging people and software through process technology","author":"M Dumas","year":"2005","unstructured":"Dumas M, van der Aalst WM (2005) Process-aware information systems: bridging people and software through process technology. Wiley, Hoboken"},{"key":"215_CR39","doi-asserted-by":"crossref","unstructured":"Coles AJ, Coles A, Fox M, Long D (2010) Forward-chaining partial-order planning. In: ICAPS","DOI":"10.1609\/icaps.v20i1.13403"},{"key":"215_CR40","doi-asserted-by":"crossref","unstructured":"Lu R, Sadiq S (2007) A survey of comparative business process modeling approaches. In: 10th International conference on business information systems (BIS). Springer, pp 82\u201394","DOI":"10.1007\/978-3-540-72035-5_7"},{"key":"215_CR41","volume-title":"Production workflow: concepts and techniques","author":"F Leymann","year":"2000","unstructured":"Leymann F, Roller D (2000) Production workflow: concepts and techniques. Prentice Hall, Upper Saddle River"},{"key":"215_CR42","unstructured":"Cosa GmbH (2013) COSA BPM product description. http:\/\/www.cosa.nl\/docs\/EN\/COSA%20BPM%205.7%20Productdescription_en_new_K.pdf"},{"key":"215_CR43","unstructured":"IBM Inc (2008) An introduction to WebSphere process server and WebSphere integration developer. ftp:\/\/ftp.software.ibm.com\/software\/integration\/wps\/library\/WSW14021-USEN-01.pdf"},{"key":"215_CR44","unstructured":"Kinateder M (2009) SAP advanced workflow techniques. http:\/\/scn.sap.com\/docs\/DOC-3286"},{"key":"215_CR45","unstructured":"Tibco Software Inc (2009) TIBCO iProcess engine: architecture guide. https:\/\/docs.tibco.com\/pub\/iprocess-engine\/11.1.0-september-2009\/pdf\/tib-iprocess-engine-architecture-guide.pdf"},{"key":"215_CR46","unstructured":"Wongwatkit C (2012) A development of order processing system: BPMN model. In: 14th International conference on advanced communication technology (ICACT), pp 653\u2013658"},{"key":"215_CR47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03121-2","volume-title":"Modern business process automation: YAWL and its support environment","author":"A Hofstede ter","year":"2009","unstructured":"ter Hofstede A, van der Aalst W, Adams M, Russell N (2009) Modern business process automation: YAWL and its support environment. Springer, Berlin. doi: 10.1007\/978-3-642-03121-2"},{"key":"215_CR48","unstructured":"Lanz A, Kreher U, Reichert M, Dadam P (2010) Enabling process support for advanced applications with the AristaFlow BPM Suite"},{"key":"215_CR49","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.infsof.2014.05.009","volume":"57","author":"C Ayora","year":"2015","unstructured":"Ayora C, Torres V, Weber B, Reichert M, Pelechano V (2015) VIVACE: a framework for the systematic evaluation of variability support in process-aware information systems. Inf Softw Technol 57:248\u2013276. doi: 10.1016\/j.infsof.2014.05.009","journal-title":"Inf Softw Technol"},{"key":"215_CR50","doi-asserted-by":"publisher","DOI":"10.1145\/3041957","author":"M Rosa La","year":"2013","unstructured":"La Rosa M, van der Aalst WM, Dumas M, Milani FP (2013) Business process variability modeling: a survey. ACM Comput Surv. doi: 10.1145\/3041957","journal-title":"ACM Comput Surv"},{"issue":"2","key":"215_CR51","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.is.2010.07.001","volume":"36","author":"M Rosa La","year":"2011","unstructured":"La Rosa M, Dumas M, Ter Hofstede AH, Mendling J (2011) Configurable multi-perspective business process models. Inf Syst 36(2):313\u2013340. doi: 10.1016\/j.is.2010.07.001","journal-title":"Inf Syst"},{"issue":"5","key":"215_CR52","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1109\/TSMCA.2010.2044408","volume":"40","author":"I Reinhartz-Berger","year":"2010","unstructured":"Reinhartz-Berger I, Soffer P, Sturm A (2010) Extending the adaptability of reference models. IEEE Trans Syst Man Cybern Part A Syst Hum 40(5):1045\u20131056. doi: 10.1109\/TSMCA.2010.2044408","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Hum"},{"issue":"2","key":"215_CR53","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.datak.2008.09.004","volume":"68","author":"HA Reijers","year":"2009","unstructured":"Reijers HA, Mans R, van der Toorn RA (2009) Improved model management with aggregated business process models. Data Knowl Eng 68(2):221\u2013243. doi: 10.1016\/j.datak.2008.09.004","journal-title":"Data Knowl Eng"},{"issue":"5","key":"215_CR54","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1016\/j.is.2012.11.010","volume":"38","author":"G Gr\u00f6ner","year":"2013","unstructured":"Gr\u00f6ner G, Boskovi\u0107 M, Silva Parreiras F, Gasevi\u0107 D (2013) Modeling and validation of business process families. Inf Syst 38(5):709\u2013726. doi: 10.1016\/j.is.2012.11.010","journal-title":"Inf Syst"},{"issue":"6\u20137","key":"215_CR55","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1002\/smr.491","volume":"22","author":"A Hallerbach","year":"2010","unstructured":"Hallerbach A, Bauer T, Reichert M (2010) Capturing variability in business process models: the Provop approach. J Softw Evol Process 22(6\u20137):519\u2013546. doi: 10.1002\/smr.491","journal-title":"J Softw Evol Process"},{"key":"215_CR56","first-page":"191","volume":"3","author":"S Brockmans","year":"2006","unstructured":"Brockmans S, Ehrig M, Koschmider A, Oberweis A, Studer R (2006) Semantic alignment of business processes. ICEIS 3:191\u2013196","journal-title":"ICEIS"},{"key":"215_CR57","first-page":"29","volume":"4","author":"O Thomas","year":"2007","unstructured":"Thomas O, Fellmann M (2007) Semantic business process management: ontology-based process modeling using event-driven process chains. IBIS 4:29\u201344","journal-title":"IBIS"},{"key":"215_CR58","doi-asserted-by":"crossref","unstructured":"Pichler P, Weber B, Zugal S, Pinggera J, Mendling J, Reijers HA (2012) Imperative versus declarative process modeling languages: an empirical investigation. In: Business process management workshops. Springer, pp 383\u2013394","DOI":"10.1007\/978-3-642-28108-2_37"},{"issue":"3\u20134","key":"215_CR59","first-page":"158","volume":"4","author":"G Grambow","year":"2012","unstructured":"Grambow G, Oberhauser R, Reichert M (2012) Contextual generation of declarative workflows and their application to software engineering processes. Int J Adv Intell Syst 4(3\u20134):158\u2013179","journal-title":"Int J Adv Intell Syst"},{"key":"215_CR60","doi-asserted-by":"crossref","unstructured":"Pesic M, Schonenberg H, van der Aalst WM (2007) Declare: full support for loosely-structured processes. In: 11th IEEE International conference on enterprise distributed object computing, EDOC 2007. IEEE, pp 287\u2013287","DOI":"10.1109\/EDOC.2007.14"},{"key":"215_CR61","doi-asserted-by":"crossref","unstructured":"Weber B, Pinggera J, Zugal S, Wild W (2011) Alaska simulator toolset for conducting controlled experiments on process flexibility. In: CAiSE Forum 2010, LNBIP 72. Springer, Berlin, pp 205\u2013221","DOI":"10.1007\/978-3-642-17722-4_15"},{"key":"215_CR62","doi-asserted-by":"crossref","unstructured":"Vardi MY (1996) An automata-theoretic approach to linear temporal logic. In: Logics for concurrency. Springer, pp 238\u2013266","DOI":"10.1007\/3-540-60915-6_6"},{"issue":"2","key":"215_CR63","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WM Aalst van der","year":"2005","unstructured":"van der Aalst WM, Weske M, Gr\u00fcnbauer D (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53(2):129\u2013162. doi: 10.1016\/j.datak.2004.07.003","journal-title":"Data Knowl Eng"},{"key":"215_CR64","doi-asserted-by":"crossref","unstructured":"Hull R (2008) Artifact-centric business process models: brief survey of research results and challenges. In: On the move to meaningful internet systems: OTM. Lecture notes in computer science, vol 5332. Springer, Berlin, pp 1152\u20131163","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"215_CR65","doi-asserted-by":"crossref","unstructured":"K\u00fcnzle V, Weber B, Reichert M (2011) Object-aware business processes: fundamental requirements and their support in existing approaches. Int J Inf Syst Model Des (IJISMD) 2(2): 19\u201346. http:\/\/dbis.eprints.uni-ulm.de\/721\/","DOI":"10.4018\/jismd.2011040102"},{"key":"215_CR66","doi-asserted-by":"publisher","unstructured":"Bagheri Hariri B, Calvanese D, de Giacomo G, Deutsch A, Montali M (2013) Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd symposium on principles of database systems, PODS \u201913. ACM, New York, pp 163\u2013174. doi: 10.1145\/2463664.2465221","DOI":"10.1145\/2463664.2465221"},{"key":"215_CR67","unstructured":"OMG (2014) Case management model and notation, version 1.0. http:\/\/www.omg.org\/spec\/CMMN\/1.0"},{"key":"215_CR68","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2011010105","author":"A Zunino","year":"2012","unstructured":"Zunino A, Campo M (2012) A survey of approaches to web service discovery in service-oriented architectures. Innov Database Des Web Appl Inf Syst Manag. doi: 10.4018\/jdm.2011010105","journal-title":"Innov Database Des Web Appl Inf Syst Manag"},{"key":"215_CR69","unstructured":"Myers KL, Berry PM (1998) Workflow management systems: an AI perspective. In: AIC-SRI report"},{"issue":"1","key":"215_CR70","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(91)90024-E","volume":"52","author":"K Currie","year":"1991","unstructured":"Currie K, Tate A (1991) O-Plan: the open planning architecture. Artif Intell 52(1):49\u201386 10.1016\/0004-3702(91)90024-E","journal-title":"Artif Intell"},{"key":"215_CR71","doi-asserted-by":"crossref","unstructured":"Beckstein C, Klausner J (1999) A meta level architecture for workflow management. J Integr Des Process Sci 3(1):15\u201326","DOI":"10.3233\/1999-jid3(1)02"},{"key":"215_CR72","unstructured":"Jarvis P, Moore J, JS, Macintosh A, du Mont AC, Chung P (1999) Exploiting AI technologies to realise adaptive workflow systems. In: Proceedings of the AAAI workshop on agent-based systems in the business context"},{"issue":"5\u20136","key":"215_CR73","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0950-7051(01)00167-8","volume":"15","author":"MD R-Moreno","year":"2002","unstructured":"R-Moreno MD, Kearney P (2002) Integrating AI planning techniques with workflow management system. Knowl Based Syst 15(5\u20136):285\u2013291. doi: 10.1016\/S0950-7051(01)00167-8","journal-title":"Knowl Based Syst"},{"key":"215_CR74","unstructured":"De Giacomo G, Maggi FM, Marrella A, Patrizi F (2017) On the disruptive effectiveness of automated planning for LTLf-based trace alignment. In: Thirty-first AAAI conference on artificial intelligence, pp 3555\u20133561. http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14652"},{"key":"215_CR75","doi-asserted-by":"crossref","unstructured":"De Giacomo G, Maggi FM, Marrella A, Sardi\u00f1a S (2016) Computing trace alignment against declarative process models through planning. In: Twenty-sixth international conference on automated planning and scheduling (ICAPS), pp 367\u2013375. http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS16\/paper\/view\/13094","DOI":"10.1609\/icaps.v26i1.13783"},{"key":"215_CR76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19069-3_20","volume-title":"Completing workflow traces using action languages","author":"C Di\u00a0Francescomarino","year":"2015","unstructured":"Di\u00a0Francescomarino C, Ghidini C, Tessaris S, Sandoval IV (2015) Completing workflow traces using action languages. Springer, Berlin. doi: 10.1007\/978-3-319-19069-3_20"},{"key":"215_CR77","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M Leoni de","year":"2017","unstructured":"de Leoni M, Marrella A (2017) Aligning real process executions and prescriptive process models through automated planning. Expert Syst Appl 82:162\u2013183. doi: 10.1016\/j.eswa.2017.03.047","journal-title":"Expert Syst Appl"},{"key":"215_CR78","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1142\/S0218843006001463","volume":"15","author":"H Ferreira","year":"2006","unstructured":"Ferreira H, Ferreira D (2006) An integrated life cycle for workflow management based on learning and planning. Int J Coop Inf Syst 15:485\u2013505","journal-title":"Int J Coop Inf Syst"},{"key":"215_CR79","unstructured":"Henneberger M, Heinrich B, Lautenbacher F, Bauer B (2008) Semantic-based planning of process models. In: Multikonferenz Wirtschaftsinformatik"},{"issue":"2","key":"215_CR80","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/j.eswa.2006.05.027","volume":"33","author":"MD R-Moreno","year":"2007","unstructured":"R-Moreno MD, Borrajo D, Cesta A, Oddi A (2007) Integrating planning and scheduling in workflow domains. Exp Syst Appl Int J 33(2):389\u2013406","journal-title":"Exp Syst Appl Int J"},{"key":"215_CR81","doi-asserted-by":"crossref","unstructured":"Schuschel H, Weske M (2004) Triggering replanning in an integrated workflow planning and enactment system. In: ADBIS","DOI":"10.1007\/978-3-540-30204-9_22"},{"issue":"8","key":"215_CR82","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/S0950-7051(02)00032-1","volume":"15","author":"R Aler","year":"2002","unstructured":"Aler R, Borrajo D, Camacho D (2002) A knowledge-based approach for business process reengineering, SHAMASH. Know Based Syst 15(8):473\u2013483","journal-title":"Know Based Syst"},{"key":"215_CR83","unstructured":"Bechhofer S, Van Harmelen F, Hendler J, Horrocks I, McGuinness DL, Patel-Schneider PF (2004) Owl web ontology language reference. W3C Recommendation 10 February 2004"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-017-0215-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0215-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0215-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T21:23:38Z","timestamp":1750800218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-017-0215-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,9]]},"references-count":83,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s11761-017-0215-z","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,9]]}}}