@inbook{576f21bdfdfb4f90af5948fb3a21fa99,
title = "Let's go all the way: from requirements via colored workflow nets to a BPEL implementation of a new bank system paper",
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, intheformof 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.",
author = "{van der Aalst}, W.M.P. and J.B. J{\o}rgensen and K.B. Lassen",
year = "2005",
doi = "10.1007/11575771_5",
language = "English",
isbn = "978-3-540-29736-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "22--39",
editor = "Z. Tari",
booktitle = "On the Move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE",
address = "Germany",
note = "Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2005 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2005 ; Conference date: 31-10-2005 Through 04-11-2005",
}