Translating unstructured workflow processes to readable BPEL: Theory and implementation

Information and Software Technology

Volumn 50, Issue 3, 2008, Pages 131-159

  van der Aalst, Wil M P ^a,b   Bisgaard Lassen, Kristian ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

BPEL4WS; Business process management; Petri nets; Workflow management

Indexed keywords

INFORMATION SYSTEMS; PETRI NETS; SWITCHES; XML;

BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); BUSINESS PROCESS MANAGEMENT; WORKFLOW MANAGEMENT;

WEB SERVICES;

EID: 37249023596     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2006.11.004     Document Type: Article

References (68)

1. van der Aalst W.M.P. Verification of workflow nets. In: Azéma P., and Balbo G. (Eds). Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science vol. 1248 (1997), Springer-Verlag, Berlin 407-426
2. van der Aalst W.M.P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8 1 (1998) 21-66
3. van der Aalst W.M.P. Workflow verification: finding control-flow errors using Petri-net-based techniques. In: van der Aalst W.M.P., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science vol. 1806 (2000), Springer-Verlag, Berlin 161-183
4. van der Aalst W.M.P. Business process management demystified: a tutorial on models systems and standards for workflow management. In: Desel J., Reisig W., and Rozenberg G. (Eds). Lectures on concurrency and Petri nets. Lecture Notes in Computer Science vol. 3098 (2004), Springer-Verlag, Berlin 1-65
5. van der Aalst W.M.P., and Basten T. Inheritance of workflows: an approach to tackling problems related to change. Theoretical Computer Science 270 1-2 (2002) 125-203
6. van der Aalst W.M.P., Dumas M., and ter Hofstede A.H.M. Web service composition languages: old wine in new bottles?. In: Chroust G., and Hofer C. (Eds). Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture (2003), IEEE Computer Society, Los Alamitos, CA 298-305
7. van der Aalst W.M.P., and van Hee K.M. Workflow management: models, methods, and systems (2002), MIT press, Cambridge, MA
8. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 1 (2003) 5-51
9. van der Aalst W.M.P., Jørgensen J.B., and Lassen K.B. Let's go all the way: from requirements via colored workflow nets to a BPEL implementation of a new bank system paper. In: Meersman R., Tari Z., et al. (Eds). On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005. Lecture Notes in Computer Science vol. 3760 (2005), Springer-Verlag, Berlin 22-39
10. W.M.P. van der Aalst, K.B. Lassen, Translating Workflow Nets to BPEL4WS. BETA Working Paper Series, WP 145, Eindhoven University of Technology, Eindhoven, 2005.
11. van der Aalst W.M.P., van Hee K.M., and van der Toorn R.A. Component-based software architectures: a framework based on inheritance of behavior. Science of Computer Programming 42 2-3 (2002) 129-171
12. van der Aalst W.M.P., Weijters A.J.M.M., and Maruster L. Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16 9 (2004) 1128-1142
13. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
14. Billington J., et al. The Petri net markup language: concepts, technology, and tools. In: van der Aalst W.M.P., and Best E. (Eds). Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science vol. 2679 (2003), Springer-Verlag, Berlin 483-506
15. CPN Group, University of Aarhus, Denmark. CPN Tools Home Page. http://wiki.daimi.au.dk/cpntools/.
16. J. Dehnert. A Methodology for Workflow Modeling: From Business Process Modeling Towards Sound Workflow Specification. PhD thesis, TU Berlin, Berlin, Germany, 2003.
17. Desel J., and Esparza J. Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science vol. 40 (1995), Cambridge University Press, Cambridge, UK
18. Dumas M., van der Aalst W.M.P., and ter Hofstede A.H.M. Process-Aware Information Systems: Bridging People and Software through Process Technology (2005), Wiley & Sons
19. Eshuis R., and Dehnert J. Reactive Petri nets for workflow modeling. In: van der Aalst W.M.P., and Best E. (Eds). Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science vol. 2679 (2003), Springer-Verlag, Berlin 295-314
20. D. Fahland, W. Reisig, ASM-based semantics for BPEL: the negative control flow, in: D. Beauquier, E. Börger, A. Slissenko (Eds.), Proc. 12th International Workshop on Abstract State Machines, Paris, France, March 2005, pp. 131-151.
21. R. Farahbod, U. Glässer, M. Vajihollahi, Abstract Operational Semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2004-03, School of Computer Science, Simon Fraser University, Burnaby B.C. Canada, April 2004.
22. R. Farahbod, U. Glässer, M. Vajihollahi, Specification and validation of the business process execution language for web services, in: W. Zimmermann, B. Thalheim (Eds.), Abstract State Machines 2004, Lecture Notes in Computer Science, vol. 3052, Lutherstadt Wittenberg, Germany, Springer-Verlag, Berlin, 2004, pp. 79-94.
23. Ferrara A. Web services: a process algebra approach. Proceedings of the 2nd international conference on Service oriented computing (2004), ACM Press, New York, NY, USA 242-251
24. In: Fischer L. (Ed). Workflow Handbook 2003. Workflow Management Coalition (2003), Future Strategies, Lighthouse Point, Florida
25. J.A. Fisteus, L.S. Fernández, C.D. Kloos, Formal verification of BPEL4WS business collaborations, in: K. Bauknecht, M. Bichler, B. Proll (Eds.), Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04), Lecture Notes in Computer Science, vol. 3182, Zaragoza, Spain, August 2004. Springer-Verlag, Berlin, pp. 79-94.
26. Foster H., Uchitel S., Magee J., and Kramer J. Model-based verification of web service composition. Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE) (2003), Montreal, Canada 152-161
27. Foster H., Uchitel S., Magee J., and Kramer J. Tool support for model-based engineering of web service compositions. Proceedings of 2005 IEEE International Conference on Web Services (ICWS 2005) (2005), IEEE Computer Society, Orlando, FL, USA 95-102
28. Fu X., Bultan T., and Su J. Analysis of interacting BPEL web services. International World Wide Web Conference: Proceedings of the 13th international conference on World Wide Web (2004), ACM Press, New York, NY, USA 621-630
29. Fu X., Bultan T., and Su J. WSAT: A tool for formal analysis of Web services. Proceedings of 16th International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science vol. 3114 (2004), Springer-Verlag, Berlin 510-514
30. Georgakopoulos D., Hornick M., and Sheth A. An overview of workflow management: from process modeling to workflow automation infrastructure. Distributed and Parallel Databases 3 (1995) 119-153
31. van Glabbeek R.J., and Stork D.G. Query nets: interacting workflow modules that ensure global termination. In: van der Aalst W.M.P., ter Hofstede A.H.M., and Weske M. (Eds). International Conference on Business Process Management (BPM 2003). Lecture Notes in Computer Science vol. 2678 (2003), Springer-Verlag, Berlin 184-199
32. Object Management Group. OMG Unified Modeling Language 2.0 Proposal, Revised submission to OMG RFPs ad/00-09-01 and ad/00-09-02, Version 0.671. OMG, http://www.omg.com/uml/, 2002.
33. van Hee K., Sidorova N., and Voorhoeve M. Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst W.M.P., and Best E. (Eds). Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science vol. 2679 (2003), Springer-Verlag, Berlin 335-354
34. Hinz S., Schmidt K., and Stahl C. Transforming BPEL to Petri nets. In: van der Aalst W.M.P., ter Hofstede A.H.M., and Weske M. (Eds). International Conference on Business Process Management (BPM 2003). Lecture Notes in Computer Science vol. 2678 (2003), Springer-Verlag, Berlin 220-235
35. Jablonski S., and Bussler C. Workflow Management: Modeling Concepts, Architecture, and Implementation (1996), International Thomson Computer Press, London, UK
36. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1997.
37. M. Jungel, E. Kindler, M. Weber, The Petri Net Markup Language, in: S. Philippi (Ed.), Proceedings of AWPN 2000 - 7thWorkshop Algorithmen und Werkzeuge für Petrinetze, Research Report 7/2000, Institute for Computer Science, University of Koblenz, Germany, 2000, pp. 47-52.
38. G. Keller, M. Nüttgens, A.W. Scheer, Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken, 1992.
39. B. Kiepuszewski, Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane, Australia, 2003. Available via http://www.workflowpatterns.com.
40. Kiepuszewski B., ter Hofstede A.H.M., and van der Aalst W.M.P. Fundamentals of control flow in workflows. Acta Informatica 39 3 (2003) 143-209
41. Kindler E., and van der Aalst W.M.P. Liveness, fairness, and recurrence. Information Processing Letters 70 6 (1999) 269-274
42. Kindler E., Martens A., and Reisig W. Inter-operability of workflow applications: local criteria for global soundness. In: van der Aalst W.M.P., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science vol. 1806 (2000), Springer-Verlag, Berlin 235-253
43. J. Koehler, R. Hauser, Untangling unstructured cyclic flows a solution based on continuations, in: R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, A. Gal et al. (Eds.), On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Lecture Notes in Computer Science, vol. 3290, 2004, pp. 121-138.
44. M. Koshkina, F. van Breugel, Verification of Business Processes for Web Services. Technical report CS-2003-11, York University, October 2003. Available from: http://www.cs.yorku.ca/techreports/2003/.
45. F. Leymann, Web Services Flow Language, Version 1.0, 2001.
46. Leymann F., and Roller D. Production Workflow: Concepts and Techniques (1999), Prentice-Hall PTR, Upper Saddle River, New Jersey, USA
47. Lohmann N., Massuthe P., Stahl C., and Weinberg D. Analyzing interacting BPEL processes. In: Dustdar S., Faideiro J.L., and Sheth A. (Eds). International Conference on Business Process Management (BPM 2006). Lecture Notes in Computer Science vol. 4102 (2006), Springer-Verlag, Berlin 17-32
48. Martens A. On compatibility of web services. Petri Net Newsletter 65 (2003) 12-20
49. A. Martens, Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services (In German). PhD thesis, Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany, 2003.
50. Martens A. Analyzing web service based business processes. In: Cerioli M. (Ed). Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005). Lecture Notes in Computer Science vol. 3442 (2005), Springer-Verlag, Berlin 19-33
51. zur Muehlen M. Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems (2004), Logos, Berlin
52. C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, H.M.W. Verbeek, Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
53. Ouyang C., van der Aalst W.M.P., Dumas M., and ter Hofstede A.H.M. From BPMN process models to BPEL web services. Proceedings of the 4th International Conference on Web Services (ICWS) (2006), IEEE Computer Society, Chicago IL, USA 285-292
54. C. Ouyang, M. Dumas, S. Breutel, A.H.M. ter Hofstede. Translating Standard Process Models to BPEL. BPM Center Report BPM-05-27, BPMcenter.org, 2005.
55. Ouyang C., Verbeek E., van der Aalst W.M.P., Breutel S., Dumas M., and ter Hofstede A.H.M. WofBPEL: a tool for automated analysis of BPEL processes. In: Benatallah B., Casati F., and Traverso P. (Eds). Proceedings of Service-Oriented Computing (ICSOC 2005). Lecture Notes in Computer Science vol. 3826 (2005), Springer-Verlag, Berlin 484-489
56. In: Reisig W., and Rozenberg G. (Eds). Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science vol. 1491 (1998), Springer-Verlag, Berlin
57. Scheer A.W. ARIS: Business Process Modelling (2000), Springer-Verlag, Berlin
58. C. Stahl, Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
59. C. Stahl. A Petri net semantics for BPEL. Technical Report 188, Humboldt-Universität zu Berlin, June 2005.
60. S. Thatte, XLANG Web Services for Business Process Design, 2001.
61. R. van der Toorn, Component-Based Software Design with Petri nets: An Approach Based on Inheritance of Behavior. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.
62. H.M.W. Verbeek, W.M.P. van der Aalst, Analyzing BPEL Processes using Petri Nets, in: D. Marinescu (Ed.), Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Florida International University, Miami, Florida, USA, 2005, pp. 59-78.
63. Verbeek H.M.W., Basten T., and van der Aalst W.M.P. Diagnosing workflow processes using woflan. The Computer Journal 44 4 (2001) 246-279
64. WFMC. Workflow Management Coalition Workflow Standard: Workflow Process Definition Interface - XML Process Definition Language (XPDL) (WFMC-TC-1025). Technical report, Workflow Management Coalition, Lighthouse Point, Florida, USA, 2002.
65. White S. Using BPMN to model a BPEL process. BPTrends 3 3 (2005) 1-18
66. S.A. White et al., Business Process Modeling Notation (BPML), Version 1.0, 2004.
67. Wohed P., van der Aalst W.M.P., Dumas M., and ter Hofstede A.H.M. Analysis of web services composition languages: the case of BPEL4WS. In: Song I.Y., Liddle S.W., Ling T.W., and Scheuermann P. (Eds). 22nd International Conference on Conceptual Modeling (ER 2003). Lecture Notes in Computer Science vol. 2813 (2003), Springer-Verlag, Berlin 200-215
68. IBM WebSphere Studio. www-306.ibm.com/software/integration/wsadie/.