BPEL 设计器具有内置 BPEL 代码验证功能（BPEL 验证器），可帮助您创建符合 WS-BPEL 2.0 标准的流程。验证器将检查代码中的错误，并在验证失败时通知用户。
验证器按照以下条件检查 BPEL 流程：
BPEL 设计器提供以下类型的验证：
要调用显式验证，请执行以下某项操作：
检查代码有效性的结果显示在以下区域中：
“设计”视图显示实时和显式验证类型的结果。图中元素旁边的红色十字表示该元素没有通过验证。如果单击该十字，则会显示一个注释窗口，其中列出了按照上面所列条件进行验证时相关的错误和警告消息。与实时验证有关的消息将会持续更新。请注意，仅当显式地调用验证时，才会在注释窗口中更新针对是否符合 BPEL 2.0 架构的验证相关消息。出现这种情况的原因是，针对是否符合 BPEL 2.0 架构的验证不是在实时模式下执行的。
在显式地调用验证时，“输出”窗口将显示验证结果。如果验证失败，“输出”窗口将包含错误和警告消息。
“导航”窗口通过在验证失败的元素图标上添加红色十字来显示实时和显式验证的结果。