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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)
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)
van der Aalst, W.M.P., Lassen, K.B.: Translating Workflow Nets to BPEL4WS, Eindhoven University of Technology, Eindhoven. BETA Working Paper Series (2005)
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)
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)
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)
Dehnert, J.: A Methodology for Workflow Modeling: From Business Process Modeling Towards Sound Workflow Specification. PhD thesis, TU Berlin, Berlin, Germany (2003)
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)
Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley & Sons, Chichester (2005)
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)
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)
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)
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)
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)
Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use. EATCS monographs on Theoretical Computer Science, vol. 1. Springer, Berlin (1997)
Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21(2), 34–41 (2004)
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)
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)
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)
Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
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)
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)
Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)
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)
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)
White, S.: Using BPMN to Model a BPEL Process. BPTrends 3(3), 1–18 (2005)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)