| 前页 | 后页 |
BPEL模型验证
在生成BPEL代码之前，先对BPEL模型的语法和语义错误进行验证。成功验证后，将生成BPEL文件（以及关联的WSDL 1.1文件，如果有的话）。验证的结果以及BPEL生成的进度将显示在“系统输出”窗口的“ BPEL进度”选项卡中。
违反BPEL模型的示例
该模型显示了一些基本的BPEL违规：
- StartEvent1的类型为Signal，无法映射到BPEL
- StartEvent1和Activity1之间的消息流连接器无效，因为不能使用消息流来连接流程中的活动或事件
- EndEvent1类型为“取消”，无法映射到BPEL
- EndEvent1不能具有任何传出的顺序流连接器，因为它表示流程的结束
- Activity2无效，因为只有End Event代表流程的结束
笔记
- 双击“系统输出”窗口的“ BPEL进度”选项卡中的验证错误条目，以在“浏览器”窗口中转到错误的来源