本主题涵盖了 BPEL 语义验证器，它用来验证 BPEL 文件的语法正确性。

本章包含：

对 WS-BPEL 语义验证器的理解

BPEL 语义验证器是通过模式验证器检查语义正确性的一个静态分析工具，该验证器验证元素和属性是否符合 XML 模式。它还明确地验证不受 XML 模式强制的 BPEL 规格应用的约束。验证器发现错误，如：

• 未解决的对 BPEL、WSDL 和 XML 模式类型的引用。
• 违反对启动活动、关联、范围、变量、链接和合作伙伴链接的约束。
• 赋值中不兼容的类型。
• 嵌入 Xpath 表达中的错误。

对 WS-BPEL 语义验证器的配置

您可为 WS-BPEL 验证器配置以下设置：

• BPEL URL：指定要验证的 BPEL 文件的 URL。
• Imported documents：允许导入要验证的文件。