| 前页 | 后页 |
BPEL模型验证
在生成 BPEL 代码之前，对 BPEL模型的语法和语义错误进行了验证。成功验证后，将生成 BPEL 文件（以及相关联的 WSDL 1 . 1文件，如果有的话）。验证结果以及 BPEL 生成的进度显示在系统输出窗口的“BPEL 进度”选项卡中。
示例BPEL模型违规
该模型显示了几个基本的 BPEL 违规：
- 信号是信号类型，不能映射到 BPEL
- StartEvent1 和 Activity1 之间的信息流连接器无效，因为信息流不能用于连接活动或进程内的事件
- EndEvent1 是 Cancel 类型，不能映射到 BPEL
- EndEvent1 不能有任何传出序列流连接器，因为它代表一个进程的结束
- Activity2 无效，因为只有一个事件代表一个进程的结束
注记
- 双击系统输出窗口“BPEL Progress”选项卡中的验证错误条目，转到浏览器窗口中的错误源