2005 | OriginalPaper | Buchkapitel
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System
verfasst von : W. M. P. van der Aalst, J. B. Jørgensen, K. B. Lassen
Erschienen in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.