Abstract
Business Process Management (BPM) is a central element of today’s organizations. Over the years, its main focus has been the support of business processes (BPs) in highly controlled domains. However—in the current era of Big Data and Internet-of-Things—several real-world domains are becoming cyber-physical (e.g., consider the shift from traditional manufacturing to Industry 4.0), characterized by ever-changing requirements, unpredictable environments and increasing amounts of data and events that influence the enactment of BPs. In such unconstrained settings, BPM professionals lack the needed knowledge to model all possible BP variants/contingencies at the outset. Consequently, BPM systems must increase their level of automation to provide the reactivity and flexibility necessary for process management. On the other hand, the Artificial Intelligence (AI) community has concentrated its efforts on investigating dynamic domains that involve active control of computational entities and physical devices (e.g., robots, software agents). In this context, automated planning, which is one of the oldest areas in AI, is conceived as a model-based approach to synthesize autonomous behaviors in automated way from a model. In this paper, we discuss how automated planning techniques can be leveraged to enable new levels of automation and support for solving concrete problems in the BPM field that were previously tackled with hard-coded solutions. To this aim, we first propose a methodology that shows how a researcher/practitioner should approach the task of encoding a concrete problem as an appropriate planning problem. Then, we discuss the required steps to integrate the planning technology in BPM environments. Finally, we show some concrete examples of the successful application of planning techniques to the different stages of the BPM life cycle.
Similar content being viewed by others
Notes
The Business Process Modeling Notation (BPMN) is the ISO standard (ISO/IEC 19510:2013) for modeling BPs.
A tutorial introduction to planning models and algorithms can be found in [35].
References
Adriansyah A, van Dongen BF, Zannone N (2013) Controlling break-the-glass through alignment. In: SOCIALCOM’13. IEEE computer society. https://doi.org/10.1109/SocialCom.2013.91
Agarwal V, Chafle G, Dasgupta K, Karnik NM, Kumar A, Mittal S, Srivastava B (2005) Synthy: a system for end to end composition of web services. J Web Semant Sci Serv Agents World Wide Web 3(4):311–339. https://doi.org/10.1016/j.websem.2005.09.002
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(Supplement C):248–276. https://doi.org/10.1016/j.infsof.2014.05.009
Baral C, Kreinovich V, Trejo R (2000) Computational complexity of planning and approximate planning in the presence of incompleteness. Artif Intell 122(1–2):241–267
Beckstein C, Klausner J (1999) A meta level architecture for workflow management. J Integr Des Process Sci 3(1):15–26
Berardi D, Calvanese D, De Giacomo G, Lenzerini M, Mecella M (2003) Automatic composition of e-services that export their behavior. In: Proceedings of the first international conference on service-oriented computing, ICSOC 2003, pp 43–58. Springer. https://doi.org/10.1007/978-3-540-24593-3_4
Bertoli P, Pistore M, Traverso P (2006) Automated web service composition by on-the-fly belief space search. In: 26th international conference on automated planning and scheduling, ICAPS’16, pp 358–361
Bertoli P, Pistore M, Traverso P (2010) Automated composition of web services via planning in asynchronous domains. Artif Intell 174(3):316–361. https://doi.org/10.1016/j.artint.2009.12.002
Bucchiarone A, Pistore M, Raik H, Kazhamiakin R (2011) Adaptation of service-based business processes by context-aware replanning. In: IEEE 4th international conference on service-oriented computing and applications (SOCA’11). IEEE. https://doi.org/10.1109/SOCA.2011.6166209
Bylander T (1994) The computational complexity of propositional strips planning. Artif Intell 69(1–2):165–204
Cossu F, Marrella A, Mecella M, Russo A, Bertazzoni G, Suppa M, Grasso F (2012) Improving operational support in hospital wards through vocal interfaces and process-awareness. In: 25th IEEE international symposium on computer-based medical systems (CBMS 2012). IEEE. https://doi.org/10.1109/CBMS.2012.6266329
Cushing W, Weld DS, Kambhampati S, Mausam KT, Talamadupula K (2007) Evaluating temporal planning domains. In: 17th international conference on automated planning and scheduling (ICAPS-07), pp 105–112
De Giacomo G, Maggi FM, Marrella A, Patrizi F (2017) On the disruptive effectiveness of automated planning for LTL\(f\)-based trace alignment. In: Thirty-first AAAI conference on artificial intelligence (AAAI-17). AAAI Press. http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14652
De Giacomo G, Maggi FM, Marrella A, Sardiña S (2016) Computing trace alignment against declarative process models through planning. In: 26th international conference on automated planning and scheduling (ICAPS 2016), pp 367–375. http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094
De Giacomo G, Mecella M, Patrizi F (2014) Automated service composition based on behaviors: the roman model. In: Web services foundations, pp 189–214. Springer. https://doi.org/10.1007/978-1-4614-7518-7_8
Dean TL, Kaelbling LP, Kirman J, Nicholson AE (1993) Planning with deadlines in stochastic domains. In: Eleventh national conference on artificial intelligence (AAAI-93), vol 93, pp 574–579
Di Ciccio C, Marrella A, Russo A (2015) Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J Data Semant. https://doi.org/10.1007/s13740-014-0038-4
Di Francescomarino C, Ghidini C, Tessaris S, Sandoval IV (2015) Completing workflow traces using action languages. In: 27th international conference of advanced information systems engineering (CAiSE’15). Springer. https://doi.org/10.1007/978-3-319-19069-3_20
Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and analysis of BPMN process models using Petri nets. Queensland University of Technology, technical report
Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281–1294
Dumas M, van der Aalst WMP, ter Hofstede AH (2005) Process-aware information systems: bridging people and software through process technology, 1st edn. Wiley, Hoboken. https://doi.org/10.1002/0471741442
Dumas M, La Rosa M, Mendling J, Reijers HA (2013) Fundamentals of business process management, 1st edn. Springer, Berlin. https://doi.org/10.1007/978-3-642-33143-5
de Leoni M, Lanciano G, Marrella A (2018) Aligning partially-ordered process-execution traces and models using automated planning. In: 28th international conference on automated planning and scheduling (ICAPS 2018), pp 321–329. https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17739
de Leoni M, Maggi F.M, van der Aalst WMP (2012) Aligning event logs and declarative process models for conformance checking. In: 10th international conference on business process management (BPM’12). Springer
de Leoni M, Marrella A (2017) Aligning real process executions and prescriptive process models through automated planning. Expert Syst Appl. https://doi.org/10.1016/j.eswa.2017.03.047
de Leoni M, Marrella A, Russo A (2010) Process-aware information systems for emergency management. In: International workshop on emergency management through service oriented architectures (EMSOA) co-located with the service wave 2010 conference, pp 50–58. Springer, Berlin. https://doi.org/10.1007/978-3-642-22760-8_5
Ferreira H, Ferreira D (2006) An integrated life cycle for workflow management based on learning and planning. Int J Coop Inf Syst. https://doi.org/10.1142/S0218843006001463
Fikes RE, Nilsson NJ (1971) STRIPS: a new approach to the application of theorem proving to problem solving. Artif Intell 2(3–4):189–208
Fox M, Long D (2003) Pddl2. 1: an extension to pddl for expressing temporal planning domains. J Artif Intell Res 20:61–124
Francescomarino CD, Ghidini C, Maggi FM, Milani F (2018) Predictive process monitoring methods: which one suits me best? CoRR arXiv:abs/1804.02422
Frederick T (1911) The principles of scientific management. Harper & Brothers, New York
Gajewski M, Meyer H, Momotko M, Schuschel H, Weske M (2005) Dynamic failure recovery of generated workflows. In: 16th international conference on database and expert systems applications (DEXA’05). IEEE Computer Society Press. https://doi.org/10.1109/DEXA.2005.78
Geffner H (2013) Computational models of planning. Wiley Interdiscip Rev Cognit Sci. https://doi.org/10.1002/wcs.1233
Geffner H (2014) Non-classical planning with a classical planner: the power of transformations. In: 14th European conference on logics in AI (JELIA). https://doi.org/10.1007/978-3-319-11558-0_3
Geffner H, Bonet B (2013) A concise introduction to models and methods for automated planning. Morgan & Claypool Publishers, San Rafael. https://doi.org/10.2200/S00513ED1V01Y201306AIM022
Georgievski I, Aiello M (2017) Automated planning for ubiquitous computing. ACM Comput Surv (CSUR) 49(4):63
Gerevini A, Saetti A, Serina I, Toninelli P (2004) LPG-TD: a fully automated planner for PDDL2. 2 domains. In: 14th international conference on automated planning and scheduling (ICAPS-04) international planning competition abstracts
Ghallab M, Nau D, Traverso P (2004) Automated planning: theory and practice
Giunchiglia F, Traverso P (1999) Planning as model checking. In: Recent advances in AI planning. Springer, Berlin, Heidelberg, pp 1–20
Gonzlez-Ferrer A, Fernndez-Olivares J, Castillo L (2013) From business process models to hierarchical task network planning domains. Knowl Eng Rev 28(2):175–193. https://doi.org/10.1017/S0269888912000410
Helmert M (2006) The fast downward planning system. J Artif Intell Res 26:191–246
Henneberger M, Heinrich B, Lautenbacher F, Bauer B (2008) Semantic-based planning of process models. In: Multikonferenz Wirtschaftsinformatik
Hildebrandt T, Mukkamala RR, Slaats T (2011) Nested dynamic condition response graphs. In: International conference on fundamentals of software engineering, pp 343–350. Springer
Hoffmann J, Nebel B (2001) The FF planning system: fast plan generation through heuristic search. J Artif Intell Res 14:253–302
Hoffmann J, Weber I, Kraft F (2010) SAP speaks PDDL. In: 24th national conference of the American Association for Artificial Intelligence (AAAI’10)
Hull R (2008) Artifact-centric business process models: brief survey of research results and challenges. In: On the move to meaningful internet systems: confederated international conferences: CoopIS, DOA-SVI, and ODBASE, LNCS, vol 5332, pp 1152–1163. Springer
Hull R, Motahari Nezhad HR (2016) Rethinking BPM in a cognitive world: transforming how we learn and perform business processes. In: 14th international conference on business process management (BPM’16). Springer. https://doi.org/10.1007/978-3-319-45348-4_1
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: 5th international conference on universal access in human–computer interaction (UAHCI 2009), pp 343–352. Springer, Berlin. https://doi.org/10.1007/978-3-642-02713-0_36
Jarvis P et al (1999) Exploiting AI technologies to realise adaptive workflow systems. In: Proceedings of the AAAI workshop on agent-based systems in the business context
Kaldeli E, Lazovik A, Aiello M (2016) Domain-independent planning for services in uncertain and dynamic environments. Artif Intell 236:30–64
Klusch M, Gerber A (2006) Fast composition planning of owl-s services and application. In: 4th European conference on web services (ECOWS’06), pp 181–190. IEEE
La Rosa M, van der Aalst WMP, Dumas M, Milani FP (2017) Business process variability modeling: a survey. ACM Comput Surv 50(1):2:1–2:45. https://doi.org/10.1145/3041957
Lanz A, Weber B, Reichert M (2014) Time patterns for process-aware information systems. Requir Eng 19(2):113–141
Lasi H, Fettke P, Kemper HG, Feld T (2014) Industry 4.0. Bus Inf Syst Eng 6(4):239–242. https://doi.org/10.1007/s11576-014-0424-4
Laurent Y, Bendraou R, Baarir S, Gervais MP (2014) Planning for declarative processes. In: Proceedings of the 29th annual ACM symposium on applied computing, pp 1126–1133. ACM
Lee J, Bagheri B, Kao HA (2015) A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manuf Lett 3:18–23
Lipovetzky N, Geffner H (2011) Searching for plans with carefully designed probes. In: 21st international conference on automated planning and scheduling (ICAPS ’11), pp 154–161
Lipovetzky N, Geffner H (2017) Best-first width search: exploration and exploitation in classical planning. In: Thirty-first AAAI conference on artificial intelligence (AAAI-17), pp 3590–3596
Maggi FM, Di Francescomarino C, Dumas M, Ghidini C (2014) Predictive monitoring of business processes. In: 26th international conference of advanced information systems engineering (CAiSE’14). Springer. https://doi.org/10.1007/978-3-319-07881-6_31
Maggi FM, Marrella A, Capezzuto G, Cervantes AA (2018) Explaining non-compliance of business process models through automated planning. In: Proceedings of the 16th international conference on service-oriented computing ICSOC, Hanghzou, Zhejang, China, November 12–15, 2018
Marrella A (2018) What automated planning can do for business process management. In: Business process management workshops, pp 7–19. Springer, Cham. https://doi.org/10.1007/978-3-319-74030-0_1
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’13), pp 277–291. Springer, Berlin. https://doi.org/10.1007/978-3-642-38484-4_20
Marrella A, Lespérance Y (2013) Towards a goal-oriented framework for the automatic synthesis of underspecified activities in dynamic processes. In: IEEE 6th international conference on service-oriented computing and applications (SOCA’13), pp 361–365. IEEE. https://doi.org/10.1109/SOCA.2013.43
Marrella A, Lesperance Y (2017) A planning approach to the automated synthesis of template-based process models. Service oriented computing and applications. https://doi.org/10.1007/s11761-017-0215-z
Marrella A, Mecella M (2011) Continuous planning for solving business process adaptivity. In: 12th international conference on business process modeling, development and support (BPMDS’11), pp 118–132. Springer, Berlin. https://doi.org/10.1007/978-3-642-21759-3_9
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)
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). IEEE. https://doi.org/10.4108/icst.collaboratecom.2011.247096. http://ieeexplore.ieee.org/abstract/document/6144823/
Marrella A, Mecella M, Sardina S (2014) SmartPM: an adaptive process management system through situation calculus, IndiGolog, and classical planning. In: 14th international conference on principles of knowledge representation and reasoning (KR’14). AAAI Press. https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7991
Marrella A, Mecella M, Sardina S (2016) Intelligent process adaptation in the SmartPM system. ACM Trans Intell Syst Technol. https://doi.org/10.1145/2948071
Marrella A, Mecella M, Sardiña S (2018) Supporting adaptiveness of cyber-physical processes through action-based formalisms. AI Commun 31(1):47–74. https://doi.org/10.3233/AIC-170748
Marrella A, Russo A, Mecella M (2012) Planlets: automatically recovering dynamic processes in YAWL. In: 20th international conference on cooperative information systems (CoopIS 2012), on the move to meaningful internet systems. Springer, Berlin. https://doi.org/10.1007/978-3-642-33606-5_17
Martínez E, Lespérance Y (2004) Web service composition as a planning task: experiments using knowledge-based planning. In: 14th international conference on automated planning and scheduling (ICAPS-04). Workshop on planning and scheduling for web and grid services, pp 62–69
McCluskey TL, Porteous JM (1997) Engineering and compiling planning domain models to promote validity and efficiency. Artif Intell 95(1):1–65
McDermott D et al (1998) PDDL—the planning domain definition language. Technical report DCS TR-1165, Yale Center for Computational Vision and Control
McDermott DV (2002) Estimated-regression planning for interactions with web services. In: AIPS vol 2, pp 204–211
McIlraith S, Son TC (2002) Adapting golog for composition of semantic web services. In: The eighth international conference on principles of knowledge representation and reasoning (KR’02), vol 2, pp 482–493
Meyer S, Ruppen A, Magerkurth C (2013) Internet of things-aware process modeling: integrating iot devices as business process resources. In: International conference on advanced information systems engineering, pp 84–98. Springer. https://doi.org/10.1007/978-3-642-38709-8_6
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580
Myers KL, Berry PM (1998) Workflow management systems: an AI perspective. AIC-SRI report
Object Management Group (2014) Case management model and notation, version 1.0
Peer J (2005) A pop-based replanning agent for automatic web service composition. In: European semantic web conference, pp 47–61. Springer
Pesic M, Schonenberg H, van der Aalst W (2007) DECLARE: full support for loosely-structured processes. In: 11th IEEE international enterprise distributed object computing conference (EDOC 2007), pp 287–300
Petrick RP, Bacchus F (2004) Extending the knowledge-based approach to planning with incomplete information and sensing. In: 14th international conference on automated planning and scheduling (ICAPS-04), pp 2–11
Pistore M, Traverso P, Bertoli P, Marconi A (2005) Automated synthesis of composite BPEL4WS web services. In: IEEE international conference on web services (ICWS’05). IEEE Computer Society
Pistore M, Traverso P, Bertoli P, Marconi A (2005) Automated synthesis of executable web service compositions from BPEL4WS processes. In: 14th international world wide web conference (WWW’05). ACM
R-Moreno MD, Borrajo D, Cesta A, Oddi A (2007) Integrating planning and scheduling in workflow domains. Exp Syst Appl Int J 33(2):38–406
R-Moreno MD, Kearney P (2002) Integrating AI planning techniques with workflow management system. Knowl Based Syst. https://doi.org/10.1016/S0950-7051(01)00167-8
Ramırez M, Geffner H (2011) Goal recognition over pomdps: inferring the intention of a pomdp agent. In: Twenty-second international joint conference on artificial intelligence (IJCAI’11), pp 2009–2014
Reichert M, Weber B (2012) Enabling flexibility in process-aware information systems—challenges, methods, technologies. Springer. https://doi.org/10.1007/978-3-642-30409-5
Richter S, Westphal M (2010) The LAMA planner: guiding cost-based anytime planning with landmarks. J Artif Intell Res 39:127–177
Rintanen J (2004) Complexity of planning with partial observability. In: 14th international conference on automated planning and scheduling (ICAPS-04), pp 345–354
Russell SJ, Norvig P, Canny JF, Malik JM, Edwards DD (2003) Artificial intelligence: a modern approach, vol 2. Prentice Hall, Upper Saddle River
Schonenberg H, Mans R, Russell N, Mulyar N, van der Aalst W (2008) Process flexibility: a survey of contemporary approaches. In: Advances in enterprise engineering I, pp 16–30. Springer
Schuschel H, Weske M (2004) Triggering replanning in an integrated workflow planning and enactment system. In: ADBIS’04
Seiger R, Keller C, Niebling F, Schlegel T (2014) Modelling complex and flexible processes for smart cyber-physical environments. J Comput Sci. https://doi.org/10.1016/j.jocs.2014.07.001
Shah M, Chrpa L, Jimoh F, Kitchin D, McCluskey T, Parkinson S, Vallati M (2013) Knowledge engineering tools in planning: state-of-the-art and future challenges. Knowl Eng Plan Sched 53
Sheshagiri M, DesJardins M, Finin T (2003) A planner for composing services described in DAML-S. In: 13th international conference on automated planning and scheduling (ICAPS-03). Workshop on planning for web services
Sohrabi S, Prokoshyna N, McIlraith SA (2006) Web service composition via generic procedures and customizing user preferences. In: 5th international semantic web conference (ISWC 2006). Springer, Berlin, Heidelberg, pp 597–611
Traverso P, Pistore M (2004) Automated composition of semantic web services into executable processes. In: 3rd international semantic web conference (ISWC 2004). Springer, Berlin, Heidelberg, pp 380–394
van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(01):21–66
van der Aalst WMP (2000) Workflow verification: finding control-flow errors using petri-net-based techniques. In: Business process management: models, techniques, and empirical studies. Springer, Berlin, Heidelberg, pp 161–183. https://doi.org/10.1007/3-540-45594-9_11
van der Aalst WMP (2013) Business process management: a comprehensive survey. ISRN Softw Eng. https://doi.org/10.1155/2013/507984
van der Aalst WMP (2016) Process mining: data science in action. Springer, Berlin
Valdes M (2017) Intelligent continuous improvement, when BPM meets AI
van Beest NR, Kaldeli E, Bulanov P, Wortmann JC, Lazovik A (2014) Automated runtime repair of business processes. Inf Syst. https://doi.org/10.1016/j.is.2013.07.003
Van De Belt TH, Engelen L, Berben S, Schoonhoven L (2010) Definition of health 2.0 and medicine 2.0: a systematic review. J Med Int Res. https://doi.org/10.2196/jmir.1350
Weske M (2012) Business process management: concepts, languages, architectures, 2nd edn. Springer (2012). https://doi.org/10.1007/978-3-642-28616-2
Wilkins DE (2014) Practical planning: extending the classical AI planning paradigm. Elsevier, Amsterdam
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Marrella, A. Automated Planning for Business Process Management. J Data Semant 8, 79–98 (2019). https://doi.org/10.1007/s13740-018-0096-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13740-018-0096-0