本主题涵盖了 BPEL 语义验证器，它用来验证 BPEL 文件的语法正确性。
本章包含：
对 WS-BPEL 语义验证器的理解
BPEL 语义验证器是通过模式验证器检查语义正确性的一个静态分析工具，该验证器验证元素和属性是否符合 XML 模式。它还明确地验证不受 XML 模式强制的 BPEL 规格应用的约束。验证器发现错误，如：
- 未解决的对 BPEL、WSDL 和 XML 模式类型的引用。
- 违反对启动活动、关联、范围、变量、链接和合作伙伴链接的约束。
- 赋值中不兼容的类型。
- 嵌入 Xpath 表达中的错误。
对 WS-BPEL 语义验证器的配置
您可为 WS-BPEL 验证器配置以下设置：
- BPEL URL：指定要验证的 BPEL 文件的 URL。
- Imported documents：允许导入要验证的文件。
