BPEL 设计器开发人员指南

验证 BPEL

BPEL 设计器具有内置的 BPEL 代码验证功能，有助于开发人员创建格式良好的、有效的、与标准兼容的代码。检查代码的错误，如果验证失败，则会通知用户。

验证标准

Validator 按照下列标准检查 BPEL 流程：

1. 与 BPEL 2.0 模式的一致性。

   关于使用与 BPEL 2.0 规范不同的 BPEL 模式的更多信息，请参考 故障排除 一节。

2. 与 WS-BPEL 2.0 规范中定义的静态分析规则的兼容性。
3. 破坏的引用。
4. 根据 BPEL 2.0 规范有效但 Sun BPEL Service Engine 尚未支持的构造。

验证类型

BPEL 设计器提供两种类型的验证：

实时验证

这种验证自动调用，且不需要用户执行任何显式操作。仅检查当前文件。除了与 BPEL 2.0 模式的一致性验证之外，此验证按照上述所有标准执行。

显式验证

这种验证需要用户显式调用验证过程。检查所有导入的 XSD 和 WSDL 文件。此验证按照上述所有标准执行。

要调用显式验证，请执行下列操作之一：

• 在“源”视图中，右键单击来源代码以调用弹出菜单，并选择“验证 XML”(Alt-Shift-F9)。
• 在“设计”视图中，单击“编辑器”工具栏上的“验证 XML”按钮 (Alt-Shift-F9)。

  

通知

在“输出”窗口、“设计”视图和“导航”中通知用户验证错误或成功。

输出窗口

如果已显式调用验证，则验证结果将显示在“输出”窗口中。如果验证失败，则“输出”窗口包含错误和/或警告：

如果验证成功，则“输出”窗口中没有任何警告或错误。

“设计”视图

“设计”视图在插图窗口中以图形和错误条纹显示实时和显式验证的结果。

在图中，元素旁的红叉表示元素未通过验证且输出包含错误。带惊叹号的黄三角表示元素未通过验证且输出包含警告。如果同时有错误和警告，则“设计”视图显示红叉。如果单击红叉或黄三角，则将显示带有错误和/或警告的插图窗口：

插图窗口包含与按照上述所有标准进行的验证有关的消息。与实时验证有关的消息不断更新。

在“设计”视图中，验证结果也由错误条纹显示，即位于滚动栏右边的条纹，如果一些元素未通过验证，则会包含红色标记。错误条纹表示整个图，而不仅仅是当前显示的部分。可以立即看到 BPEL 流程是否包含错误，而无需滚动看整个图。可以单击红色标记跳至导致问题的元素。如果未发现任何错误，则错误条纹中的小方块是绿色的。

“导航”窗口

“导航”窗口同时显示实时验证和显式验证的结果，如果验证失败，则在元素图标上添加红叉或黄三角。例如，在下面的屏幕截图中，AirlineReserved 接收会通过验证的活动，并且输出包含错误。

快速修复

快速修复支持对错误修复进行部分自动化验证。

要使用快速修复：

1. 打开流程的“源”视图。
2. 单击工具栏上的“验证 XML”按钮或右键单击源并选择“验证 XML（Alt-Shift-F9）”。在“输出”窗口中将会获得验证结果。如果输出包含错误或警告，可以尝试使用快速修复解决他们。
3. 单击工具栏上的“快速修复”按钮。快速修复结果在“输出”窗口的“快速修复”标签中显示。快速修复执行的所有更改（如果有）都会在窗口中反映出来。

目前，快速修复支持自动更正变量名称的拼写错误。

返回顶部