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