Skip to main content
Springer Nature Link
Log in

Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System

  • Conference paper
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (OTM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3760))

  • 1308 Accesses

Abstract

This paper describes use of the formal modeling language Colored Petri Nets (CPNs) in the development of a new bank system. As a basis for the paper, we present a requirements model, in the form of a CPN, which describes a new bank work process that must be supported by the new system. This model has been used to specify, validate, and elicit user requirements. The contribution of this paper is to describe two translation steps that go from the requirements CPN to an implementation of the new system. In the first translation step, a workflow model is derived from the requirements model. This model is represented in terms of a so-called Colored Workflow Net (CWN), which is a generalization of the classical workflow nets to CPN. In the second translation step, the CWN is translated into implementation code. The target implementation language is BPEL4WS deployed in the context of IBM WebSphere. A semi-automatic translation of the workflow model to BPEL4WS is possible because of the structural requirements imposed on CWNs.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 1–65. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)

    Google Scholar 

  3. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  4. van der Aalst, W.M.P., Lassen, K.B.: Translating Workflow Nets to BPEL4WS, Eindhoven University of Technology, Eindhoven. BETA Working Paper Series (2005)

    Google Scholar 

  5. Andrews, T., Curbera, F., 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)

    Google Scholar 

  6. Bossen, C., Jørgensen, J.B.: Context-descriptive Prototypes and Their Application to Medicine Administration. In: Proc. of Designing Interactive Systems DIS 2004, Cambridge, Massachusetts, pp. 297–306. ACM, New York (2004)

    Chapter  Google Scholar 

  7. Chrzastowski-Wachtel, P.: A Top-down Petri Net Based Approach for Dynamic Workflow Modeling. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 336–353. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Dehnert, J.: A Methodology for Workflow Modeling: From Business Process Modeling Towards Sound Workflow Specification. PhD thesis, TU Berlin, Berlin, Germany (2003)

    Google Scholar 

  9. Dehnert, J., van der Aalst, W.M.P.: Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems 13(3), 289–332 (2004)

    Article  Google Scholar 

  10. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley & Sons, Chichester (2005)

    Book  Google Scholar 

  11. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. 12th International Workshop on Abstract State Machines, Paris, France, March 2005, pp. 131–151 (2005)

    Google Scholar 

  12. Ferrara, A.: Web services: A process algebra approach. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 242–251. ACM Press, New York (2004)

    Chapter  Google Scholar 

  13. Fisteus, J.A., Fernández, L.S., Kloos, C.D.: Formal verification of BPEL4WS business collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 79–94. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Georgakopoulos, D., Hornick, M., Sheth, A.: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3, 119–153 (1995)

    Article  Google Scholar 

  15. van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 335–354. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use. EATCS monographs on Theoretical Computer Science, vol. 1. Springer, Berlin (1997)

    Google Scholar 

  17. Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21(2), 34–41 (2004)

    Article  Google Scholar 

  18. Jørgensen, J.B., Lassen, K.B.: Aligning Work Processes and the Adviser Portal Bank System. In: International Workshop on Requirements Engineering for Business Need and IT Alignment (2005)

    Google Scholar 

  19. Koehler, J., Hauser, R.: Untangling Unstructured Cyclic Flows – A Solution Based on Continuations. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 121–138. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer 2(2), 98–132 (1998)

    Article  MATH  Google Scholar 

  21. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. Mecella, M., Parisi-Presicce, F., Pernici, B.: Modeling E-service Orchestration through Petri Nets. In: Proceedings of the Third International Workshop on Technologies for E-Services. LNCS, vol. 2644, pp. 38–47. Springer, Berlin (2002)

    Google Scholar 

  23. Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-13, BPMcenter.org (2005)

    Google Scholar 

  24. Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)

    Google Scholar 

  25. Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL Processes using Petri Nets. In: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Florida International University, Miami, Florida, USA, pp. 59–78 (2005)

    Google Scholar 

  26. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246–279 (2001)

    Article  MATH  Google Scholar 

  27. White, S.: Using BPMN to Model a BPEL Process. BPTrends 3(3), 1–18 (2005)

    Google Scholar 

  28. Wohed, P., van der Aalst, W.M.P., Dumas, M., 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., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Technology Management, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    W. M. P. van der Aalst

  2. Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, Denmark

    W. M. P. van der Aalst, J. B. Jørgensen & K. B. Lassen

Authors
  1. W. M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. B. Jørgensen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. K. B. Lassen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Aalst, W.M.P., Jørgensen, J.B., Lassen, K.B. (2005). Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_5

Download citation

  • DOI: https://doi.org/10.1007/11575771_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29736-9

  • Online ISBN: 978-3-540-32116-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics