このセクションでは WS-BPEL Semantics Validator ツールについて説明します。このツールは BPEL ファイルの構文上の正しさを検証します。

このセクションの内容:

WS-BPEL Semantics Validator とは

WS-BPEL Semantics Validator は、スキーマ検証によって構文上の正しさをチェックする静的解析ツールです。要素と属性が XML スキーマに準拠していることを検証します。また、XML スキーマでは強制されない、BPEL 仕様が課す制約を明示的に検証します。BPEL Semantics Validator は以下のようなエラーを発見します。

• BPEL、WSDL、および XML スキーマ タイプへの未解決の参照
• 開始アクティビティ、相関、スコープ、変数、リンク、およびパートナー リンクに関する制約への違反
• 割り当てにおける互換性のない型
• 埋め込まれた XPath 表現のエラー

WS-BPEL Semantics Validator の設定

WS-BPEL Validator ツールに対して以下の設定を行うことができます。

• BPEL URL: 検証する BPEL ファイルの URL を指定します。
• インポートするドキュメント: 検証する BPEL ファイルをインポートすることができます。