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

Aalst, Wil M. P. van der; Jørgensen, Jens Bæk; Lassen, Kristian Bisgaard

doi:10.1007/11575771_5

Cited by 28 publications

(33 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work is also related to [8] where we describe a case study where for a new bank system requirements are mapped onto Colored Workflow Nets (a subclass of Colored Petri Nets) which are then implemented using BPEL in the IBM WebSphere environment.…”

Section: Related Workmentioning

confidence: 99%

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

Lassen

Aalst

2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

View full text Add to dashboard Cite

Abstract. This paper presents WorkflowNet2BPEL4WS a tool to automatically map a graphical workflow model expressed in terms of Workflow Nets (WF-nets) onto BPEL. The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes and is supported by an increasing number of systems (cf. the IBM WebSphere Choreographer and the Oracle BPEL Process Manager). While being a powerful language, BPEL is difficult to use. Its XML representation is very verbose and only readable for the trained eye. It offers many constructs and typically things can be implemented in many ways, e.g., using links and the flow construct or using sequences and switches. As a result only experienced users are able to select the right construct. Some vendors offer a graphical interface that generates BPEL code. However, the graphical representations are a direct reflection of the BPEL code and not easy to use by end-users. Therefore, we provide a mapping from WF-nets to BPEL. This mapping builds on the rich theory of Petri nets and can also be used to map other languages (e.g., UML, EPC, BPMN, etc.) onto BPEL. To evaluate WorkflowNet2BPEL4WS we used more than 100 processes modeled using Protos (the most widely used business process modeling tool in the Netherlands), automatically converted these into CPN Tools, and applied our mapping. The results of these evaluation are very encouraging and show the applicability of our approach.

show abstract

Section: Related Workmentioning

confidence: 99%

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

Lassen

Aalst

2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

View full text Add to dashboard Cite

show abstract

“…In [8,20] rather small cases are used, whereas real world processes typically consist of hundreds of activities and are far from trivial. Therefore, in order to investigate the general applicability of the approach, shown in Figure 1, it is applied to a large real world healthcare process which is non-trivial.…”

Section: Executable Use Cases (Eucs)mentioning

confidence: 99%

“…One approach to bridging this gap is to go from a real-world process, via a requirements model and a design model to an implementation in a workflow system as is described in [8,20]. The different steps in this development approach are shown in Figure 1.…”

Section: Introductionmentioning

confidence: 99%

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

Mans

Aalst

Russell

et al. 2009

Transactions on Petri Nets and Other Models of Concurrency III

View full text Add to dashboard Cite

Abstract. Hospitals and other healthcare organizations need to support complex and dynamic workflows. Moreover, these processes typically invoke a number of medical disciplines. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. In this paper we apply a development approach where an Executable Use Case (EUC) and a Colored Workflow Net (CWN) are used to close the gap between a given requirements specification and the realization of these requirements based on workflow technology. In order to do so, we describe a large case study where the diagnostic process of the gynecological oncology care process of the Academic Medical Center (AMC) hospital is used as a candidate process. The process consists of hundreds of activities. These have been modeled and analyzed using an EUC and a CWN. Moreover, based on the CWN, the process has been implemented using four different workflow systems. In this way, we demonstrate the general application of the approach and its applicability to distinct technology systems.

show abstract

“…This paper combines insights from two of our previous publications. In [2], we describe a case study where the requirements of a bank system are captured as Colored Workflow nets (a subclass of Colored Petri nets) and the system is then implemented in BPEL. In this study we use a semiautomated mapping from (Colored) Petri nets to BPEL [3] that has commonalities with a subset of the translation discussed in this paper.…”

Section: Related Workmentioning

confidence: 99%

“…This function computes the set of preconditions for an object by relying on a third function named EventOnFlow. This function takes as input a sequence flow f and produces a single event 2 resulting from the execution of the source object of the flow (denoted as Source(f)). If the flow's source object xs is outside the component to which the flow's target object (Target(f)) belongs, it implies that the flow's target object x is the source object of the above component (Component(x)).…”

Section: Component Of a Well-formed Core Bpd C Is Not Well Structurementioning

confidence: 99%

From BPMN Process Models to BPEL Web Services

Ouyang

Dumas

Hofstede

et al. 2006

2006 IEEE International Conference on Web Services (ICWS'06)

138

View full text Add to dashboard Cite

show abstract

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

Cited by 28 publications

References 18 publications

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

From BPMN Process Models to BPEL Web Services

Contact Info

Product

Resources

About