Validation Rules for Exporting Business Process Diagram to Business Process Execution Language

The Business Process Modeling Notation (or BPMN) is a set of readily understandable notations used for all business analysts/users. The BPD diagram is used for designing the business process with a set of BPMN notations. The Business Process Execution Language for Web Services, called “BPEL” or “BPEL4WS” is a language used for the definition and execution of business processes using Web Services. As we investigate the validation rules for exporting BPMN elements to BPEL files, we have found that there are some verification and validation rules needed in order to ensure that the converted BPEL files can be manipulated and executed respectively. This paper reviews the current validation rules for the BPD diagrams and shows the verification & validation rules for exporting BPMN to BPEL. Additionally, in this paper, No Magic Inc.’s MagicDraw Version 10.5 is used for the business process modeling tool and BEA WebLogic Integration (WLI) Version 8.1 is also used for business process execution respectively. As a result, this paper reveals that those rules for exporting feature are useful for all business analysts/users who want to convert the BPD diagram to BPEL.