预订演示
前页 后页

BPEL模型验证

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

示例BPEL模型违规

该模型显示了几个基本的 BPEL 违规:

An example of an invalid BPEL diagram in Sparx Systems Enterprise Architect.
  • 信号是信号类型,不能映射到 BPEL
  • StartEvent1 和 Activity1 之间的信息流连接器无效,因为信息流不能用于连接活动或进程内的事件
  • EndEvent1 是 Cancel 类型,不能映射到 BPEL
  • EndEvent1 不能有任何传出序列流连接器,因为它代表一个进程的结束
  • Activity2 无效,因为只有一个事件代表一个进程的结束

注记

  • 双击系统输出窗口“BPEL Progress”选项卡中的验证错误条目,转到浏览器窗口中的错误源

了解更多