2005 | OriginalPaper | Chapter
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System
Authors : W. M. P. van der Aalst, J. B. Jørgensen, K. B. Lassen
Published in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.