验证条件

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

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

验证类型

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

实时验证

这种类型的验证是自动调用的，它不要求用户执行任何显式操作，并且仅检查当前文件。验证按照上述所有条件执行，但针对是否符合 BPEL 2.0 架构的验证除外。

显式验证

这种类型的验证要求用户显式地调用验证过程。此外，还会检查所有导入的 XSD 和 WSDL 文件。验证按照上述所有条件执行。

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

• 在“源”视图中，右键单击源代码以调用弹出式菜单，然后选择“验证 XML”(Alt+Shift+F9)。
• 在“设计”视图中，单击“验证 XML”按钮 (Alt+Shift+F9)。

  

通知

在出现验证错误或验证成功时将通过以下方式通知用户：

“输出”窗口

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

如果验证成功，“输出”窗口中将不显示任何警告或错误。

“设计”视图

“设计”视图可显示实时和显式验证的结果。图中元素旁边的红色十字表示该元素未通过验证，并且输出包含错误。带有感叹号的黄色三角形表示该元素未通过验证，并且输出包含警告。如果同时包含错误和警告，“设计”视图将显示红色十字。如果单击十字或三角形，则会显示一个注释窗口，其中包含错误和/或警告列表：

注释窗口包含按照上面列出的所有条件进行验证的相关消息。与实时验证有关的消息将会持续更新。但是，仅当显式地调用验证时，才会在注释窗口中显示并更新针对是否符合 BPEL 2.0 架构的验证相关消息。出现这种情况的原因是，针对是否符合 BPEL 2.0 架构的验证不是实时执行的。

“导航”窗口

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