验证标准

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 接收活动未通过验证，且输出包含错误。