BPEL Model Validation

The BPEL model is validated for both syntax and semantic errors before generating the BPEL code. Upon successful validation, the BPEL file (and the associated WSDL 1.1 files, if any) are generated. The results of the validation, as well as the progress of the BPEL generation, are displayed in the BPEL Progress tab of the Output window.

Example BPEL Model Violation:

The following model shows several basic BPEL violations:

Invalid_Model

 

StartEvent1 is of type Signal, which cannot be mapped to BPEL
The Message Flow connector between StartEvent1 and Activity1 is invalid, as Message Flow cannot be used to connect Activities or Events within a Process
EndEvent1 is of type Cancel, which cannot be mapped to BPEL
EndEvent1 cannot have any outgoing Sequence Flow connector, as it represents the end of a Process
Activity2 is not valid, as only an End Event represents the end of a Process
 

Notes

Double-click on a validation error entry in the BPEL Progress tab of the Output window to go to the source of the error in the Project Browser
 

Learn more

Learning Center topics

(Alt+F1) | Business Modeling | Business Rules |  Validate Business Rules