UNIVERSITY OF TARGU MURES
The purpose of this paper is to define a model transformation between two standard languages for business process modeling: the Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL). BPMN is a standard notation for modeling business processes for the purposes of business analysis. The target users of this notation are business analysts. This paper considers the definition of model transformations between two languages for business process modeling, namely BPMN and BPEL. The model transformations should achieve four evaluation criteria: completeness, correctness, readability and reversibility.