妥当性検査の基準

バリデータは、次の基準に従って BPEL プロセスを検査します。

1. BPEL 2.0 スキーマへの適合性
2. WS-BPEL 2.0 仕様で定義された静的分析規則への準拠性
3. 壊れた参照
4. BPEL 2.0 仕様では有効であっても、まだ Sun BPEL サービスエンジンでサポートされていない構造

妥当性検査の種類

BPEL デザイナーでは、2 種類の妥当性検査ができます。

リアルタイム妥当性検査

この種類の妥当性検査は自動的に起動され、ユーザーの明示的な操作は必要ありません。現在のファイルのみが検査されます。妥当性検査は、BPEL 2.0 スキーマへの適合性の検査を除けば、前述のすべての基準に従って実行されます。

明示的妥当性検査

この種類の妥当性検査では、ユーザーが妥当性検査プロセスを明示的に起動します。インポートされたすべての XSD ファイルと WSDL ファイルも検査されます。妥当性検査は、前述のすべての基準に従って実行されます。

明示的妥当性検査を起動するには、次のどちらかを実行します。

• ソースビューで、ソースを右クリックしてポップアップメニューを呼び出し、「XML の妥当性検査」 (Alt-Shift-F9) を選択します。
• デザインビューで、「XML の妥当性検査」ボタン (Alt-Shift-F9) をクリックします。

  

通知

妥当性検査のエラーまたは成功は、次のものによってユーザーに通知されます。

「出力」ウィンドウ

妥当性検査が明示的に起動された場合、「出力」ウィンドウに妥当性検査の結果が表示されます。妥当性検査が失敗した場合、「出力」ウィンドウにはエラーメッセージと警告メッセージのどちらかまたは両方が出力されます。

妥当性検査に成功した場合、「出力」ウィンドウにはエラーも警告も示されません。

デザインビュー

デザインビューには、リアルタイム妥当性検査と明示的妥当性検査の両方の結果が表示されます。図上の要素の横の赤い十字は、その要素が妥当性検査に合格せず、出力にエラーが含まれていることを意味しています。感嘆符付きの黄色い三角は、その要素が妥当性検査に合格せず、出力に警告が含まれていることを意味しています。エラーと警告の両方がある場合、デザインビューには赤い十字が表示されます。十字または三角をクリックすると、コールアウトウィンドウが表示され、エラーや警告が一覧表示されます。

コールアウトウィンドウには、前述のすべての基準に従って、妥当性検査に関連するメッセージが表示されます。リアルタイムの妥当性検査に関連するメッセージは、絶えず更新されます。ただし、BPEL 2.0 スキーマへの適合性の妥当性検査に関連したメッセージは、妥当性検査を明示的に起動した場合にのみ、コールアウトウィンドウに表示され、更新されます。これは、BPEL 2.0 スキーマへの適合性の妥当性検査がリアルタイムでは実行されないためです。

「ナビゲータ」ウィンドウ

「ナビゲータ」ウィンドウには、リアルタイムと明示的の両方の妥当性検査の結果が表示され、妥当性検査が失敗した場合は、要素のアイコンに赤い十字または黄色い三角が追加されます。たとえば、次のスクリーンショットでは、AirlineReserved 受信アクティビティーが妥当性検査に合格せず、出力にエラーが含まれています。