Processos

COVER SHEET
Ouyang, Chun and van der Aalst, Wil M.P. and Dumas, Marlon and ter Hofstede, Arthur H.M. (2006) From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way.

Accessed from http://eprints.qut.edu.au
Copyright 2006 the authors

From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way
Chun Ouyang1 , Marlon Dumas1 , Wil M.P. van der Aalst2,1 , and Arthur H.M. ter Hofstede1
1

Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia {c.ouyang,m.dumas,a.terhofstede}@qut.edu.au 2 Department of Computer Science, Eindhoven University of Technology, GPO Box 513, NL-5600 MB, The Netherlands {w.m.p.v.d.aalst}@tue.nl

Abstract. Emerging methods for enterprise systems analysis rely on the representation of work practices in the form of business process models. A standard for representing such models is the Business Process Modeling Notation (BPMN). BPMN models are mainly intended for communication and decision-making between domain analysts, but often they are also given as input to software development projects. Meanwhile, development methods for process-oriented systems rely on detailed process definitions that are executed by process engines. These process definitions refine BPMN models by adding data manipulation, application binding and other implementation details. A major standard for process implementation is the Business Process Execution Language for Web Services (BPEL4WS, or BPEL for short). Accordingly, a natural method for end-to-end development of process-oriented systems is to translate BPMN models to BPEL definitions for subsequent refinement. However, instrumenting this method is challenging because BPEL imposes far more syntactic restrictions than BPMN so as to ensure correctness. Existing techniques for translating BPMN to BPEL only work for limited classes of BPMN models. This paper proposes techniques that overcome these