{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T16:53:29Z","timestamp":1779900809198,"version":"3.53.1"},"reference-count":90,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T00:00:00Z","timestamp":1478044800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Italian Sapienza grant SUPER"},{"name":"Italian Sapienza grant TESTMED","award":["EU FP6 WORKPAD and EU FP7 SM4All"],"award-info":[{"award-number":["EU FP6 WORKPAD and EU FP7 SM4All"]}]},{"name":"Sapienza 2014 Visiting Grant"},{"name":"Italian Sapienza award SPIRITLETS"},{"name":"Italian project RoMA - Resilence of Metropolitan Areas","award":["SCN_00064"],"award-info":[{"award-number":["SCN_00064"]}]},{"name":"Italian project Social Museum e Smart Tourism","award":["CTN01_00034_23154"],"award-info":[{"award-number":["CTN01_00034_23154"]}]},{"name":"Italian project NEPTIS","award":["PON03PE_00214_3"],"award-info":[{"award-number":["PON03PE_00214_3"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Intell. Syst. Technol."],"published-print":{"date-parts":[[2017,3,31]]},"abstract":"<jats:p>The increasing application of process-oriented approaches in new challenging dynamic domains beyond business computing (e.g., healthcare, emergency management, factories of the future, home automation, etc.) has led to reconsider the level of flexibility and support required to manage complex knowledge-intensive processes in such domains. A knowledge-intensive process is influenced by user decision making and coupled with contextual data and knowledge production, and involves performing complex tasks in the \u201cphysical\u201d real world to achieve a common goal. The physical world, however, is not entirely predictable, and knowledge-intensive processes must be robust to unexpected conditions and adaptable to unanticipated exceptions, recognizing that in real-world environments it is not adequate to assume that all possible recovery activities can be predefined for dealing with the exceptions that can ensue. To tackle this issue, in this paper we present SmartPM, a model and a prototype Process Management System featuring a set of techniques providing support for automated adaptation of knowledge-intensive processes at runtime. Such techniques are able to automatically adapt process instances when unanticipated exceptions occur, without explicitly defining policies to recover from exceptions and without the intervention of domain experts at runtime, aiming at reducing error-prone and costly manual ad-hoc changes, and thus at relieving users from complex adaptations tasks. To accomplish this, we make use of well-established techniques and frameworks from Artificial Intelligence, such as situation calculus, IndiGolog and classical planning. The approach, which is backed by a formal model, has been implemented and validated with a case study based on real knowledge-intensive processes coming from an emergency management domain.<\/jats:p>","DOI":"10.1145\/2948071","type":"journal-article","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T12:49:04Z","timestamp":1478263744000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Intelligent Process Adaptation in the SmartPM System"],"prefix":"10.1145","volume":"8","author":[{"given":"Andrea","family":"Marrella","sequence":"first","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Roma, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9730-8882","authenticated-orcid":false,"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Roma, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Sardina","sequence":"additional","affiliation":[{"name":"RMIT University, Victoria, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,11,2]]},"reference":[{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.09.002"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1240180.1240182"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"e_1_2_2_5_1","unstructured":"BPMI.org and OMG. 2011. Business Process Modeling Notation - Final Specification Ver.2.0. Retrieved from http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/.  BPMI.org and OMG. 2011. Business Process Modeling Notation - Final Specification Ver.2.0. Retrieved from http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/."},{"key":"e_1_2_2_6_1","volume-title":"Knowledge Representation and Reasoning","author":"Brachman Ronald","unstructured":"Ronald Brachman and Hector Levesque . 2004. Knowledge Representation and Reasoning . Elsevier . Ronald Brachman and Hector Levesque. 2004. Knowledge Representation and Reasoning. Elsevier."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2011.6166209"},{"key":"e_1_2_2_8_1","volume-title":"Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201908)","author":"Capata Andrea","year":"2008","unstructured":"Andrea Capata , Andrea Marella , and Ruggero Russo . 2008 . A geo-based application for the management of mobile actors during crisis situations . In Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201908) . Andrea Capata, Andrea Marella, and Ruggero Russo. 2008. A geo-based application for the management of mobile actors during crisis situations. In Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201908)."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/328939.328996"},{"key":"e_1_2_2_10_1","volume-title":"Advances in Exception Handling Techniques","author":"Casati Fabio","unstructured":"Fabio Casati and Gianpaolo Cugola . 2001. Error handling in process support systems . In Advances in Exception Handling Techniques . Springer-Verlag , 251--270. Fabio Casati and Gianpaolo Cugola. 2001. Error handling in process support systems. In Advances in Exception Handling Techniques. Springer-Verlag, 251--270."},{"key":"e_1_2_2_11_1","volume-title":"Andrea Marrella, Massimo Mecella, Alessandro Russo, Renate Steinmann, and Manfred Bortenschlager.","author":"Catarci Tiziana","year":"2013","unstructured":"Tiziana Catarci , Massimiliano De Leoni , Andrea Marrella, Massimo Mecella, Alessandro Russo, Renate Steinmann, and Manfred Bortenschlager. 2013 . WORKPAD : Process management and geo-collaboration help disaster response. In Using Social and Information Technologies for Disaster and Crisis Management . 33--51. DOI:http:\/\/dx.doi.org\/10.4018\/978-1-4666-2788-8.ch003 10.4018\/978-1-4666-2788-8.ch003 Tiziana Catarci, Massimiliano De Leoni, Andrea Marrella, Massimo Mecella, Alessandro Russo, Renate Steinmann, and Manfred Bortenschlager. 2013. WORKPAD: Process management and geo-collaboration help disaster response. In Using Social and Information Technologies for Disaster and Crisis Management. 33--51. DOI:http:\/\/dx.doi.org\/10.4018\/978-1-4666-2788-8.ch003"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646088.679909"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625574"},{"key":"e_1_2_2_14_1","volume-title":"Proceedings of the 22nd Conference on Artificial Intelligence (AAAI\u201907)","author":"Cla\u00dfen Jens","year":"2007","unstructured":"Jens Cla\u00dfen , Yuxiao Hu , and Gerhard Lakemeyer . 2007 b. A situation-calculus semantics for an expressive fragment of PDDL . In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI\u201907) . 956--961. Jens Cla\u00dfen, Yuxiao Hu, and Gerhard Lakemeyer. 2007b. A situation-calculus semantics for an expressive fragment of PDDL. In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI\u201907). 956--961."},{"key":"e_1_2_2_15_1","volume-title":"IndiGolog: A high-level programming language for embedded reasoning agents. Multi-Agent Programming: Languages, Tools and Applications","author":"Giacomo Giuseppe De","unstructured":"Giuseppe De Giacomo , Yves Lesp\u00e9rance , Hector Levesque , and Sebastian Sardina . 2009. IndiGolog: A high-level programming language for embedded reasoning agents. Multi-Agent Programming: Languages, Tools and Applications . Springer US , 31--72. DOI:http:\/\/dx.doi.org\/10.1007\/978-0-387-89299-3_2 10.1007\/978-0-387-89299-3_2 Giuseppe De Giacomo, Yves Lesp\u00e9rance, Hector Levesque, and Sebastian Sardina. 2009. IndiGolog: A high-level programming language for embedded reasoning agents. Multi-Agent Programming: Languages, Tools and Applications. Springer US, 31--72. DOI:http:\/\/dx.doi.org\/10.1007\/978-0-387-89299-3_2"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"e_1_2_2_17_1","volume-title":"Web Services Foundations","author":"Giacomo Giuseppe De","unstructured":"Giuseppe De Giacomo , Massimo Mecella , and Fabio Patrizi . 2014. Automated service composition based on behaviors: The roman model . In Web Services Foundations . Springer , 189--214. DOI:http:\/\/dx.doi.org\/ 10.1007\/978-1-4614-7518-7_8 10.1007\/978-1-4614-7518-7_8 Giuseppe De Giacomo, Massimo Mecella, and Fabio Patrizi. 2014. Automated service composition based on behaviors: The roman model. In Web Services Foundations. Springer, 189--214. DOI:http:\/\/dx.doi.org\/ 10.1007\/978-1-4614-7518-7_8"},{"key":"e_1_2_2_18_1","volume-title":"Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998)","author":"Giacomo Giuseppe De","year":"1998","unstructured":"Giuseppe De Giacomo , Raymond Reiter , and Mikhail Soutchanski . 1998 . Execution monitoring of high-level robot programs . In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998) . 453--465. Giuseppe De Giacomo, Raymond Reiter, and Mikhail Soutchanski. 1998. Execution monitoring of high-level robot programs. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998). 453--465."},{"key":"e_1_2_2_19_1","first-page":"1","article-title":"Knowledge-intensive processes: Characteristics, requirements and analysis of contemporary approaches","volume":"4","author":"Ciccio Claudio Di","year":"2014","unstructured":"Claudio Di Ciccio , Andrea Marrella , and Alessandro Russo . 2014 . Knowledge-intensive processes: Characteristics, requirements and analysis of contemporary approaches . Journal on Data Semantics 4 , 1 (2014), 1 -- 29 . DOI:http:\/\/dx.doi.org\/10.1007\/s13740-014-0038-4 10.1007\/s13740-014-0038-4 Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. 2014. Knowledge-intensive processes: Characteristics, requirements and analysis of contemporary approaches. Journal on Data Semantics 4, 1 (2014), 1--29. DOI:http:\/\/dx.doi.org\/10.1007\/s13740-014-0038-4","journal-title":"Journal on Data Semantics"},{"key":"e_1_2_2_20_1","volume-title":"Jan Mendling, and Hajo A. Reijers.","author":"Dumas Marlon","year":"2013","unstructured":"Marlon Dumas , Marcello La Rosa , Jan Mendling, and Hajo A. Reijers. 2013 . Fundamentals of Business Process Management (1st ed.). Springer-Verlag , Berlin. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-33143-5 10.1007\/978-3-642-33143-5 Marlon Dumas, Marcello La Rosa, Jan Mendling, and Hajo A. Reijers. 2013. Fundamentals of Business Process Management (1st ed.). Springer-Verlag, Berlin. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-33143-5"},{"key":"e_1_2_2_21_1","volume-title":"ter Hofstede","author":"Dumas Marlon","year":"2005","unstructured":"Marlon Dumas , Wil M. P. van der Aalst , and Arthur H. M . ter Hofstede . 2005 . Process-Aware Information Systems: Bridging People and Software through Process Technology (1st ed.). John Wiley 8 Sons. DOI:http:\/\/dx.doi.org\/10.1002\/0471741442 10.1002\/0471741442 Marlon Dumas, Wil M. P. van der Aalst, and Arthur H. M. ter Hofstede. 2005. Process-Aware Information Systems: Bridging People and Software through Process Technology (1st ed.). John Wiley 8 Sons. DOI:http:\/\/dx.doi.org\/10.1002\/0471741442"},{"key":"e_1_2_2_23_1","volume-title":"Proceedings of the 3rd International Conference on Cooperative Information Systems (CoopIS-95)","author":"Eder Johann","year":"1995","unstructured":"Johann Eder and Walter Liebhart . 1995 . The workflow activity model WAMO . In Proceedings of the 3rd International Conference on Cooperative Information Systems (CoopIS-95) . 87--98. Johann Eder and Walter Liebhart. 1995. The workflow activity model WAMO. In Proceedings of the 3rd International Conference on Cooperative Information Systems (CoopIS-95). 87--98."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/525042.793753"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/99977.99987"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001463"},{"key":"e_1_2_2_27_1","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201908)","author":"Fritz Christian","unstructured":"Christian Fritz , Jorge A. Baier , and Sheila A . McIlraith. 2008. ConGolog, sin trans: Compiling congolog into basic action theories for planning and beyond . In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201908) . 600--610. Christian Fritz, Jorge A. Baier, and Sheila A. McIlraith. 2008. ConGolog, sin trans: Compiling congolog into basic action theories for planning and beyond. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201908). 600--610."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2005.78"},{"key":"#cr-split#-e_1_2_2_29_1.1","doi-asserted-by":"crossref","unstructured":"Hector Geffner and Blai Bonet. 2013. A Concise Introduction to Models and Methods for Automated Planning. Morgan 8 Claypool Publishers. DOI:http:\/\/dx.doi.org\/10.2200\/S00513ED1V01Y201306AIM022 10.2200\/S00513ED1V01Y201306AIM022","DOI":"10.2200\/S00513ED1V01Y201306AIM022"},{"key":"#cr-split#-e_1_2_2_29_1.2","doi-asserted-by":"crossref","unstructured":"Hector Geffner and Blai Bonet. 2013. A Concise Introduction to Models and Methods for Automated Planning. Morgan 8 Claypool Publishers. DOI:http:\/\/dx.doi.org\/10.2200\/S00513ED1V01Y201306AIM022","DOI":"10.1007\/978-3-031-01564-9"},{"key":"e_1_2_2_30_1","volume-title":"Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04)","author":"Gerevini Alfonso","year":"2004","unstructured":"Alfonso Gerevini , Alessandro Saetti , Ivan Serina , and Paolo Toninelli . 2004 . LPG-TD: A fully automated planner for PDDL2.2 domains . In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04) . Alfonso Gerevini, Alessandro Saetti, Ivan Serina, and Paolo Toninelli. 2004. LPG-TD: A fully automated planner for PDDL2.2 domains. In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04)."},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2006.06.011"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100056"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879818"},{"key":"e_1_2_2_34_1","volume-title":"Human Processes: Capturing Knowledge with Processes.","author":"Harrison-Broninski Keith","year":"2013","unstructured":"Keith Harrison-Broninski . 2013 . Human Processes: Capturing Knowledge with Processes. Retrieved from www.bptrends.com. Keith Harrison-Broninski. 2013. Human Processes: Capturing Knowledge with Processes. Retrieved from www.bptrends.com."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.107"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.013"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12130-009-9070-3"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02713-0_36"},{"key":"e_1_2_2_40_1","volume-title":"Proceedings of the AAAI Workshop on Agent-Based Systems in the Business Context.","author":"Jarvis Peter","year":"1999","unstructured":"Peter Jarvis , Jonathan Moore , Jussi Stader , Ann Macintosh , Andrew Casson du Mont , and Paul Chung . 1999 . Exploiting AI technologies to realise adaptive workflow systems . In Proceedings of the AAAI Workshop on Agent-Based Systems in the Business Context. Peter Jarvis, Jonathan Moore, Jussi Stader, Ann Macintosh, Andrew Casson du Mont, and Paul Chung. 1999. Exploiting AI technologies to realise adaptive workflow systems. In Proceedings of the AAAI Workshop on Agent-Based Systems in the Business Context."},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/088395100403379"},{"key":"e_1_2_2_42_1","volume-title":"Coloured Petri Nets -- Modelling and Validation of Concurrent Systems","author":"Jensen Kurt","unstructured":"Kurt Jensen and Lars Michael Kristensen . 2009. Coloured Petri Nets -- Modelling and Validation of Concurrent Systems . Springer . DOI:http:\/\/dx.doi.org\/10.1007\/b95112 10.1007\/b95112 Kurt Jensen and Lars Michael Kristensen. 2009. Coloured Petri Nets -- Modelling and Validation of Concurrent Systems. Springer. DOI:http:\/\/dx.doi.org\/10.1007\/b95112"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040283.2040286"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008759413689"},{"key":"e_1_2_2_45_1","volume-title":"Information Systems Evolution: CAiSE Forum","author":"Lanz Andreas","year":"2010","unstructured":"Andreas Lanz , Manfred Reichert , and Peter Dadam . 2011. Robust and flexible error handling in the aristaflow BPM suite . In Information Systems Evolution: CAiSE Forum 2010 . Springer , Berlin , 174--189. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-17722-4_13 10.1007\/978-3-642-17722-4_13 Andreas Lanz, Manfred Reichert, and Peter Dadam. 2011. Robust and flexible error handling in the aristaflow BPM suite. In Information Systems Evolution: CAiSE Forum 2010. Springer, Berlin, 174--189. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-17722-4_13"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.04.007"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.1"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/645927.757417"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008388412284"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38484-4_20"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2013.43"},{"key":"e_1_2_2_53_1","volume-title":"Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201911)","author":"Marrella Andrea","year":"2011","unstructured":"Andrea Marrella , Massimo Mecella , and Alessandro Russo . 2011 . Collaboration On-the-field: Suggestions and beyond . In Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201911) . Andrea Marrella, Massimo Mecella, and Alessandro Russo. 2011. Collaboration On-the-field: Suggestions and beyond. In Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM\u201911)."},{"key":"e_1_2_2_54_1","volume-title":"Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201914)","author":"Marrella Andrea","year":"2014","unstructured":"Andrea Marrella , Massimo Mecella , and Sebastian Sardina . 2014 . SmartPM: An adaptive process management system through situation calculus, indigolog, and classical planning . In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201914) . Andrea Marrella, Massimo Mecella, and Sebastian Sardina. 2014. SmartPM: An adaptive process management system through situation calculus, indigolog, and classical planning. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201914)."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33606-5_17"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2012.11.011"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.03.010"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36285-9_5"},{"key":"e_1_2_2_61_1","volume-title":"Berry","author":"Myers Karen L.","year":"1999","unstructured":"Karen L. Myers and Pauline M . Berry . 1999 . Workflow management systems: An AI perspective. Technical Note, Artificial Intelligence Center (AIC) , SRI International (Jan. 1999). Karen L. Myers and Pauline M. Berry. 1999. Workflow management systems: An AI perspective. Technical Note, Artificial Intelligence Center (AIC), SRI International (Jan. 1999)."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1141"},{"key":"e_1_2_2_63_1","volume-title":"Automated Planning: Theory 8 Practice","author":"Nau Dana","year":"2004","unstructured":"Dana Nau , Malik Ghallab , and Paolo Traverso . 2004 . Automated Planning: Theory 8 Practice . Morgan Kaufmann Publishers Inc ., San Francisco, CA. Dana Nau, Malik Ghallab, and Paolo Traverso. 2004. Automated Planning: Theory 8 Practice. Morgan Kaufmann Publishers Inc., San Francisco, CA."},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.27"},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062745.1062931"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-010-0107-y"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_11"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-7051(01)00167-8"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"e_1_2_2_70_1","volume-title":"Proceedings of the 1st International Conference on Multiagent Systems (ICMAS\u201995)","author":"Anand","unstructured":"Anand S. Rao and Michael P. Georgeff. 1995. BDI agents: From theory to practice . In Proceedings of the 1st International Conference on Multiagent Systems (ICMAS\u201995) . 312--319. Anand S. Rao and Michael P. Georgeff. 1995. BDI agents: From theory to practice. In Proceedings of the 1st International Conference on Multiagent Systems (ICMAS\u201995). 312--319."},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008604709862"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/1761141.1761169"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.17"},{"key":"e_1_2_2_74_1","volume-title":"Methods, Technologies","author":"Reichert Manfred","unstructured":"Manfred Reichert and Barbara Weber . 2012. Enabling Flexibility in Process-Aware Information Systems\u2014 Challenges , Methods, Technologies . Springer , Berlin . DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-30409-5 10.1007\/978-3-642-30409-5 Manfred Reichert and Barbara Weber. 2012. Enabling Flexibility in Process-Aware Information Systems\u2014 Challenges, Methods, Technologies. Springer, Berlin. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-30409-5"},{"key":"e_1_2_2_75_1","volume-title":"Knowledge Representation: An AI Perspective","author":"Reichgelt Han","year":"1991","unstructured":"Han Reichgelt . 1991 . Knowledge Representation: An AI Perspective . Greenwood Publishing Group Inc . Han Reichgelt. 1991. Knowledge Representation: An AI Perspective. Greenwood Publishing Group Inc."},{"key":"e_1_2_2_76_1","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter Raymond","unstructured":"Raymond Reiter . 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . MIT Press . Raymond Reiter. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press."},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.01.002"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_17"},{"key":"e_1_2_2_79_1","volume-title":"BPM: Structured vs. Unstructured.","author":"Rosenfeld Austin","year":"2011","unstructured":"Austin Rosenfeld . 2011 . BPM: Structured vs. Unstructured. Retrieved from www.bptrends.com. Austin Rosenfeld. 2011. BPM: Structured vs. Unstructured. Retrieved from www.bptrends.com."},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767138_20"},{"key":"e_1_2_2_81_1","volume-title":"Proceedings of the 20th International Conference on Conceptual Modeling (ER\u201901)","author":"Sadiq Shazia W.","unstructured":"Shazia W. Sadiq , Wasim Sadiq , and Maria E. Orlowska . 2001. Pockets of flexibility in workflow specification . In Proceedings of the 20th International Conference on Conceptual Modeling (ER\u201901) . Springer, Berlin, 513--526. DOI:http:\/\/dx.doi.org\/10.1007\/3-540-45581-7_38 10.1007\/3-540-45581-7_38 Shazia W. Sadiq, Wasim Sadiq, and Maria E. Orlowska. 2001. Pockets of flexibility in workflow specification. In Proceedings of the 20th International Conference on Conceptual Modeling (ER\u201901). Springer, Berlin, 513--526. DOI:http:\/\/dx.doi.org\/10.1007\/3-540-45581-7_38"},{"key":"e_1_2_2_82_1","volume-title":"Modelling complex and flexible processes for smart cyber-physical environments. Journal of Computational Science","author":"Seiger Ronny","year":"2014","unstructured":"Ronny Seiger , Christine Keller , Florian Niebling , and Thomas Schlegel . 2014. Modelling complex and flexible processes for smart cyber-physical environments. Journal of Computational Science ( 2014 ), 137--148. DOI:http:\/\/dx.doi.org\/10.1016\/j.jocs.2014.07.001 10.1016\/j.jocs.2014.07.001 Ronny Seiger, Christine Keller, Florian Niebling, and Thomas Schlegel. 2014. Modelling complex and flexible processes for smart cyber-physical environments. Journal of Computational Science (2014), 137--148. DOI:http:\/\/dx.doi.org\/10.1016\/j.jocs.2014.07.001"},{"key":"e_1_2_2_83_1","volume-title":"Proceedings of the 12th International Conference on Artificial intelligence (AAAI\u201994)","author":"Selman Bart","year":"1994","unstructured":"Bart Selman , Henry A. Kautz , and Bram Cohen . 1994 . Noise strategies for improving local search . In Proceedings of the 12th International Conference on Artificial intelligence (AAAI\u201994) . American Association for Artificial Intelligence, 337--343. Bart Selman, Henry A. Kautz, and Bram Cohen. 1994. Noise strategies for improving local search. In Proceedings of the 12th International Conference on Artificial intelligence (AAAI\u201994). American Association for Artificial Intelligence, 337--343."},{"key":"e_1_2_2_84_1","volume-title":"Wil M. P. van der Aalst, Michael Adams, and Nick Russell.","author":"Arthur H.","year":"2009","unstructured":"Arthur H. M. ter Hofstede , Wil M. P. van der Aalst, Michael Adams, and Nick Russell. 2009 . Modern Business Process Automation: YAWL and Its Support Environment. Springer . DOI:http:\/\/dx.doi.org\/ 10.1007\/978-3-642-03121-2 10.1007\/978-3-642-03121-2 Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams, and Nick Russell. 2009. Modern Business Process Automation: YAWL and Its Support Environment. Springer. DOI:http:\/\/dx.doi.org\/ 10.1007\/978-3-642-03121-2"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.07.003"},{"key":"e_1_2_2_86_1","volume-title":"Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC\u201996)","author":"Wil M.","unstructured":"Wil M. P. van Der Aalst. 1996. Three good reasons for using a petri-net-based workflow management system . In Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC\u201996) . 179--201. DOI:http:\/\/dx.doi.org\/10.1007\/978-1-4615-5499-8_10 10.1007\/978-1-4615-5499-8_10 Wil M. P. van Der Aalst. 1996. Three good reasons for using a petri-net-based workflow management system. In Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC\u201996). 179--201. DOI:http:\/\/dx.doi.org\/10.1007\/978-1-4615-5499-8_10"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/507984"},{"key":"e_1_2_2_89_1","volume-title":"Bartek Kiepuszewski, and Alistair P. Barros.","author":"van der Aalst Wil M. P.","year":"2003","unstructured":"Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Bartek Kiepuszewski, and Alistair P. Barros. 2003 . Workflow patterns. Distributed Parallel Databases 14, 1 (2003). DOI:http:\/\/dx.doi.org\/10.1023\/A:1022883727209 10.1023\/A:1022883727209 Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, and Alistair P. Barros. 2003. Workflow patterns. Distributed Parallel Databases 14, 1 (2003). DOI:http:\/\/dx.doi.org\/10.1023\/A:1022883727209"},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.05.001"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28631-8_32"},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.5555\/820759.821911"},{"key":"e_1_2_2_93_1","volume-title":"Languages, Architectures","author":"Weske Mathias","unstructured":"Mathias Weske . 2012. Business Process Management: Concepts , Languages, Architectures ( 2 nd ed.). Springer Science 8 Business Media. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-28616-2 10.1007\/978-3-642-28616-2 Mathias Weske. 2012. Business Process Management: Concepts, Languages, Architectures (2nd ed.). Springer Science 8 Business Media. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-28616-2","edition":"2"}],"container-title":["ACM Transactions on Intelligent Systems and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2948071","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2948071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:43Z","timestamp":1750222543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2948071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,2]]},"references-count":90,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3,31]]}},"alternative-id":["10.1145\/2948071"],"URL":"https:\/\/doi.org\/10.1145\/2948071","relation":{},"ISSN":["2157-6904","2157-6912"],"issn-type":[{"value":"2157-6904","type":"print"},{"value":"2157-6912","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,2]]},"assertion":[{"value":"2014-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}