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

Wil M. P. van der Aalst Jens Bæk Jørgensen Kristian Bisgaard Lassen Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. 22-39 2005 conf/otm/2005-3 OTM Conferences (1) http://dx.doi.org/10.1007/11575771_5 db/conf/otm/otm2005-1c.html#AalstJL05