BPEL 设计器:验证 BPEL 流程

另请参见

BPEL 设计器具有内置 BPEL 代码验证功能(BPEL 验证器),可帮助您创建符合 WS-BPEL 2.0 标准的流程。验证器将检查代码中的错误,并在验证失败时通知用户。

验证条件

验证器按照以下条件检查 BPEL 流程:

  1. 是否符合 BPEL 2.0 架构
  2. 是否符合 WS-BPEL 2.0 规范中定义的静态分析规则
  3. 中断的引用
  4. 按照 BPEL 2.0 规范是有效的结构,但 Sun BPEL 服务引擎尚不支持这些结构

验证类型

BPEL 设计器提供以下类型的验证:

要调用显式验证,请执行以下某项操作:

验证消息

检查代码有效性的结果显示在以下区域中:

“设计”、“源”和“逻辑”视图显示实时和显式验证类型的结果。

在“设计”视图中:

在“源”视图中:

在 BPEL 逻辑视图(“导航”窗口)中:

在显式地调用验证时,“输出”窗口将显示验证结果。如果验证失败,“输出”窗口将包含错误和警告消息。

快速修复

快速修复可以部分实现验证错误修复的自动化。

使用快速修复:

  1. 打开流程的“源”视图。
  2. 单击工具栏上的“验证 XML”按钮,或者右键单击源代码,然后选择“验证 XML”(Alt-Shift-F9)。在“输出”窗口中,将显示验证结果。如果输出包含错误或警告,您可以尝试使用快速修复解决这些问题。
  3. 单击工具栏上的“快速修复”按钮。“输出”窗口的“快速修复”标签中将显示快速修复结果。该窗口将反映快速修复执行的所有更改(如果有)。
目前,快速修复支持自动更正拼错的变量名称。
另请参见
在“设计”视图中对元素执行操作
关于 BPEL 元素

法律声明