BPEL 设计器:验证 BPEL 流程
另请参见
BPEL 设计器具有内置 BPEL 代码验证功能(BPEL 验证器),可帮助您创建符合 WS-BPEL 2.0 标准的流程。验证器将检查代码中的错误,并在验证失败时通知用户。
验证条件
验证器按照以下条件检查 BPEL 流程:
- 是否符合 BPEL 2.0 架构
- 是否符合 WS-BPEL 2.0 规范中定义的静态分析规则
- 中断的引用
- 按照 BPEL 2.0 规范是有效的结构,但 Sun BPEL 服务引擎尚不支持这些结构
验证类型
BPEL 设计器提供以下类型的验证:
- 实时验证。这种类型的验证是自动调用的,它不要求用户执行任何显式操作。并且仅检查当前文件。验证按照上述所有条件执行,但针对是否符合 BPEL 2.0 架构的验证除外。
- 显式验证。这种类型的验证要求用户显式地调用验证过程。此外,还会检查所有导入的 XSD 和 WSDL 文件。验证按照上述所有条件执行。
要调用显式验证,请执行以下某项操作:
- 在“源”视图中,右键单击源代码,然后从弹出式菜单中选择“验证 XML”(Alt-Shift-F9)。
- 在“设计”或“源”视图中,单击“验证 XML”按钮 (Alt-Shift-F9)。
验证消息
检查代码有效性的结果显示在以下区域中:
- “设计”视图
- “源”视图
- “输出”窗口
- “导航”窗口的“BPEL 逻辑视图”
“设计”、“源”和“逻辑”视图显示实时和显式验证类型的结果。
在“设计”视图中:
- BPEL 图上的错误消息。图中元素旁边带有十字的红色标记表示,该元素没有通过验证。如果单击该十字,则会显示一个注释窗口,其中列出了按照上面所列条件进行验证时相关的错误和警告消息。与实时验证有关的消息将会持续更新。
- 请注意,仅当显式地调用验证时,才会在注释窗口中更新针对是否符合 BPEL 2.0 架构的验证相关消息。出现这种情况的原因是,针对是否符合 BPEL 2.0 架构的验证不是在实时模式下执行的。
- 错误带区。错误带区是滚动条右侧的一个条形区域,如果某些元素未通过验证,此区域将包含红色标记。错误带区表示整个图,不只是当前显示的部分。您可以立即看到 BPEL 流程中是否包含错误,而无需滚动查看整个图。可以单击红色标记跳至导致问题的元素。如果未检测出错误,则错误带区中的小方块将显示为绿色。
在“源”视图中:
- 错误标记。包含错误的元素的起始标记右侧将显示带有十字的红色标记。字符串下面带有红色波浪线。
在 BPEL 逻辑视图(“导航”窗口)中:
在显式地调用验证时,“输出”窗口将显示验证结果。如果验证失败,“输出”窗口将包含错误和警告消息。
快速修复
快速修复可以部分实现验证错误修复的自动化。
使用快速修复:
- 打开流程的“源”视图。
- 单击工具栏上的“验证 XML”按钮,或者右键单击源代码,然后选择“验证 XML”(Alt-Shift-F9)。在“输出”窗口中,将显示验证结果。如果输出包含错误或警告,您可以尝试使用快速修复解决这些问题。
- 单击工具栏上的“快速修复”按钮。“输出”窗口的“快速修复”标签中将显示快速修复结果。该窗口将反映快速修复执行的所有更改(如果有)。
目前,快速修复支持自动更正拼错的变量名称。
- 另请参见
- 在“设计”视图中对元素执行操作
- 关于 BPEL 元素
法律声明