Automated runtime repair of business processes

Information Systems

Volumn 39, Issue 1, 2014, Pages 45-79

  Van Beest, N R T P ^a   Kaldeli, E ^a   Bulanov, P ^a   Wortmann, J C ^a   Lazovik, A ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Business process management; e Government; Process interference; Run time process repair

Indexed keywords

BUSINESS OUTCOMES; BUSINESS PROCESS MANAGEMENT; COMPLEX PROCESSES; DISTRIBUTED SERVICE; E-GOVERNMENT; MUTUAL INTERFERENCE; PROCESS EXECUTION; RUNTIMES;

ENTERPRISE RESOURCE MANAGEMENT; GOVERNMENT DATA PROCESSING; SPECIFICATIONS;

REPAIR;

EID: 84883482586     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2013.07.003     Document Type: Article

References (64)

1. Oracle JMS, 2002 http://docs.oracle.com/javaee/1.3/jms/tutorial/ .
2. Semantic markup for web services: OWL-S, 2004 www.w3.org/Submission/OWL-S .
3. Web service semantics: WSDL-S, 2005 www.w3.org/Submission/WSDL-S .
4. WSBPEL web services business process execution language, 2007 www.oasis-open.org/committees/wsbpel .
5. T. Au, U. Kuter, D. Nau, Web service composition with volatile information, in: Proceedings of the 4th International Semantic Web Conference (ISWC), 2005, pp. 52-66.
6. C. Beckstein, and J. Klausner A meta level architecture for workflow management Journal of Integrated Design and Process Science 3 1999 15 26
7. A. Bucchiarone, M. Pistore, H. Raik, R. Kazhamiakin, Adaptation of service-based business processes by context-aware replanning, in: 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), IEEE, 2011, pp. 1-8.
8. A. Bucchiarone, A. Marconi, M. Pistore, H. Raik, Dynamic adaptation of fragment-based and context-aware business processes, in: 19th IEEE International Conference on Web Services (ICWS), 2012, pp. 33-41.
9. M. Caruso, C. Di Ciccio, E. Iacomussi, E. Kaldeli, A. Lazovik, M. Mecella, Service ecologies for home/building automation, in: Proceedings of the 10th IFAC Symposium on Robot Control (SYROCO), 2012.
10. M. Comuzzi, J. Vonk, and P.W.P.J. Grefen Measures and mechanisms for process monitoring in evolving business networks Data and Knowledge Engineering 71 1 2012 1 28
11. P. Dadam, and M. Reichert The ADEPT project a decade of research and development for robust and flexible process support Computer Science - R & D 23 2009 81 97
12. G. de Giacomo, Y. Lespérance, and H.J. Levesque Congolog, a concurrent programming language based on the situation calculus Artificial Intelligence 121 August (1-2) 2000 109 169
13. M. De Leoni, M. Mecella, G. De Giacomo, Highly dynamic adaptation in process management systems through execution monitoring, in: BPM 2007, pp. 182-197.
14. M. De Leoni, G. De Giacomo, Y. Lespèrance, M. Mecella, On-line adaptation of sequential mobile processes running concurrently, in: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC '09, ACM, 2009, pp. 1345-1352.
15. H.M. Ferreira, and D.R. Ferreira An integrated life cycle for workflow management based on learning and planning International Journal of Cooperative Information Systems 15 2006 485 505
16. G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni Exception handling for repair in service-based processes IEEE Transactions on Software Engineering 36 2 2010 198 215
17. M. Ghallab, D. Nau, and P. Traverso Automated Planning Theory and Practice 2004 Morgan Kaufmann
18. H. Gomaa, K. Hashimoto, M. Kim, S. Malek, D.A. Menascé, Software adaptation patterns for service-oriented architectures, in: Proceedings of the 25th Symposium on Applied Computing, SAC'10, ACM, 2010, pp. 462-469.
19. K. Göser, M. Jurisch, H. Acker, U. Kreher, M. Lauer, S. Rinderle, M. Reichert, P. Dadam, Next-generation process management with ADEPT2, 2007. CEUR-WS.org Workshop Proceedings, BPM'07 in: Demo Proceedings, vol. 272, pp 3-6. http://dbis.eprints.uni-ulm.de/89/.
20. H. Groefsema, D. Bucur, A survey of formal business process verification: from soundness to variability, in: Proceedings of International Symposium on Business Modeling and Software Design (BMSD), in press.
21. M. Helmert Concise finite-domain representations for pddl planning tasks Artificial Intelligence 173 2009 503 535
22. M. Henneberger, B. Heinrich, F. Lautenbacher, B. Bauer, Semantic-based planning of process models, in: Multikonferenz Wirtschaftsinformatik (MKWI), GITO-Verlag, Berlin, 2008.
23. J. Hoffmann, and B. Nebel The ff planning system fast plan generation through heuristic search Journal of Artificial Intelligence Research 14 2001 253 302
24. J. Hoffmann, I. Weber, F. Kraft, SAP Speaks PDDL, in: 4th National Conference of the American Association for Artificial Intelligence (AAAI'10), 2010.
25. P. Jarvis, J. Moore, J. Stader, A. Macintosh, A. Casson-du Mont, P. Chung, Exploiting ai technologies to realise adaptive workflow systems, in: Proceedings of the AAAI Workshop on Agent-Based Systems in the Business Context, 1999, AAAI Technical Report WS-99-02, 1999.
26. E. Kaldeli, A. Lazovik, M. Aiello, Extended goals for composing services, in: Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), AAAI Press, 2009.
27. E. Kaldeli, E.U. Warriach, J. Bresser, A. Lazovik, M. Aiello, Interoperation, composition and simulation of services at home, in: Proceedings of the 8th International Conference on Service Oriented Computing (ICSOC), Lecture Notes in Computer Science, vol. 6470, Springer, 2010, pp. 167-181.
28. E. Kaldeli, A. Lazovik, M. Aiello, Continual planning with sensing for web service composition, In: Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), 2011, pp. 1198-1203.
29. E. Kaldeli, E.U. Warriach, A. Lazovik, M. Aiello, Coordinating the web of services for a smart home, ACM Transactions on the Web, ACM 7 (2) (2013) 10.
30. O. Kopp, D. Martin, D. Wutke, F. Leymann, On the choice between graph-based and block-structured business process modeling languages, in: Modellierung betrieblicher Informationssysteme (MobIS 2008), Lecture Notes in Informatics (LNI), vol. 141, Gesellschaft für Informatik e.V. (GI), 2008, pp. 59-72.
31. G. Li, V. Muthusamy, and H.A. Jacobsen A distributed service-oriented architecture for business process execution ACM Transactions on the Web 4 2010 2:1 2:33
32. Y. Li, J. Sun, J.S. Dong, Y. Liu, J. Sun, Translating pddl into csp# - the pat approach, in: 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, pp. 240-249.
33. S. Liaskos, S.M. Khan, M. Litoiu, M.D. Jungblut, V. Rogozhkin, and J. Mylopoulos Behavioral adaptation of information systems through goal models Information Systems 37 8 2012 767 783
34. T. Madhusudan, J.L. Zhao, and B. Marshall A case-based reasoning framework for workflow model management Data Knowledge Engineering 50 2004 87 115
35. A. Marrella, Y. Lespérance, Synthesizing a library of process templates through partial-order planning algorithms, in: 14th International Conference on Enterprise, Business-Process and Information Systems Modeling (BPMDS), 2013, pp. 277-291.
36. A. Marrella, M. Mecella, Continuous planning for solving business process adaptivity, in: 12th International Working Conference on Business Process Modeling, Development and Support (BPMDS-11), 2011.
37. A. Marrella, M. Mecella, A. Russo, Featuring automatic adaptivity through workflow enactment and planning, in: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2011, pp. 372-381.
38. A. Marrella, A. Russo, M. Mecella, Planlets: automatically recovering dynamic processes in YAWL, in: On the Move to Meaningful Internet Systems (OTM), Confederated International Conferences (CoopIS), 2012, pp. 268-286.
39. D. McDermott, AIPS-98 Planning Competition Committee, PDDL: The Planning Domain Definition Language, Technical Report CVC TR98003/DCS TR1165, 1998.
40. M. Minor, R. Bergmann, S. Görg, Case-based adaptation of workflows, Information Systems, Available online 22 December 2012, ISSN 0306-4379, http://dx.doi.org/10.1016/j.is.2012.11.011.
41. S. Morimoto, A survey of formal verification for business process modeling, in: Proceedings of 8th International Conference on Computational Science, Part II, ICCS, Springer-Verlag, 2008, pp. 514-522, ISBN 978-3-540-69386-4, http://dx.doi.org/10.1007/978-3-540-69387-1-58.
42. R. Müller, U. Greiner, and E. Rahm Agentwork a workflow system supporting rule-based workflow adaptation Data and Knowledge Engineering 51 2004 223 256
43. D. Nau, O. Ilghami, U. Kuter, J.W. Murdock, D. Wu, and F. Yaman Shop2 an htn planning system Journal of Artificial Intelligence Research 20 2003 379 404
44. C. Ouyang, M. Dumas, A.H.M. Ter Hofstede, W.M.P. Van Der Aalst, From BPMN process models to BPEL web services, in: International Conference on Web Services (ICWS), 2006, pp. 285-292.
45. M. Pistore, A. Marconi, P. Bertoli, P. Traverso, Automated composition of web services by planning at the knowledge level, in: 19th International Joint Conference on Artificial Intelligence, 2005, pp. 1252-1259.
46. M. Reichert, P. Dadam, Enabling adaptive process-aware information systems with adept2, in: J. Cardoso, W.M.P. Van Der Aalst (Eds.), Handbook of Research on Business Process Modeling, Information Science Reference, Hershey, New York, 2009, pp. 173-203, ISBN 978-1605662886.
47. S. Richter, and M. Westphal The lama planner guiding cost-based anytime planning with landmarks Journal of Artificial Intelligence Research (JAIR) 39 2010 127 177
48. M.D. Rodríguez-Moreno, and P. Kearney Integrating ai planning techniques with workflow management system Knowledge-Based Systems 15 5-6 2002 285 291
49. M.D. Rodríguez-Moreno, D. Borrajo, A. Cesta, and A. Oddi Integrating planning and scheduling in workflow domains Expert Systems and Applications 33 2 2007 389 406
50. D. Shaparau, M. Pistore, P. Traverso, Contingent planning with goal preferences, in: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), AAAI Press, 2006, pp. 927-934.
51. S. Sohrabi, S.A. McIlraith, Preference-based web service composition: a middle ground between execution and search, in: Proceedings of 9th International Semantic Web Conference (ISWC), 2010, pp. 713-729.
52. T.H. Tan, E. André, J. Sun, Y. Liu, J.S. Dong, M. Chen, Dynamic synthesis of local time requirement for service composition, in: 35th International Conference on Software Engineering (ICSE), 2013.
53. N. Trčka, W.M.P. Van Der Aalst, N. Sidorova, Data-flow anti-patterns: discovering data-flow errors in workflows, in: Proceedings of the 21st International Conference on Advanced Information Systems Engineering - CAiSE '09, Lecture Notes in Computer Science, vol. 5565, Springer-Verlag, 2009, pp. 425-439.
54. S.D. Urban, L. Gao, R. Shrestha, A. Courter, The dynamics of process modeling: new directions for the use of events and rules in service-oriented computing, in: The Evolution of Conceptual Modeling, Lecture Notes in Computer Science, vol. 6520, Springer-Verlag, 2011, pp. 205-224.
55. N.R.T.P. Van Beest, P. Bulanov, J.C. Wortmann, A. Lazovik, Resolving business process interference via dynamic reconfiguration, in: Proceedings of 8th International Conference on Service Oriented Computing (ICSOC), Springer, 2010, pp. 47-60.
56. N.R.T.P. Van Beest, N.B. Szirbik, J.C. Wortmann, Assessing the interference in concurrent business processes, in: Proceedings of 12th International Conference on Enterprise Information Systems (ICEIS), 2010, pp. 261-270.
57. N.R.T.P. Van Beest, E. Kaldeli, P. Bulanov, J.C. Wortmann, A. Lazovik, Automatic detection of business process interference, in: International Workshop on Knowledge-Intensive Business Processes (KiBP'12), Rome, Italy, 2012, Invited Paper.
58. Wil M.P. van der Aalst, and Arthur H.M. ter Hofstede YAWL yet another workflow language Information Systems 30 4 2005 245 275
59. W.M.P. Van Der Aalst, Verification of workflow nets, in: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN '97, Springer-Verlag, 1997, pp. 407-426.
60. L. Vargas, J. Bacon, K. Moody, Integrating databases with publish/subscribe, in: Proceedings of the 4th International Workshop on Distributed Event-Based Systems (DEBS), International Conference on Distributed Computing Systems Workshops (ICDCSW), IEEE Computer Society, 2005, pp. 392-397.
61. B. Weber, W. Wild, R. Breu, CBRFlow: enabling adaptive workflow management through conversational case-based reasoning, in: 7th European Conference on Advances in Case-Based Reasoning (ECCBR), 2004, pp. 434-448.
62. I. Weber, J. Hoffmann, and J. Mendling Beyond soundness on the verification of semantic business process models Distributed and Parallel Databases 27 2010 271 343
63. Y. Xiao, S.D. Urban, Process dependencies and process interference rules for analyzing the impact of failure in a service composition environment, in: Proceedings of the 10th International Conference on Business Information Systems, Lecture Notes in Computer Science, vol. 4439, Springer, Berlin, Heidelberg, 2007, pp. 67-81.
64. Y. Xiao, S.D. Urban, Using data dependencies to support the recovery of concurrent processes in a service composition environment, in: Proceedings of the 16th International Conference on Cooperative Information Systems, 2008, pp. 139-156.