ルールを持つJSFナビゲーション・ダイアグラム