BPEL模型验证

在生成BPEL代码之前，先对BPEL模型的语法和语义错误进行验证。成功验证后，将生成BPEL文件（以及关联的WSDL 1.1文件，如果有的话）。验证的结果以及BPEL生成的进度将显示在“系统输出”窗口的“ BPEL进度”选项卡中。

违反BPEL模型的示例

该模型显示了一些基本的BPEL违规：

• StartEvent1的类型为Signal，无法映射到BPEL
• StartEvent1和Activity1之间的消息流连接器无效，因为不能使用消息流来连接流程中的活动或事件
• EndEvent1类型为“取消”，无法映射到BPEL
• EndEvent1不能具有任何传出的顺序流连接器，因为它表示流程的结束
• Activity2无效，因为只有End Event代表流程的结束

笔记

• 双击“系统输出”窗口的“ BPEL进度”选项卡中的验证错误条目，以在“浏览器”窗口中转到错误的来源

学到更多

• 生成BPEL 2.0
• BPEL 2.0建模限制
• 系统输出窗口