Table of Contents
ISRN Software Engineering
Volume 2013, Article ID 507984, 37 pages
http://dx.doi.org/10.1155/2013/507984
Review Article

Business Process Management: A Comprehensive Survey

Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, 5612 AZ Eindhoven, The Netherlands

Received 16 August 2012; Accepted 6 September 2012

Academic Editors: F. Barros, X. He, J. A. Holgado-Terriza, and C. Rolland

Copyright © 2013 Wil M. P. van der Aalst. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. W. M. P. van der Aalst, “Business process management demystified: a tutorial on models, systems and standards for workflow management,” in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg, Eds., vol. 3098 of Lecture Notes in Computer Science, pp. 1–65, Springer-Verlag, Berlin, Germany, 2004. View at Google Scholar
  2. M. Weske, Business Process Management: Concepts, Languages, Architectures, Springer-Verlag, Berlin, Germany, 2007.
  3. W. M. P. van der Aalst, A. H. M. ter Hofstede, and M. Weske, “Business process management: a survey,” in Proceedings of the International Conference on Business Process Management (BPM '03), W. M. P. van der Aalst, A. H. M. ter Hofstede, and M. Weske, Eds., vol. 2678 of Lecture Notes in Computer Science, pp. 1–12, Springer-Verlag, Berlin, 2003.
  4. W. M. P. van der Aalst and K. M. van Hee, Workflow Management: Models, Methods, and Systems, MIT press, Cambridge, Mass, USA, 2004.
  5. S. Jablonski and C. Bussler, Workflow Management: Modeling Concepts, Architecture, and Implementation, International Thomson Computer Press, London, UK, 1996.
  6. F. Leymann and D. Roller, Production Workflow: Concepts and Techniques, Prentice-Hall, Upper Saddle River, NJ, USA, 1999.
  7. M. Dumas, W. M. P. van der Aalst, and A. H. M. ter Hofstede, Process-Aware Information Systems: Bridging People and Software through Process Technology, Wiley & Sons, New York, NY, USA, 2005.
  8. W. M. P. van der Aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer-Verlag, Berlin, Germany, 2011.
  9. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, “Workflow patterns,” Distributed and Parallel Databases, vol. 14, no. 1, pp. 5–51, 2003. View at Publisher · View at Google Scholar · View at Scopus
  10. M. Zur Muehlen and J. Recker, “How much language is enough? Theoretical and practical use of the business process modeling notation,” in Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE '08), Z. Bellahsene and M. L. Leonard, Eds., vol. 5074 of Lecture Notes in Computer Science, pp. 465–479, Springer-Verlag, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at Scopus
  11. E. F. Codd, “A relational model for large shared data banks,” Communications of the ACM, vol. 13, no. 6, pp. 377–387, 1970. View at Publisher · View at Google Scholar · View at Scopus
  12. P. P. Chen, “The entity-relationship model: towards a unified view of data,” ACM Transactions on Database Systems, vol. 1, pp. 9–36, 1976. View at Google Scholar
  13. W. M. P. van der Aalst, “The application of Petri nets to workflow management,” Journal of Circuits, Systems and Computers, vol. 8, no. 1, pp. 21–66, 1998. View at Google Scholar · View at Scopus
  14. C. A. Ellis, “Information control nets: a mathematical model of office information flow,” in Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, pp. 225–240, ACM Press, Boulder, Colo, USA, 1979.
  15. C. A. Ellis and G. Nutt, “Workflow: the process spectrum,” in Proceedings of the NSF Workshop on workflow and Process Automation in Information Systems, A. Sheth, Ed., pp. 140–145, Athens, Ga, USA, May 1996.
  16. C. A. Ellis and G. J. Nutt, “Office information systems and computer science,” Computing surveys, vol. 12, no. 1, pp. 27–60, 1980. View at Google Scholar · View at Scopus
  17. A. W. Holt, “Coordination technology and Petri Nets,” in Advances in Petri Nets, G. Rozenberg, Ed., vol. 222 of Lecture Notes in Computer Science, pp. 278–296, Springer-Verlag, Berlin, Germany, 1985. View at Google Scholar
  18. A. W. Holt, H. Saint, R. Shapiro, and S. Warshall, “Final report on the information systems theory troject,” Tech. Rep. RADC-TR-68-305, Griffiss Air Force Base, New York, NY, USA, 1968. View at Google Scholar
  19. M. zur Muehlen, Workflow-Based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems, Logos, Berlin, Germany, 2004.
  20. M. D. Zisman, Representation, specification and automation of office procedures [Ph.D. thesis], University of Pennsylvania, Warton School of Business, Pennsylvania, Pa, USA, 1977.
  21. M. D. Zisman, “Office automation: revolution or evolution,” Sloan Management Review, vol. 19, no. 3, pp. 1–16, 1978. View at Google Scholar · View at Scopus
  22. M. D. Zisman, “Use of production systems for modeling asynchronous concurrent processes,” Pattern-Directed Inference Systems, pp. 53–68, 1978. View at Google Scholar
  23. C. A. Ellis and G. J. Nutt, Computer Science and Office Information Systems, Palo Alto Research Center Xerox, Palo Alto, Calif, USA, 1979.
  24. N. Russell, W. M. P. van der Aalst, A. H. M. ter Hofstede, and D. Edmond, “Workflow resource patterns: identification, representation and tool support,” in Proceedings of the 17th International Conference on Advanced Information Systems Engineering (CAiSE '05), pp. 216–232, June 2005. View at Scopus
  25. N. Russell, A. H. M. ter Hofstede, D. Edmond, and W. M. P. van der Aalst, “Workflow data patterns: identification, representation and tool support,” in Proceedings of the 24nd International Conference on Conceptual Modeling (ER '05), L. Delcambre, C. Kop, H. C. Mayr, J. Mylopoulos, and O. Pastor, Eds., vol. 3716 of Lecture Notes in Computer Science, pp. 353–368, Springer-Verlag, Berlin, Germany, 2005.
  26. W. M. P. van der Aalst, A. H. M. ter Hofstede, and M. Weske, Eds., International Conference on Business Process Management (BPM 2003), vol. 2678 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2003.
  27. J. Desel, B. Pernici, and M. Weske, Eds., International Conference on Business Process Management (BPM 2004), vol. 3080 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2004.
  28. W. M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, Eds., International Conference on Business Process Management (BPM 2005), vol. 3649 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2005.
  29. S. Dustdar, J. L. Fiadeiro, and A. Sheth, Eds., International Conference on Business Process Management (BPM 2006), vol. 4102 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2006.
  30. G. Alonso, P. Dadam, and M. Rosemann, Eds., International Conference on Business Process Management (BPM 2007), vol. 4714 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2007.
  31. M. Dumas, M. Reichert, and M. C. Shan, Eds., International Conference on Business Process Management (BPM 2008), vol. 5240 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2008.
  32. U. Dayal, J. Eder, J. Koehler, and H. Reijers, Eds., International Conference on Business Process Management (BPM 2009), vol. 5701 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2009.
  33. R. Hull, J. Mendling, and S. Tai, Eds., International Conference on Business Process Management (BPM 2010), vol. 6336 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2010.
  34. S. Rinderle, F. Toumani, and K. Wolf, Eds., International Conference on Business Process Management (BPM 2011), vol. 6896 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2011.
  35. A. Barros, A. Gal, and E. Kindler, Eds., International Conference on Business Process Management (BPM 2012), vol. 7481 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2012.
  36. W. M. P. van der Aalst, J. Desel, and A. Oberweis, Eds., Business Process Management: Models, Techniques, and Empirical Studies, vol. 1806 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2000.
  37. H. Smith and P. Fingar, Business Process Management: The Third Wave, Meghan Kiffer Press, Tampa, Fla, USA, 2006.
  38. A. H. M. ter Hofstede, W. M. P. van der Aalst, M. Adams, and N. Russell, Modern Business Process Automation: YAWL and its Support Environment, Springer-Verlag, Berlin, Germany, 2010.
  39. M. Reichert and B. Weber, Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies, Springer-Verlag, Berlin, Germany, 2012.
  40. D. Georgakopoulos, M. Hornick, and A. Sheth, “An overview of workflow management: from process modeling to workflow automation infrastructure,” Distributed and Parallel Databases, vol. 3, no. 2, pp. 119–153, 1995. View at Publisher · View at Google Scholar · View at Scopus
  41. R. Medina-Mora, T. Winograd, R. Flores, and F. Flores, “Action workflow approach to workflow management technology,” in Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW '92), pp. 281–288, 1992. View at Scopus
  42. B. Ludäscher, I. Altintas, C. Berkley et al., “Scientific workflow management and the Kepler system,” Concurrency Computation Practice and Experience, vol. 18, no. 10, pp. 1039–1065, 2006. View at Publisher · View at Google Scholar · View at Scopus
  43. J. Manyika, M. Chui, B. Brown et al., Big Data: The Next Frontier for Innovation, Competition, and Productivity, McKinsey Global Institute, 2011.
  44. W. van der Aalst, T. Weijters, and L. Maruster, “Workflow mining: discovering process models from event logs,” IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 9, pp. 1128–1142, 2004. View at Publisher · View at Google Scholar · View at Scopus
  45. F. Gottschalk, W. M. P. van der Aalst, and H. M. Jansen-Vullers, “Configurable process models: a foundational approach,” in Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models, J. Becker and P. Delfmann, Eds., pp. 59–78, Physica-Verlag, Springer, Germany, 2007. View at Google Scholar
  46. M. Rosemann and W. M. P. van der Aalst, “A configurable reference modelling language,” Information Systems, vol. 32, no. 1, pp. 1–23, 2007. View at Publisher · View at Google Scholar · View at Scopus
  47. F. Gottschalk, W. M. P. van der Aalst, M. H. Jansen-Vullers, and M. La Rosa, “Configurable workflow models,” International Journal of Cooperative Information Systems, vol. 17, no. 2, pp. 177–221, 2008. View at Publisher · View at Google Scholar · View at Scopus
  48. T. Curran and G. Keller, SAP R/3 Business Blueprint: Understanding the Business Process Reference Model, Prentice Hall, Upper Saddle River, NJ, USA, 1997.
  49. J. Becker, P. Delfmann, and R. Knackstedt, “Adaptive reference modeling: integrating configurative and generic adaptation techniques for information models,” in Reference Modeling: Efficient Information Systems Design through Reuse of Information Models, J. Becker and P. Delfmann, Eds., pp. 27–58, Physica; Springer, Heidelberg, Germany, 2007. View at Google Scholar
  50. P. Fettke and P. Loos, “Classification of reference models-a methodology and its application,” Information Systems and e-Business Management, vol. 1, no. 1, pp. 35–53, 2003. View at Publisher · View at Google Scholar
  51. W. M. P. van der Aalst, N. Lohmann, and M. La Rosa, “Ensuring correctness during process configuration via partner synthesis,” Information Systems, vol. 37, no. 6, pp. 574–592, 2012. View at Google Scholar
  52. W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede et al., “Soundness of workflow nets: classification, decidability, and analysis,” Formal Aspects of Computing, vol. 23, no. 3, pp. 333–363, 2011. View at Publisher · View at Google Scholar · View at Scopus
  53. D. Fahland and W. M. P. van der Aalst, “Repairing process models to reflect reality,” in Proceedings of the International Conference on Business Process Management (BPM '12), A. Barros, A. Gal, and E. Kindler, Eds., vol. 7481 of Lecture Notes in Computer Science, pp. 229–245, Springer-Verlag, Berlin, Germany, 2012.
  54. W. M. P. van der Aalst, “A decade of business process management conferences: personal reflections on a developing discipline,” in Proceedings of the International Conference on Business Process Management (BPM '12), A. Barros, A. Gal, and E. Kindler, Eds., vol. 7481 of Lecture Notes in Computer Science, pp. 1–16, Springer-Verlag, Berlin, Germany, 2012.
  55. D. Fahland, C. Favre, B. Jobstmann et al., “Instantaneous soundness checking of industrial business process models,” in Proceedings of the Business Process Management (BPM '09), U. Dayal, J. Eder, J. Koehler, and H. Reijers, Eds., vol. 5701 of Lecture Notes in Computer Science, pp. 278–293, Springer-Verlag, Berlin, Germany, 2009.
  56. R. Dijkman, M. Dumas, and L. Garcia-Banuelos, “Graph matching algorithms for business process model similarity search,” in Proceedings of the Business Process Management (BPM '09), U. Dayal, J. Eder, J. Koehler, and H. Reijers, Eds., vol. 5701 of Lecture Notes in Computer Science, pp. 48–63, Springer-Verlag, Berlin, Germany, 2009.
  57. OMG, Business Process Model and Notation (BPMN), Object Management Group, Needham, Mass, USA, 2011.
  58. S. A. White, A. Agrawal, and M. Anthony, Business Process Modeling Notation (BPML), Version 1.0, 2004.
  59. G. Keller, M. Nüttgens, and A. W. Scheer, Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, University of Saarland, Saarbrücken, Germany, 1992.
  60. G. Keller and T. Teufel, SAP R/3 Process Oriented Implementation, Addison-Wesley, Reading, Mass, USA, 1998.
  61. A. W. Scheer, Business Process Engineering: Reference Models for Industrial Enterprises, Springer-Verlag, Berlin, Germany, 1994.
  62. A. Alves, A. Arkin, S. Askary et al., Web Services Business Process Execution Language Version 2.0 (OASIS Standard). WS-BPEL TC OASIS http://docs.oasisopen.org/wsbpel/2.0/wsbpel-v2.0.html, 2007.
  63. C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede, “Formal semantics and analysis of control flow in WS-BPEL,” Science of Computer Programming, vol. 67, no. 2-3, pp. 162–198, 2007. View at Publisher · View at Google Scholar · View at Scopus
  64. C. Ouyang, M. Dumas, W. M. P. van der Aalst, A. H. M. ter Hofstede, and J. Mendling, “From business process models to process-oriented software systems,” ACM Transactions on Software Engineering and Methodology, vol. 19, no. 1, pp. 1–37, 2009. View at Google Scholar
  65. W. M. P. van der Aalst, “Formalization and verification of event-driven process chains,” Information and Software Technology, vol. 41, no. 10, pp. 639–650, 1999. View at Publisher · View at Google Scholar · View at Scopus
  66. E. Kindler, “On the semantics of EPCs: resolving the vicious circle,” Data and Knowledge Engineering, vol. 56, no. 1, pp. 23–40, 2006. View at Publisher · View at Google Scholar · View at Scopus
  67. H. Völzer, “A new semantics for the inclusive converging gateway in safe processes,” in Proceedings of the Business Process Management (BPM '10), R. Hull, J. Mendling, and S. Tai, Eds., vol. 6336 of Lecture Notes in Computer Science, pp. 294–309, Springer-Verlag, Berlin, Germany, 2010. View at Publisher · View at Google Scholar · View at Scopus
  68. M. T. Wynn, H. M. W. Verbeek, W. M. P. van der Aalst, A. H. M. ter Hofstede, and D. Edmond, “Business process verification: finally a reality!,” Business Process Management Journal, vol. 15, no. 1, pp. 74–92, 2009. View at Publisher · View at Google Scholar
  69. W. M. P. van der Aalst, J. Desel, and E. Kindler, “On the semantics of EPCs: a vicious circle,” in Proceedings of the EPK 2002: Business Process Management Using EPCs, M. Nüttgens and F. J. Rump, Eds., pp. 71–80, Gesellschaft fürInformatik, Bonn, Trier, Germany, November 2002.
  70. W. M. P. van der Aalst, M. Pesic, and H. Schonenberg, “Declarative workflows: balancing between flexibility and support,” Computer Science: Research and Development, vol. 23, no. 2, pp. 99–113, 2009. View at Publisher · View at Google Scholar · View at Scopus
  71. M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari, “Declarative specification and verification of service choreographiess,” ACM Transactions on the Web, vol. 4, no. 1, p. 3, 2010. View at Publisher · View at Google Scholar · View at Scopus
  72. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, The MIT Press, London, UK, 1999.
  73. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer, New York, NY, USA, 1991.
  74. W. M. P. van der Aalst, P. Barthelmess, C. A. Ellis, and J. Wainer, “Proclets: a framework for lightweight interacting workflow processes,” International Journal of Cooperative Information Systems, vol. 10, no. 4, pp. 443–481, 2001. View at Publisher · View at Google Scholar · View at Scopus
  75. ACSI, Artifact-Centric Service Interoperation (ACSI) Project Home Page, http://www.acsi-project.eu/.
  76. K. Bhattacharya, C. Gerede, R. Hull, R. Liu, and J. Su, “Towards formal analysis of artifact-centric business process models,” in Proceedings of the International Conference on Business Process Management (BPM '07), G. Alonso, P. Dadam, and M. Rosemann, Eds., vol. 4714 of Lecture Notes in Computer Science, pp. 288–304, Springer-Verlag, Berlin, Germany, 2007.
  77. D. Cohn and R. Hull, “Business artifacts: a data-centric approach to modeling business operations and processes,” IEEE Data Engineering Bulletin, vol. 32, no. 3, pp. 3–9, 2009. View at Google Scholar
  78. D. Fahland, M. De Leoni, B. van Dongen, and W. M. P. van der Aalst, “Many-to-many: some observations on interactions in artifact choreographies,” in Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS '11), D. Eichhorn, A. Koschmider, and H. Zhang, Eds., CEUR Workshop Proceedings, 2011, http://ceur-ws.org/.
  79. N. Lohmann, “Compliance by design for artifact-centric business processes,” in Business Process Management BPM, S. Rinderle, F. Toumani, and K. Wolf, Eds., vol. 6896 of Lecture Notes in Computer Science, pp. 99–115, Springer, Berlin, Germany edition, 2011. View at Google Scholar
  80. A. Nigam and N. S. Caswell, “Business artifacts: an approach to operational specification,” IBM Systems Journal, vol. 42, no. 3, pp. 428–445, 2003. View at Google Scholar · View at Scopus
  81. J. Mendling, H. A. Reijers, and W. M. P. van der Aalst, “Seven process modeling guidelines (7PMG),” Information and Software Technology, vol. 52, no. 2, pp. 127–136, 2010. View at Publisher · View at Google Scholar · View at Scopus
  82. M. La Rosa, A. H. M. ter Hofstede, P. Wohed, H. A. Reijers, J. Mendling, and W. M. P. van der Aalst, “Managing process model complexity via concrete syntax modifications,” IEEE Transactions on Industrial Informatics, vol. 7, no. 2, pp. 255–265, 2011. View at Publisher · View at Google Scholar · View at Scopus
  83. M. La Rosa, P. Wohed, J. Mendling, A. H. M. ter Hofstede, H. A. Reijers, and W. M. P. van der Aalst, “Managing process model complexity via abstract syntax modifications,” IEEE Transactions on Industrial Informatics, vol. 7, no. 4, pp. 614–629, 2011. View at Google Scholar
  84. A. A. Abdul, G. K. T. Wei, G. M. Muketha, and W. P. Wen, “Complexity metrics for measuring the understandability and maintainability of business process models using goal- question-metric (GQM),” International Journal of Computer Science and Network Security, vol. 8, no. 5, pp. 219–225, 2008. View at Google Scholar
  85. K. B. Lassen and W. M. P. van der Aalst, “Complexity metrics for workflow nets,” Information and Software Technology, vol. 51, no. 3, pp. 610–626, 2009. View at Publisher · View at Google Scholar · View at Scopus
  86. J. Mendling, H. A. Reijers, and J. Cardoso, “What makes process models understandable?” in Proceedings of the International Conference on Business Process Management (BPM '07), G. Alonso, P. Dadam, and M. Rosemann, Eds., vol. 4714 of Lecture Notes in Computer Science, pp. 48–63, Springer-Verlag, Berlin, Germany, 2007.
  87. J. Recker, M. zur Muehlen, K. Siau, J. Erickson, and M. Indulska, “Measuring method complexity: UML versus BPMN,” in Proceedings of the Americas Conference on Information Systems (AMCIS '09), pp. 1–12, AIS, 2009.
  88. V. Gruhn and R. Laue, “Reducing the cognitive complexity of business process models,” in 2009 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, pp. 339–345, hkg, June 2009. View at Publisher · View at Google Scholar · View at Scopus
  89. A. Streit, B. Pham, and R. Brown, “Visualization support for managing large business process specifications,” in 3rd Internaional Conference on Business Process Management, (BPM '05), pp. 205–219, 2005. View at Scopus
  90. B. Weber, M. Reichert, J. Mendling, and H. A. Reijers, “Refactoring large process model repositories,” Computers in Industry, vol. 62, no. 5, pp. 467–486, 2011. View at Publisher · View at Google Scholar · View at Scopus
  91. Workflow Patterns, http://www.workflowpatterns.com/.
  92. N. Russell, W. M. P. van der Aalst, and A. H. M. ter Hofstede, “Workflow exception patterns,” in Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE '06), E. Dubois and K. Pohl, Eds., vol. 4001 of Lecture Notes in Computer Science, pp. 288–302., Springer-Verlag, Berlin, Germany, 2006.
  93. A. Barros, M. Dumas, and A. ter Hofstede, “Service interaction patterns,” in International Conference on Business Process Management (BPM' 05), W. M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, Eds., vol. 3649 of Lecture Notes in Computer Science, pp. 302–318, Springer-Verlag, Berlin, Germany, 2005.
  94. B. Weber, M. Reichert, and S. Rinderle-Ma, “Change patterns and change support features: enhancing flexibility in process-aware information systems,” Data and Knowledge Engineering, vol. 66, no. 3, pp. 438–466, 2008. View at Publisher · View at Google Scholar · View at Scopus
  95. L. Fischer, Ed., Workflow Handbook, Workflow Management Coalition. Future Strategies, Lighthouse Point, Fla, USA, 2003.
  96. P. Lawrence, Ed., Workflow Handbook 1997, Workflow Management Coalition, John Wiley & Sons, New York, NY, USA, 1997.
  97. WFMC, “Workflow management coalition Workflow standard: interface 1-process definition interchange process model,” Tech. Rep. WFMC-TC-1016, Workflow Management Coalition, Lighthouse Point, Fla, USA, 1999. View at Google Scholar
  98. WFMC, “Workflow management coalition Workflow standard: Workflow process definition interface-XML process definition language (XPDL),” Tech. Rep. WFMC-TC-1025, Workflow Management Coalition, Lighthouse Point, Fla, USA, 2002. View at Google Scholar
  99. T. Andrews, F. Curbera, H. Dholakia et al., Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
  100. F. Leymann, Web Services Flow Language, Version 1. 0, 2001.
  101. S. Thatte, XLANG Web Services for Business Process Design, 2001.
  102. W. M. P. van der Aalst, “Don't go with the flow: web services composition standards exposed,” IEEE Intelligent Systems, vol. 18, no. 1, pp. 72–76, 2003. View at Google Scholar
  103. G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services Concepts, Architectures and Applications, Springer-Verlag, Berlin, Germany, 2004.
  104. B. Benatallah, F. Casati, and F. Toumani, “Representing, analysing and managing Web service protocols,” Data and Knowledge Engineering, vol. 58, no. 3, pp. 327–357, 2006. View at Publisher · View at Google Scholar · View at Scopus
  105. F. Casati, E. Shan, U. Dayal, and M. C. Shan, “Business-oriented management of Web services,” Communications of the ACM, vol. 46, no. 10, pp. 55–60, 2003. View at Publisher · View at Google Scholar · View at Scopus
  106. M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, “Service-oriented computing: a research roadmap,” International Journal of Cooperative Information Systems, vol. 17, no. 2, pp. 223–255, 2008. View at Publisher · View at Google Scholar · View at Scopus
  107. L. J. Zhang, J. Zhang, and H. Cai, Services Computing, Core Enabling Technology of the Modern Services Industry, Springer-Verlag, Berlin, Germany, 2007.
  108. G. Hohpe and B. Woolf, Enterprise Integration Patterns, Addison-Wesley Professional, Reading, Mass, USA, 2003.
  109. G. Alonso, D. Agrawal, A. El Abbadi, M. Kamath, R. Gunthor, and C. Mohan, “Advanced transaction models in workflow contexts,” in Proceedings of the 12th International Conference on Data Engineering, IEEE Computer Society, New Orleans, La, USA, March 1996.
  110. D. Kuo, M. Lawley, C. Liu, and M. E. Orlowska, “A general model for nested transactional workflows,” in Proceedings of the InternationalWorkshop on Advanced Transaction Models and Architecture (ATMA '96), pp. 18–35, Bombay, India, 1996.
  111. A. Reuter and F. Schwenkreis, “ConTracts- a low-level mechanism for building general-purpose workflow management-systems,” Data Engineering Bulletin, vol. 18, no. 1, pp. 4–10, 1995. View at Google Scholar
  112. G. Vossen, “Transactional Workflows,” in Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases (DOOD '97), F. Bry, R. Ramakrishnan, and K. Ramamohanarao, Eds., vol. 1341 of Lecture Notes in Computer Science, pp. 20–25, Springer-Verlag, Berlin, Germany, 1997.
  113. G. Weikum and G. Vossen, Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery, Morgan Kaufmann Publishers, San Francisco, Calif, USA, 2002.
  114. E. Bertino, E. Ferrari, and V. Atluri, “The specification and enforcement of authorization constraints in workflow management systems,” ACM Transactions on Information and System Security, vol. 22, no. 1, pp. 65–104, 1999. View at Google Scholar
  115. D. F. Ferraiolo, R. Sandhu, S. Gavrila, D. R. Kuhn, and R. Chandramouli, “Proposed NIST standard for role-based access control,” ACM Transactions on Information and System Security, vol. 4, no. 3, pp. 224–274, 2001. View at Google Scholar
  116. J. Desel and J. Esparza, Free Choice Petri Nets, vol. 40 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, UK, 1995.
  117. W. M. P. van der Aalst, “Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries,” Information and Management, vol. 37, no. 2, pp. 67–75, 2000. View at Google Scholar · View at Scopus
  118. W. M. P. van der Aalst, “Workflow verification: finding control-flow errors using Petri-net-based techniques,” in Business Process Management: Models, Techniques, and Empirical Studies, W. M. P. van der Aalst, J. Desel, and A. Oberweis, Eds., vol. 1806 of Lecture Notes in Computer Science, pp. 161–183, Springer-Verlag, Berlin, Germany, 2000. View at Google Scholar
  119. W. M. P. van der Aalst and A. H. M. ter Hofstede, “Verification of workflow task structures: a Petri-net-based approach,” Information Systems, vol. 25, no. 1, pp. 43–69, 2000. View at Publisher · View at Google Scholar · View at Scopus
  120. A. Basu and R. W. Blanning, “A formal approach to workflow analysis,” Information Systems Research, vol. 11, no. 1, pp. 17–36, 2000. View at Google Scholar · View at Scopus
  121. H. H. Bi and J. L. Zhao, “Applying propositional logic to workflow verification,” Information Technology and Management, vol. 5, no. 3-4, pp. 293–318, 2004. View at Google Scholar
  122. Y. Choi and J. Zhao, “Decomposition-based verification of cyclic workflows,” in Proceedings of the Automated Technology for Verification and Analysis (ATVA '05), D. A. Peled and Y.-K. Tsay, Eds., vol. 3707 of Lecture Notes in Computer Science, pp. 84–98, Springer-Verlag, Taipei, Taiwan, 2005.
  123. R. Eshuis, “Symbolic model checking of UML activity diagrams,” ACM Transactions on Software Engineering and Methodology, vol. 15, no. 1, pp. 1–38, 2006. View at Google Scholar · View at Scopus
  124. D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer, and K. Wolf, “Analysis on demand: instantaneous soundness checking of industrial business process models,” Data and Knowledge Engineering, vol. 70, no. 5, pp. 448–466, 2011. View at Publisher · View at Google Scholar · View at Scopus
  125. S. Fan, W. C. Dou, and J. Chen, “Dual workflow nets: mixed control/data-flow representation for workflow modeling and verification,” in Proceedings of the Advances in Web and Network Technologies, and Information Management (APWeb/WAIM '07), vol. 4537 of Lecture Notes in Computer Science, pp. 433–444, Springer-Verlag, Berlin, Germany, 2007.
  126. X. Fu, T. Bultan, and J. Su, “Formal verification of e-services and workflows,” in Proceedings of the CAiSE 2002 International Workshop on Services, E-Business, and the Semantic Web (WES '02), C. Bussler, R. Hull, S. McIlraith, M. Orlowska, B. Pernici, and J. Yang, Eds., vol. 2512 of Lecture Notes in Computer Science, pp. 188–202, Springer-Verlag, Berlin, Germany, 2002.
  127. K. M. van Hee, N. Sidorova, and M. Voorhoeve, “Soundness and separability of workflow nets in the stepwise refinement approach,” in Proceedings of the Application and Theory of Petri Nets 2003, W. M. P. van der Aalst and E. Best, Eds., vol. 2679 of Lecture Notes in Computer Science, pp. 335–354, Springer-Verlag, Berlin, Germany, 2003.
  128. K. M. van Hee, N. Sidorova, and M. Voorhoeve, “Generalised soundness of workflow nets is decidable,” in Proceedings of the Application and Theory of Petri Nets 2004, J. Cortadella and W. Reisig, Eds., vol. 3099 of Lecture Notes in Computer Science, pp. 197–215, Springer-Verlag, Berlin, Germany, 2004.
  129. A. H. M. ter Hofstede, M. E. Orlowska, and J. Rajapakse, “Verification problems in conceptual workflow specifications,” Data and Knowledge Engineering, vol. 24, no. 3, pp. 239–256, 1998. View at Google Scholar · View at Scopus
  130. B. Kiepuszewski, A. H. M. ter Hofstede, and W. M. P. van der Aalst, “Fundamentals of control flow in workflows,” Acta Informatica, vol. 39, no. 3, pp. 143–209, 2003. View at Publisher · View at Google Scholar · View at Scopus
  131. W. Sadiq and M. E. Orlowska, “Applying graph reduction techniques for identifying structural conflicts in process models,” in Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE '99), M. Jarke and A. Oberweis, Eds., vol. 1626 of Lecture Notes in Computer Science, pp. 195–209, Springer-Verlag, Berlin, Germany, 1999.
  132. R. J. van Glabbeek and W. P. Weijland, “Branching time and abstraction in bisimulation semantics,” Journal of the ACM, vol. 43, no. 3, pp. 555–600, 1996. View at Google Scholar · View at Scopus
  133. R. Milner, Communication and Concurrency, Prentice-Hall, New York, NY, USA, 1989.
  134. W. M. P. van der Aalst, “Interorganizational workflows: an approach based on message sequence charts and Petri nets,” Systems Analysis Modelling Simulation, vol. 34, no. 3, pp. 335–367, 1999. View at Google Scholar
  135. W. M. P. van der Aalst, “Inheritance of interorganizational workflows: how to agree to disagree without loosing control?” Information Technology and Management Journal, vol. 4, no. 4, pp. 345–389, 2003. View at Google Scholar
  136. W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, “From public views to private views: correctness-by-design for services,” in Proceedings of the 4th International Workshop on Web Services and Formal Methods (WSFM '07), M. Dumas and H. Heckel, Eds., vol. 4937 of Lecture Notes in Computer Science, pp. 139–153, Springer-Verlag, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at Scopus
  137. W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, “Multiparty contracts: agreeing and implementing interorganizational processes,” Computer Journal, vol. 53, no. 1, pp. 90–106, 2010. View at Publisher · View at Google Scholar · View at Scopus
  138. J. A. Fisteus, L. S. Fernández, and C. D. Kloos, “Formal verification of BPEL4WS business collaborations,” in Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04), K. Bauknecht, M. Bichler, and B. Proll, Eds., vol. 3182 of Lecture Notes in Computer Science, pp. 79–94, Springer-Verlag, Berlin, Germany, 2004.
  139. H. Foster, S. Uchitel, J. Magee, and J. Kramer, “Model-based verification of web service composition,” in Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE '03), pp. 152–161, Montreal, Canada, October 2003.
  140. X. Fu, T. Bultan, and J. Su, “WSAT: a tool for formal analysis of web services,” in Proceedings of the 16th International Conference on Computer Aided Verification (CAV '04), vol. 3114 of Lecture Notes in Computer Science, pp. 510–514, Springer-Verlag, Berlin, Germany, 2004.
  141. E. Kindler, A. Martens, and W. Reisig, “Inter-operability of workflow applications: local criteria for global soundness,” in Business Process Management: Models, Techniques, and Empirical Studies, In W.M.P. van der Aalst, J. Desel, and A. Oberweis, Eds., vol. 1806 of Lecture Notes in Computer Science, pp. 235–253, Springer-Verlag, Berlin, Germany, 2000. View at Google Scholar
  142. M. Koshkina and F. van Breugel, “Verification of business processes for web services,” Tech. Rep. CS-2003-11, York University, Toronto, Canada, 2003. View at Google Scholar
  143. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, “Analyzing interacting BPEL processes,” in International Conference on Business Process Management (BPM '06), S. Dustdar, J. L. Fiadeiro, and A. Sheth, Eds., vol. 4102 of Lecture Notes in Computer Science, pp. 17–32, Springer-Verlag, Berlin, Germany, 2006.
  144. N. Lohmann and P. Massuthe, “Operating guidelines for finite-state services,” in Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN '07), J. Kleijn and A. Yakovlev, Eds., pp. 25–29, Siedlce, Poland, June 2007.
  145. F. Gottschalk, T. Wagemakers, M. H. Jansen-Vullers, W. M. P. van der Aalst, and M. La Rosa, “Configurable process models: experiences from a municipality case study,” in Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE '09), P. van Eck, J. Gordijn, and R. Wieringa, Eds., vol. 5565 of Lecture Notes in Computer Science, pp. 486–500, Springer-Verlag, 2009.
  146. M. La Rosa, M. Dumas, A. H. M. ter Hofstede, and J. Mendling, “Configurable multi-perspective business process models,” Information Systems, vol. 36, no. 2, pp. 313–340, 2011. View at Publisher · View at Google Scholar · View at Scopus
  147. A. Schnieders and F. Puhlmann, “Variability mechanisms in E-business process families,” in Proceedings of the 9th International Conference on Business Information Systems (BIS '06), W. Abramowicz and H. C. Mayr, Eds., vol. 85 of LNI, pp. 583–601, 2006.
  148. W. M. P. van der Aalst, M. Dumas, F. Gottschalk, A. H. M. ter Hofstede, M. La Rosa, and J. Mendling, “Preserving correctness during business process model configuration,” Formal Aspects of Computing, vol. 22, no. 3-4, pp. 459–482, 2010. View at Publisher · View at Google Scholar · View at Scopus
  149. H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst, “Diagnosing workflow processes using Woflan,” Computer Journal, vol. 44, no. 4, pp. 246–279, 2001. View at Publisher · View at Google Scholar · View at Scopus
  150. W. M. P. van der Aalst and A. H. M. ter Hofstede, “YAWL: Yet Another Workflow Language,” Information Systems, vol. 30, no. 4, pp. 245–275, 2005. View at Publisher · View at Google Scholar · View at Scopus
  151. N. Lohmann and D. Weinberg, “Wendy: a tool to synthesize partners for services,” in Applications and Theory of Petri Nets, J. Lilius and W. Penczek, Eds., vol. 6128 of Lecture Notes in Computer Science, pp. 279–307, Springer, Berlin, Germany, 2010. View at Google Scholar
  152. B. D. Clinton and A. van der Merwe, “Management accounting: approaches, techniques, and management processes,” Cost Management, vol. 20, no. 3, pp. 14–22, 2006. View at Google Scholar
  153. J. A. Buzacott, “Commonalities in reengineered business processes: models and issues,” Management Science, vol. 42, no. 5, pp. 768–782, 1996. View at Google Scholar · View at Scopus
  154. J. J. Moder and S. E. Elmaghraby, Handbook of Operations Research: Foundations and Fundamentals, Van Nostrand Reinhold, New York, NY, USA, 1978.
  155. H. Reijers, Design and Control of Workflow Processes: Business Process Management for the Service Industry, vol. 2617 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, 2003.
  156. R. Wild, Production and Operations Management : Principles and Techniques, Cassell, London, UK, 1989.
  157. W. M. P. van der Aalst, “Business process simulation revisited,” Lecture Notes in Business Information Processing, vol. 63, pp. 1–14, 2010. View at Publisher · View at Google Scholar · View at Scopus
  158. W. M. P. van der Aalst, J. Nakatumba, A. Rozinat, and N. Russell, “Business process simulation,” in Handbook on Business Process Management, International Handbooks on Information Systems, J. vom Brocke and M. Rosemann, Eds., pp. 313–338, Springer-Verlag, Berlin, Germany, 2010. View at Google Scholar
  159. IEEE Task Force on Process Mining, “Process mining manifesto,” in Business Process Management Workshops, F. Daniel, K. Barkaoui, and S. Dustdar, Eds., vol. 99 of Lecture Notes in Business Information Processing, pp. 169–194, Springer-Verlag, Berlin, Germany, 2012. View at Google Scholar
  160. W. M. P. van der Aalst, H. A. Reijers, A. J. M. M. Weijters et al., “Business process mining: an industrial application,” Information Systems, vol. 32, no. 5, pp. 713–732, 2007. View at Publisher · View at Google Scholar · View at Scopus
  161. S. Davidson, S. Cohen-Boulakia, A. Eyal et al., “Provenance in scientific workflow systems,” Data Engineering Bulletin, vol. 30, no. 4, pp. 44–50, 2007. View at Google Scholar
  162. F. Curbera, Y. Doganata, A. Martens, N. Mukhi, and A. Slominski, “Business provenance: a technology to increase traceability of end-to-end operations,” in Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS-OTM '08) Part I, R. Meersman and Z. Tari, Eds., vol. 5331 of Lecture Notes in Computer Science, pp. 100–119, Springer-Verlag, Berlin, Germany, 2008.
  163. B. F. van Dongen, A. K. Alves de Medeiros, and L. Wenn, “Process mining: overview and outlook of Petri net discovery algorithms,” in Proceedings of the Transactions on Petri Nets and Other Models of Concurrency II, K. Jensen and W. M. P. van der Aalst, Eds., vol. 5460 of Lecture Notes in Computer Science, pp. 225–242, Springer-Verlag, Berlin, Germany, 2009.
  164. R. Agrawal, D. Gunopulos, and F. Leymann, “Mining process models from workflow logs,” in Proceedings of the 6th International Conference on Extending Database Technology, vol. 1377 of Lecture Notes in Computer Science, pp. 469–483, Springer-Verlag, Berlin, 1998.
  165. J. E. Cook and A. L. Wolf, “Discovering models of software processes from event-based data,” ACM Transactions on Software Engineering and Methodology, vol. 7, no. 3, pp. 215–249, 1998. View at Google Scholar · View at Scopus
  166. A. Datta, “Automating the discovery of AS-IS business process models: probabilistic and algorithmic approaches,” Information Systems Research, vol. 9, no. 3, pp. 275–301, 1998. View at Google Scholar · View at Scopus
  167. B. F. Van Dongen and W. M. P. van der Aalst, “Multi-phase process mining: building instance graphs,” in Proceedings of the International Conference on Conceptual Modeling (ER '04), P. Atzeni, W. Chu, H. Lu, S. Zhou, and T. W. Ling, Eds., vol. 3288 of Lecture Notes in Computer Science, pp. 362–376, Springer-Verlag, Berlin, Germany, 2004.
  168. B. F. van Dongen and W. M. P. van der Aalst, “Multi-phase mining: aggregating instances graphs into EPCs and Petri Nets,” in Proceedings of the 2nd International Workshop on Applications of Petri nets to Coordination, Workflow and Business Process Management, D. Marinescu, Ed., pp. 35–58, Florida International University, Miami, Fla, USA, 2005.
  169. A. J. M. M. Weijters and W. M. P. van der Aalst, “Rediscovering workflow models from event-based data using little thumb,” Integrated Computer-Aided Engineering, vol. 10, no. 2, pp. 151–162, 2003. View at Google Scholar · View at Scopus
  170. W. M. P. van der Aalst, B. F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A. J. M. M. Weijters, “Workflow mining: a survey of issues and approaches,” Data and Knowledge Engineering, vol. 47, no. 2, pp. 237–267, 2003. View at Publisher · View at Google Scholar · View at Scopus
  171. J. Herbst, “A machine learning approach to workflow management,” in Proceedings of the 11th European Conference on Machine Learning, vol. 1810 of Lecture Notes in Computer Science, pp. 183–194, Springer-Verlag, Berlin, Germany, 2000.
  172. A. Rozinat and W. M. P. van der Aalst, “Decision mining in ProM.,” in Proceedings of the International Conference on Business Process Management (BPM '06), S. Dustdar, J. L. Fiadeiro, and A. Sheth, Eds., vol. 4102 of Lecture Notes in Computer Science, pp. 420–425, Springer-Verlag, Berlin, Germany.
  173. A. Rozinat, R. S. Mans, M. Song, and W. M. P. van der Aalst, “Discovering colored Petri nets from event logs,” International Journal on Software Tools for Technology Transfer, vol. 10, no. 1, pp. 57–74, 2008. View at Publisher · View at Google Scholar · View at Scopus
  174. A. Rozinat, R. S. Mans, M. Song, and W. M. P. van der Aalst, “Discovering simulation models,” Information Systems, vol. 34, no. 3, pp. 305–327, 2009. View at Publisher · View at Google Scholar · View at Scopus
  175. A. Rozinat, M. T. Wynn, W. M. P. van der Aalst, A. H. M. ter Hofstede, and C. J. Fidge, “Workflow simulation for operational decision support,” Data and Knowledge Engineering, vol. 68, no. 9, pp. 834–850, 2009. View at Publisher · View at Google Scholar · View at Scopus
  176. W. M. P. van der Aalst, M. Pesic, and M. Song, “Beyond process mining: from the past to present and puture,” in Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE '10), B. Pernici, Ed., vol. 6051 of Lecture Notes in Computer Science, pp. 38–52, Springer-Verlag, Berlin, Germany, 2010.
  177. F. M. Maggi, M. Montali, and W. M. P. van der Aalst, “An operational decision support framework for monitoring business constraints,” J. de Lara and A. Zisman, Eds., vol. 7212 of Lecture Notes in Computer Science, pp. 146–162, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE '12).
  178. F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst, “Runtime verification of LTL-based declarative process models,” in Proceedings of the Runtime Verification (RV '11), S. Khurshid and K. Sen, Eds., vol. 7186 of Lecture Notes in Computer Science, pp. 131–146, Springer, 2012.
  179. W. M. P. van der Aalst, A. Adriansyah, and B. van Dongen, “Replaying history on process models for conformance checking and performance analysis,” WIREs Data Mining and Knowledge Discovery, vol. 2, no. 2, pp. 182–192, 2012. View at Google Scholar
  180. A. Adriansyah, B. van Dongen, and W. M. P. van der Aalst, “Conformance checking using cost-based fitness analysis,” in IEEE International Enterprise Computing Conference (EDOC '11), C. H. Chi and P. Johnson, Eds., pp. 55–64, IEEE Computer Society, 2011.
  181. A. Adriansyah, B. F. van Dongen, and W. M. P. van der Aalst, “Towards robust conformance checking,” Lecture Notes in Business Information Processing, vol. 66, pp. 122–133, 2011. View at Publisher · View at Google Scholar · View at Scopus
  182. T. Calders, C. W. Günther, M. Pechenizkiy, and A. Rozinat, “Using minimum description length for process mining,” in 24th Annual ACM Symposium on Applied Computing, SAC 2009, pp. 1451–1455, usa, March 2009. View at Publisher · View at Google Scholar · View at Scopus
  183. J. E. Cook and A. L. Wolf, “Software process validation: quantitatively measuring the correspondence of a process to a model,” ACM Transactions on Software Engineering and Methodology, vol. 8, no. 2, pp. 147–176, 1999. View at Google Scholar · View at Scopus
  184. S. Goedertier, D. Martens, J. Vanthienen, and B. Baesens, “Robust process discovery with artificial negative events,” Journal of Machine Learning Research, vol. 10, pp. 1305–1340, 2009. View at Google Scholar · View at Scopus
  185. J. Munoz-Gama and J. Carmona, “A fresh look at precision in process conformance,” in Business Process Management (BPM 2010), R. Hull, J. Mendling, and S. Tai, Eds., vol. 6336 of Lecture Notes in Computer Science, pp. 211–226, Springer-Verlag, Berlin, Germany, 2010. View at Google Scholar
  186. J. Munoz-Gama and J. Carmona, “Enhancing precision in process conformance: stability, confidence and severity,” in Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM '11), pp. 184–191, Paris, France, April 2011. View at Publisher · View at Google Scholar · View at Scopus
  187. A. Rozinat and W. M. P. van der Aalst, “Conformance checking of processes based on monitoring real behavior,” Information Systems, vol. 33, no. 1, pp. 64–95, 2008. View at Publisher · View at Google Scholar · View at Scopus
  188. J. De Weerdt, M. De Backer, J. Vanthienen, and B. Baesens, “A robust F-measure for evaluating discovered process models,” in Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM '11), pp. 148–155, Paris, France, April 2011. View at Publisher · View at Google Scholar · View at Scopus
  189. R. Dijkman, M. Dumas, B. Van Dongen, R. Krik, and J. Mendling, “Similarity of business process models: metrics and evaluation,” Information Systems, vol. 36, no. 2, pp. 498–516, 2011. View at Publisher · View at Google Scholar · View at Scopus
  190. T. Jin, J. Wang, and L. Wen, “Efficient retrieval of similar workflow models based on structure,” in OTM 2011, vol. 7044 of Lecture Notes in Computer Science, pp. 56–63, Springer-Verlag, Berlin, Germany, 2011. View at Google Scholar
  191. T. Jin, J. Wang, and L. Wen, “Efficient retrieval of similar workflow models based on behavior,” in APWeb 2012, vol. 7235 of Lecture Notes in Computer Science, pp. 677–684, Springer-Verlag, Berlin, Germany, 2012. View at Google Scholar
  192. J. Mendling, B. F. van Dongen, and W. M. P. van der Aalst, “On the degree of behavioral similarity between business process models,” in Proceedings of 6th Workshop on Event-Driven Process Chains (WI-EPK '07), M. Nuettgens, F. J. Rump, and A. Gadatsch, Eds., pp. 39–58, Gesellschaft für Informatik, St. Augustin, Fla, USA, November 2007.
  193. M. Weidlich, R. Dijkman, and M. Weske, “Behavioral equivalence and compatibility of business process models with complex correspondences,” Computer Journal. In press. View at Publisher · View at Google Scholar
  194. W. M. P. van der Aalst and T. Basten, “Identifying commonalities and differences in object life cycles using behavioral inheritance,” in Application and Theory of Petri Nets, J. M. Colom and M. Koutny, Eds., vol. 2075 of Lecture Notes in Computer Science, pp. 32–52, Springer-Verlag, Berlin, Germany, 2001. View at Google Scholar
  195. W. M. P. van der Aalst, M. H. Schonenberg, and M. Song, “Time prediction based on process mining,” Information Systems, vol. 36, no. 2, pp. 450–475, 2011. View at Publisher · View at Google Scholar · View at Scopus
  196. B. F. van Dongen, R. A. Crooy, and W. M. P. van der Aalst, “Cycle time prediction: when will this case finally be finished,” in Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS-OTM '08) Part I, R. Meersman and Z. Tari, Eds., vol. 5331 of Lecture Notes in Computer Science, pp. 319–336, Springer-Verlag, Berlin, 2008.
  197. H. A. Reijers, “Case prediction in BPM systems: a research challenge,” Journal of the Korean Institute of Industrial Engineers, vol. 33, pp. 1–10, 2006. View at Google Scholar
  198. Staffware, Staffware Process Suite Version 2-White Paper, Staffware PLC, Maidenhead, UK, 2003.
  199. H. Schonenberg, B. Weber, B. F. van Dongen, and W. M. P. van der Aalst, “Supporting flexible processes through recommendations based on history,” in International Conference on Business Process Management (BPM '08), M. Dumas, M. Reichert, and M. C. Shan, Eds., vol. 5240 of Lecture Notes in Computer Science, pp. 51–66, Springer-Verlag, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at Scopus
  200. W. M. P. van der Aalst, M. Weske, and D. Grünbauer, “Case handling: a new paradigm for business process support,” Data and Knowledge Engineering, vol. 53, no. 2, pp. 129–162, 2005. View at Publisher · View at Google Scholar · View at Scopus
  201. M. Adams, A. H. M. ter Hofstede, W. M. P. van der Aalst, and D. Edmond, “Dynamic, extensible and context-aware exception handling for workflows,” in Proceedings of the OTM Conference on Cooperative information Systems (CoopIS '07), F. Curbera, F. Leymann, and M. Weske, Eds., vol. 4803 of Lecture Notes in Computer Science, pp. 95–112, Springer-Verlag, Berlin, Germany, 2007.
  202. S. Dustdar, “Caramba-a process-aware collaboration system supporting ad hoc and collaborative processes in virtual teams,” Distributed and Parallel Databases, vol. 15, no. 1, pp. 45–66, 2004. View at Publisher · View at Google Scholar · View at Scopus
  203. C. A. Ellis, K. Keddara, and G. Rozenberg, “Dynamic change within workflow systems,” in Proceedings of the Conference on Organizational Computing Systems, N. Comstock, C. Ellis, R. Kling, J. Mylopoulos, and S. Kaplan, Eds., pp. 10–21, ACM SIGOIS, ACM Press, Milpitas, Calif, USA, August 1995.
  204. M. Pesic, M. H. Schonenberg, N. Sidorova, and W. M. P. van der Aalst, “Constraint-based workflow models: change made easy,” in Proceedings of the OTM Conference on Cooperative information Systems (CoopIS '07), F. Curbera, F. Leymann, and M. Weske, Eds., vol. 4803 of Lecture Notes in Computer Science, pp. 77–94, Springer-Verlag, Berlin, Germany, 2007.
  205. M. Reichert and P. Dadam, “ADEPTflex-Supporting dynamic changes of workflows without losing control,” Journal of Intelligent Information Systems, vol. 10, no. 2, pp. 93–129, 1998. View at Publisher · View at Google Scholar · View at Scopus
  206. S. Rinderle, M. Reichert, and P. Dadam, “Correctness criteria for dynamic changes in workflow systems: a survey,” Data and Knowledge Engineering, vol. 50, no. 1, pp. 9–34, 2004. View at Publisher · View at Google Scholar · View at Scopus
  207. M. Weske, “Formal foundation and conceptual design of dynamic adaptations in a workflow management system,” in Proceedings of the 34th Annual Hawaii International Conference on System Science (HICSS-34), R. Sprague, Ed., IEEE Computer Society Press, Los Alamitos, Calif, USA, 2001.
  208. W. M. P. van der Aalst and S. Jablonski, “Dealing with workflow change: identification of issues and solutions,” Computer Systems Science and Engineering, vol. 15, no. 5, pp. 267–276, 2000. View at Google Scholar · View at Scopus
  209. H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. van der Aalst, “Process flexibility: a survey of contemporary approaches,” Lecture Notes in Business Information Processing, vol. 10, pp. 16–30, 2008. View at Publisher · View at Google Scholar · View at Scopus
  210. S. Sadiq, W. Sadiq, and M. Orlowska, “Pockets of flexibility in workflow specification,” in Proceedings of the 20th International Conference on Conceptual Modeling (ER '01), vol. 2224 of Lecture Notes in Computer Science, pp. 513–526, Springer-Verlag, Berlin, Germany, 2001.
  211. T. Herrmann, M. Hoffmann, K. U. Loser, and K. Moysich, “Semistructured models are surprisingly useful for user-centered design,” in Proceedings of the Designing Cooperative Systems (Coop '00), G. De Michelis, A. Giboin, L. Karsenty, and R. Dieng, Eds., pp. 159–174, IOS Press, 2000.
  212. M. Adams, Facilitating dynamic flexibility and exception handling for workflows [Ph.D. thesis], Queensland University of Technology, Queensland, Ga, USA, 2007.
  213. P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke, “A comprehensive approach to flexibility in workflow management systems,” G. Georgakopoulos, W. Prinz, and A. L. Wolf, Eds., Work Activities Coordination and Collaboration (WACC '99), pp. 79–88, ACM press, San Francisco, Calif, USA, 1999. View at Google Scholar
  214. M. Pesic, Constraint-based Workflow management systems: shifting control to users [Ph.D. thesis], Eindhoven University of Technology, Eindhoven, The Netherlands, 2008.
  215. S. Rinderle, M. Reichert, and P. Dadam, “Evaluation of correctness criteria for dynamic workflow changes,” in Proceedings of the International Conference on Business Process Management (BPM '03), W. M. P. van der Aalst, A. H. M. ter Hofstede, and M. Weske, Eds., vol. 2678 of Lecture Notes in Computer Science, pp. 41–57, Springer-Verlag, Berlin, Germany.
  216. C. Houy, P. Fettke, P. Loos, W. M. P. van der Aalst, and J. Krogstie, “Business process management in the large,” Business and Information Systems Engineering, vol. 3, no. 6, pp. 385–388, 2011. View at Google Scholar
  217. R. Dijkman, M. La Rosa, and H. A. Reijers, “Managing large collections of business process models: current techniques and challenges,” Computers in Industry, vol. 63, no. 2, pp. 91–97, 2012. View at Google Scholar
  218. A. W. Scheer, Business Process Engineering: ARIS-Navigator for Reference Models for Industrial Enterprises, Springer-Verlag, Berlin, Germany, 1995.
  219. A. W. Scheer, ARIS: Business Process Modelling, Springer-Verlag, Berlin, Germany, 2000.
  220. M. C. Fauvet, M. La Rosa, M. Sadegh et al., “Managing process model collections with APROMORE,” in Proceedings of the Service-Oriented Computing (ICSOC '10), P. Maglio, M. Weske, J. Yang, and M. Fantinato, Eds., vol. 6470 of Lecture Notes in Computer Science, pp. 699–701, Springer-Verlag, Berlin, Germany, 2010.
  221. M. La Rosa, H. A. Reijers, W. M. P. van der Aalst et al., “APROMORE: an advanced process model repository,” Expert Systems with Applications, vol. 38, no. 6, pp. 7029–7040, 2011. View at Publisher · View at Google Scholar · View at Scopus
  222. A. Awad, M. Weidlich, and M. Weske, “Visually specifying compliance rules and explaining their violations for business processes,” Journal of Visual Languages and Computing, vol. 22, no. 1, pp. 30–55, 2011. View at Publisher · View at Google Scholar · View at Scopus
  223. M. Weidlich, A. Polyvyanyy, N. Desai, J. Mendling, and M. Weske, “Process compliance analysis based on behavioural profiles,” Information Systems, vol. 36, no. 7, pp. 1009–1025, 2011. View at Publisher · View at Google Scholar · View at Scopus
  224. J. J. C. L. Vogelaar, H. M. W. Verbeek, B. Luka, and W. M. P. van der Aalst, “Comparing business processes to determine the feasibility of configurable models: a case study,” in Proceedings of the International Workshop on Process Model Collections on Business Process Management (PMC '11), F. Daniel, K. Barkaoui, and S. Dustdar, Eds., vol. 100 of Lecture Notes in Business Information Processing, pp. 50–61, Springer-Verlag, Berlin, Germany, 2012.
  225. F. Gottschalk, W. M. P. van der Aalst, and M. H. Jansen-Vullers, “Merging event-driven process chains,” in Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS-OTM '08) Part I, R. Meersman and Z. Tari, Eds., vol. 5331 of Lecture Notes in Computer Science, pp. 418–426, Springer-Verlag, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at Scopus
  226. M. La Rosa, M. Dumas, R. Uba, and R. M. Dijkman, “Merging business process models,” in Proceedings of the International Conference on Cooperative Information Systems (CoopIS '10), R. Meersman, T. Dillon, and P. Herrero, Eds., vol. 6426 of Lecture Notes in Computer Science, pp. 96–113, Springer-Verlag, Berlin, Germany, 2010.
  227. M. La Rosa, M. Dumas, R. Uba, and R. M. Dijkman, “Business process model merging: an approach to business process consolidation,” ACM Transactions on Software Engineering and Methodology. In press.
  228. C. Li, M. Reichert, and A. Wombacher, “Discovering reference models by mining process variants using a heuristic approach,” in Proceedings of the Business Process Management (BPM '09), U. Dayal, J. Eder, J. Koehler, and H. Reijers, Eds., vol. 5701 of Lecture Notes in Computer Science, pp. 344–362, Springer-Verlag, Berlin, Germany, 2009. View at Publisher · View at Google Scholar · View at Scopus
  229. C. Li, M. Reichert, and A. Wombacher, “The MINADEPT clustering approach for discovering reference process models out of process variants,” International Journal of Cooperative Information Systems, vol. 19, no. 3-4, pp. 159–203, 2010. View at Publisher · View at Google Scholar · View at Scopus
  230. V. Levenshtein, “Binary codes capable of correcting deletions, insertions, and reversals,” Soviet Physics-Doklady, vol. 10, no. 8, pp. 707–710, 1966. View at Google Scholar
  231. G. Miller, “WordNet: a lexical database for English,” Communications of the ACM, vol. 38, no. 11, pp. 39–41, 1995. View at Google Scholar
  232. M. Hepp, F. Leymann, J. Domingue, A. Wahler, and D. Fensel, “Semantic business process management: a vision towards using semantic web services for business process management,” in Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE '05), pp. 535–540, 2005. View at Publisher · View at Google Scholar · View at Scopus