1又はそれ以上のコンピュータシステムによって、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、ことを特徴とする方法。前記ナビゲーションエラーは、1又はそれ以上の到達不能ページ、1又はそれ以上のゴーストページ、あるいは1又はそれ以上の未定義の遷移の中の1又はそれ以上を有する、請求項1に記載の方法。前記イベント駆動型のアプリケーションは、ウェブアプリケーションである、請求項1に記載の方法。前記イベント駆動型のアプリケーションは、STRUTSに基づくウェブアプリケーションである、請求項1に記載の方法。ポピュレートされる場合に前記ページ遷移グラフは、前記イベント駆動型のアプリケーションの1又はそれ以上のページと、前記イベント駆動型のアプリケーションの1又はそれ以上のゴーストページと、前記イベント駆動型のアプリケーションによってサポートされる前記ユーザ又はサーバイベントの1又はそれ以上と、参照されるが定義されていない1又はそれ以上のユーザ又はサーバイベントと、前記ユーザ又はサーバイベントの1又はそれ以上を処理する1又はそれ以上のイベントハンドラと、前記ユーザ又はサーバイベントの1又はそれ以上のための1又はそれ以上のイベントデータとをエンコードする、請求項1に記載の方法。実行される場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作するソフトウェアを具現する1又はそれ以上のコンピュータ読取可能な持続性記憶媒体。1又はそれ以上のプロセッサによって実行される命令を含むメモリと、前記メモリへ結合され、前記命令を実行するよう動作する1又はそれ以上のプロセッサとを有し、前記1又はそれ以上のプロセッサは、前記命令を実行する場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作する、装置。イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスする手段と、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出す手段と、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出す手段と、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出す手段と、前記取り出されたデータを抽象構文木として記憶する手段と、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートする手段と、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする手段と、を有するシステム。本発明は、ウェブアプリケーションのモデルベース解析のためのページ遷移グラフPTGを自動的に取り出す方法、記憶媒体、装置及びシステムを提供することを目的とする。本発明の実施形態によれば、1又はそれ以上のコンピュータシステムによって、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、ことを特徴とする方法が提供される。本発明の実施形態によれば、実行される場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作するソフトウェアを具現する1又はそれ以上のコンピュータ読取可能な持続性記憶媒体が提供される。本発明の実施形態によれば、1又はそれ以上のプロセッサによって実行される命令を含むメモリと、前記メモリへ結合され、前記命令を実行するよう動作する1又はそれ以上のプロセッサとを有し、前記1又はそれ以上のプロセッサは、前記命令を実行する場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作する、装置が提供される。本発明の実施形態によれば、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスする手段と、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出す手段と、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出す手段と、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出す手段と、前記取り出されたデータを抽象構文木として記憶する手段と、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートする手段と、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする手段と、を有するシステムが提供される。本発明の実施形態によれば、ウェブアプリケーションのモデルベース解析のためのページ遷移グラフPTGを自動的に取り出すことが可能となる。ウェブアプリケーションを解析するためには、1ウェブアプリケーションの挙動を実行するドライバ、及び2ウェブアプリケーションが使用しうるが解析の適用範囲外にあるコンポーネントをシミュレーションするスタブ、を開発することが必要である。例えば、ドライバは、ウェブアプリケーションに対してユーザアクションをシミュレーションしてよく、スタブは、ウェブアプリケーションによって使用されるデータベースをシミュレーションしてよい。特定の実施形態は、1ウェブアプリケーションの可能なページに対応するノードと、可能なユーザ及びサーバイベント例えば、前記ページにおけるリンク又はボタンの選択に対応する遷移と、イベントハンドラと、ユーザデータとを有するアプリケーション特有のページ遷移グラフPageTransitionGraphPTGモデルを特定すること、及び2アプリケーション特有のPTGを横断し、アプリケーション特有のPTGによって許可されるユーザ又はサーバイベントのシーケンスを発生させるために、アプリケーションに依存しないドライバを用いること、を伴う技術を用いることによって、ウェブアプリケーションのためのドライバを生成してよい。この技術は、ウェブアプリケーションのナビゲーション及びビジネスロジック要件の認証又は解析を容易にしうる。限定されない例として、2010年3月31日付けで出願された米国特許出願第12/751982号発明の名称GENERATINGADRIVERFORANALYSISOFANEVENTDRIVENAPPLICATIONは、イベント駆動型のアプリケーションのアプリケーション特有のナビゲーションモデルを特定すること、イベント駆動型のアプリケーションがナビゲーション要件を満足するかどうかを決定するようイベント駆動型のアプリケーションの1又はそれ以上のナビゲーション要件に関してナビゲーションモデルを解析すること、ナビゲーションモデルに基づきイベント駆動型のアプリケーションのための1又はそれ以上のドライバを生成すること、及び、イベント駆動型のアプリケーションがビジネスロジック要件を満足するかどうかを決定するようイベント駆動型のアプリケーションの1又はそれ以上のビジネスロジック要件に関してイベント駆動型のアプリケーションを解析するために、アプリケーションに依存しないイベントドライバによりナビゲーションモデルを横断すること、を含む方法を開示する。この特許文献は、単なる例として、参照により本願に援用される。特定の実施形態は、静的解析を用いてウェブアプリケーションの実施からPTG仕様を取り出すことによって、ドライバを生成する工程を実質的に自動化する。特定の実施形態は、JSPJAVA登録商標SERVERPAGESファイル及びXMLExtensibleMarkupLanguageファイルを用いてそれらのページ遷移をエンコードするJAVA登録商標に基づくウェブアプリケーションのためのPTG抽出を装置化する。APACHESTRUTS又はSTRUTSに基づくアプリケーションは、この分野におけるアプリケーションの一例である。2通りのSTRUTSが存在する。すなわち、STRUTS1及びSTRUTS2である。ここでは、STRUTSとの言及は、必要に応じて、STRUTS1、STRUTS2、又はそれら両方を含み、逆の場合も同じである。本開示は、STRUTSに基づくアプリケーションについて記載及び図示するが、あらゆる適切なウェブアプリケーションを包含する。ここでは、ウェブアプリケーションとの言及は、必要に応じて、何らかの適切なイベント駆動型のアプリケーションを含む。STRUTSは、MVCModelViewController設計パターンに基づくオープンソースのフレームワークである。ビューポジションは、一般にJSPによって表され、静的情報例えば、HTML、XMLを動的情報例えば、1又はそれ以上のJSPスクリプトレットの一部としてのJAVE登録商標と結合する。特定の実施形態において、コントローラは、STRUTSサーブレットコントローラによって表され、入来するユーザリクエストをインターセプトし、それらを、通常strutsconfigxmlと呼ばれるXML記述子ファイルにおいて特定されるアクションマッピング情報に従って、適切なイベントハンドラへ送る。STRUTSにおいて、リクエストハンドリングクラスは、orgapachestrutsactionパッケージにおけるActionクラスから下位分類される。それらのイベントハンドリング方法はexecuteと呼ばれる。アクションは、ビジネスロジッククラスに対する呼びかけをカプセル化し、結果を解釈し、適切なビューコンポーネントへ制御をディスパッチして応答を生成する。フォームポピュレーションformpopulationは、アクションフォームActionFormクラスによってサポートされ、ユーザデータの記憶及び認証を容易にする。図1は、例となるウェブアプリケーションのためのデータフローの一例を表す。ウェブアプリケーションは、STRUTSに基づくアプリケーションであってよい。データフローは、一般的に、1ビューからアクション例えば、ユーザが、リンクをクリックし、又はフォーム404JSPによって表されてよい。をサブミットする場合に、コントローラ層402がリクエストを受け取り、マッピングを調べ、適切なアクション406へ進み、アクション406はビジネス層408を呼び出す。と、2アクションからビュー例えば、基礎を成すサービス410に対する呼び出しが返った後、アクション406はビュー層におけるリソースへ進み、ページがウェブブラウザにおいて表示される。との間を行ったり来たりする。これを説明するよう、レジストレーションRegistrationと呼ばれる次の例を考える。レジストレーションは、ユーザが自身のアカウントを登録し、そのアカウントにログインして、後にログアウトすることを可能にする。レジストレーションは、2つのXMLファイルwebxml及びstrutsconfigxml及び6つのJSPページ、すなわち、indexjspwebxml設定ファイルにおいてマークされる最初のページ、welcomejsp、userloginjsp、loginsuccessjsp、userRegisterjsp及びregisterSuccessjspを用いて、そのページ遷移をエンコードする。レジストレーションのイベントハンドリング部分は、4つのアクションActionクラス及び2つのアクションフォームActionFormオブジェクトを含む。特定の実施形態において、PTG抽出は2つのステップ、すなわち、1JSP、XML及びJAVA登録商標を解析し、それらから関連情報を検索し、該情報を都合の良い形態例えば、抽象構文木ASTAbstractSyntaxTreeで記憶するステップ、及び2検索された情報に基づいてPTGを構築するステップを有する。特定の実施形態において、解析ステップは、1JSPファイル、2XML設定ファイル、及び3アクションクラス及びアクションフォームオブジェクトをエンコードするクラスファイル、から情報を検索する。それらのステップは、各ステップが、空の又は部分的にポピュレートされているASTをとり、それを当該ステップで利用可能な情報に基づいて更新するような、如何なる適切な順序で起こってもよい。特定の実施形態において、JSP検索ステップは、ウェブアプリケーションの全てのJSPファイルを解析する。各JSPページは、ASTにおけるページPageノードに対応する。各JSPファイルは、JSPにおいて静的にエンコードされている可能なユーザ及びサーバイベントに関して情報をスキャンされる。図2は、レジストレーションのページにおける例となるユーザ又はサーバイベントのエンコーディングを示す。レジストレーションでは、indexjspはwelcomeへリダイレクトし、welcomejspページは、自身へ、userRegisterjspへ、及びuserloginjspへのリンクを含み、userloginjspページは、userloginアクションに対する参照を含み、loginsuccessjspは、他のページへのリダイレクトを含む。特定の実施形態において、可能なユーザ及びサーバイベントに対する参照を見つけるよう、追跡すべきエンコーディングのタイプを知る必要がある。図3は、例となるウェブアプリケーションにおける例となるユーザ又はサーバイベントに対する参照又はエンコーディングの例を表す。それらは、リンク及びフォームJSP/HTMLタグ及び属性と、リダイレクトタグ及びリダイレクトを追跡すべきスクリプトレットキーワードと、包含関係例えば、1つのJSPページは他のJSPページを含み、含まれるページで利用可能なフォーム及びリンクを表示することができる。とを含む。それらのエンコーディングは、可能なユーザ及びサーバイベントに対する参照を見つけ、それらをASTイベントEventノードの一部として記憶することを可能にする。各ASTイベントは、その経路pathに関する情報を記憶する。経路は、XML設定ファイルにおいて定義される次のJSPページ又はアクションに対する参照であってよい。経路がPTG例えば、画像に関連しないファイル又はURLを参照する場合に、そのようなイベントは命名規則に基づいて除外されてよい。特定の実施形態において、XML設定ファイルは、展開時に必要とされる様々な定義を含む。例えば、webxmlは、命名規則及び最初のページに関する情報を含んでよく、一方、strutsconfigxmlは、アクション定義を含んでよい。図4は、展開される場合にレジストレーションによって使用される例となる定義を含むファイルの断片の例を表す。webxmlファイルは、indexjspが最初のページであることを特定する。urlpattern定義の下で、doは、幾つかのアクションを参照する場合にサフィックスとして使用される。個の情報は、Welcomedoに対する参照を、strutsconfigxmlにおいて利用可能なその定義Welcomeと一致させるために使用される。特定の実施形態において、下記は、userloginjspページで参照されるuserloginアクションの定義を少なくとも部分的に記載する:1これは、ユーザログインフォームUserLoginFormをとるフォーム提出イベントである;2タイプユーザログインアクションUserLoginActionのイベントハンドラはそれを扱う;及び3このイベントの結果は、イベントハンドリングコードが成功又は失敗のどちらを返すのかに依存する。成功の場合に、次のページは、loginsuccessjspである。失敗の場合に、次のページは、userloginjspである。この特定の場合においては、夫々の結果の経路はJSPページを参照する。一般的に、それは、この又は他のXML設定ファイルにおいて利用可能な他の定義を参照してよい。特定の実施形態において、XMLパーサーは全てのXMLを解析し、それらをAST定義Definitionsの一部として記憶する。フォーム提出イベントを記載する定義は、アクションフォームオブジェクトをポピュレートするために使用される追加のデータを必要とする。この情報は、アクションフォームクラス自体を含む複数のソースから検索可能である。特定の実施形態において、次のステップは、ウェブアプリケーションの全てのアクションフォームクラスを見つけ、それらをロードする。夫々のアプリケーションフォーム、例えば、ユーザログインフォームについて、それは、そのクラスファイルをロードし、リフレクションAPIを用いて、そのフィールドの全て、例えば、ユーザIDuserid及びパスワードpasswordを見つける。命名規則を用いると、各フィールドは、フィールド特有のセッターメソッドを介して設定可能である。例えば、setUseridはユーザIDフィールドを設定し、setPasswordはパスワードフィールドを設定する。このように、フィールド名を発見した後、特定の実施形態は、それらのフィールドを、対応するテキストフィールドに入力されたユーザ値を表す値に設定するコードを生成することができる。ユーザ値を生成するよう、このステップは、例えば、文字列をサポートする記号実行に基づき、ファイルにおいて特定される値に依存してよい。指定がないときは、特定の実施形態において、このステップはデフォルト値、例えば、空又は非空の文字列等の一般的なコーナーケースを発生させてよい。解析ステップ後、PTG構成ステップは、全てのJSPページ、それらの可能なユーザ及びサーバイベント並びに利用可能なXML定義に関する情報を含むASTをとり、PTGをポピュレートする。図5は、例となるPTGを構成するアルゴリズムの例を表す。夫々のASTページについて、アルゴリズムはPTGページ1~4行目を作成する。次いで、各ASTページで利用可能なユーザ又はサーバイベントに対する参照6行目について、アルゴリズムは、イベントのエンコードされた経路に基づき、参照を決定する。経路pathがJSPページを参照する場合10行目、ルックアップメカニズムが、そのページを見つけるよう呼び出される11行目。ページが見つけられない場合は、新たなゴーストページ参照されるが存在しないページが作成され、イベントの行き先ページとして設定される12~14行目。経路がJSPページを参照しない場合は、それは定義の下で調べられる18行目。定義が見つけられない場合は、イベントの新しいページは、特別の未定義Undefinedゴーストページとして設定され20行目、このイベントに対応する遷移が未定義の遷移としてマークされる。そうではない場合、定義は、イベントの可能な行き先ページを決定するために使用される22行目。夫々の定義は、そのドメイン特有のエンコーディングに従ってイベントを更新する。例えば、strutsconfigxmlからのアクションAction定義は、タイプtype情報に従ってイベントハンドラEventHandlerオブジェクトを生成し、フォワードforwardsにおいてエンコードされている情報に従って行き先ページを計算する。アルゴリズムのこの部分は、定義が他の定義を参照してよいことから、再帰的である。イベント構成が終了した後、イベントはそのソースページに加えられる25行目。特定の実施形態において、構成によって、アプローチは、PTG発生器に対して指定される静的なJSP及びXMLエンコーディングに関して、ページ遷移の過大近似overapproximationを取り出す。図6は、レジストレーションのために取り出される例となるPTGの例となるページ遷移部分の視覚化の例を表す。最初のノードはindexである。ノードpagesuserloginはゴーストノードである。特定の実施形態において、このノードは、loginsuccessjspページで利用可能なresponsesendRedirectイベントを処理する場合に計算される。このイベントは、存在しない...userloginjspページを参照し、正しい経路はuserloginjspである。loginsuccessjspページに直接アクセスする場合、サーバは、要求されたリソースは利用可能でない旨のメッセージにより例外処理を実行する。特定の実施形態において、そのようなエラーは、リファクタリング後に、又はタイプミスに起因して、現れることがあり、従来の試験技術を用いて見つけることは困難である。図7は、例となるPTG発生器のアーキテクチャの例を表す。特定の実施形態は、アーキテクチャのコンポーネントの1又はそれ以上を、ハードウェア、ソフトウェア、又はハードウェア若しくはソフトウェアの組み合わせとして実施してよい。PTG発生器は、パーサー、発生器、プリンタ及びチェッカーを有する。特定の実施形態において、パーサーは、JSP/HTML/XMLタグ、スクリプトレットブロック、及び様々なタイプのコメントを解析することができる文法に基づきJavaCCによって自動的に生成されるJSPパーサーである。JSPパーサーは、別個のファイルにおいて特定されるタグに基づき情報を取り出す図3と同様。特定の実施形態においては、ドメイン特有のエンコーディングに基づく更なるタグが存在してよい。XMLパーサーは、ダイジェスタDigesterフレームワークに基づいてよい。ASTを考えると、発生器はPTGデータ構造をポピュレートする。PTGデータ構造は、EMFECLIPSEMODELINGFRAMEWORKを用いて実施されてよい。EMFは、JAVA登録商標インターフェースを用いてモデル仕様をサポートする。JAVA登録商標インターフェースを考えると、EMFは、それらの実施を自動的に発生させ、更なるファシリティ例えば、XMLにおいてモデルを記述して、それをXMLからJAVA登録商標にロードすることを提供する。PTGAPIは、ライブラリとして使用されてよい。特定の実施形態は、2つの発生器を実施してよい。1つは、PTGの全ての要素をポピュレートするものであり、もう1つは、ページ及び遷移のみをポピュレートするものである。後者は、ナビゲーション要件の軽い解析のために使用されてよい。ポピュレートされたPTGを考えると、プリンタは、その様々な表示を生成する。図7は、Java登録商標PTGに基づくドライバによって使用されてよい。、XML適切な仕様又は他の要件に関してページ及びイベント名をポピュレートするために使用されてよい。、及びドット記法Dotrepresentation視覚化のために使用されてよい。におけるPTG生成のためのサポートを示す。ポピュレートされたPTGを考えると、チェッカーは、起こり得るエラー例えば、到達不能なページ及びゴーストページ、並びに未定義の遷移を伝える特性を収集する。チェッカーはXMLにおいてそれらの出力をプリントする。診断の一部として、XMLチェッカー報告は、また、潜在的なエラーの発生源に関する情報例えば、PTGページ/遷移始点のライン番号及びファイル名へのマッピングを含んでもよい。本開示は、特定の配置において特定のコンポーネントを有するPTG発生器の特定のアーキテクチャについて記載及び図示しているが、本開示は、あらゆる適切な配置においてあらゆる適切なコンポーネントを有するあらゆる適切なPTG発生器を考えている。特定の実施形態は、1又はそれ以上のコンピュータシステムで実施されてよい。図8は、例となるコンピュータシステム800を表す。特定の実施形態において、1又はそれ以上のコンピュータシステム800は、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを実行する。特定の実施形態において、1又はそれ以上のコンピュータシステム800は、ここで記載又は図示されている機能を提供する。特定の実施形態において、1又はそれ以上のコンピュータシステム800で実行されるソフトウェアは、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを実行し、あるいは、ここで記載又は図示されている機能を提供する。特定の実施形態は、1又はそれ以上のコンピュータシステム800の1又はそれ以上の部分を含む。本開示は、任意の適切な数のコンピュータシステム800を考えている。本開示は、あらゆる適切な物理的な形態をとるコンピュータシステム800を考えている。限定されない例として、コンピュータシステム800は、埋込式コンピュータシステム、システムオンチップSOC、シングルボードコンピュータシステムSBC例えば、コンピュータオンモジュールCOM若しくはシステムオンモジュールSOM、デスクトップ型コンピュータシステム、ラップトップ若しくはノートブック型コンピュータシステム、対話式キオスク、メインフレーム、コンピュータシステムのメッシュ、携帯電話機、パーソナルデジタルアシスタントPDA、サーバ、又はそれらの2若しくはそれ以上の組み合わせであってよい。必要に応じて、コンピュータシステム800は、1又はそれ以上のコンピュータシステム800を有しても、単一型若しくは分散型であっても、複数の場所に及んでも、複数の機械に及んでも、又はクラウドに存在してもよく、クラウドは、1又はそれ以上のネットワークにおいて1又はそれ以上のクラウドコンポーネントを有してよい。必要に応じて、1又はそれ以上のコンピュータシステム800は、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを、実質的な空間的又は時間的な制限なしに、実行してよい。限定されない例として、1又はそれ以上のコンピュータシステム800は、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを、実時間で、又はバッチモードにおいて、実行してよい。1又はそれ以上のコンピュータシステム800は、必要に応じて、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを、異なった時点に、又は異なった場所で、実行してよい。特定の実施形態において、コンピュータシステム800は、プロセッサ802と、メモリ804と、記憶装置806と、入出力I/Oインターフェース808と、通信インターフェース810と、バス812とを有する。本開示は、特定の配置において特定の数の特定のコンポーネントを有する特定のコンピュータシステムを記載及び図示しているが、本開示は、あらゆる適切な配置においてあらゆる適切な数のあらゆる適切なコンポーネントを有するあらゆる適切なコンピュータシステムを考えている。特定の実施形態において、プロセッサ802は、命令例えば、コンピュータプログラムを編成する命令、等を実行するためのハードウェアを有する。限定されない例として、命令を実行するために、プロセッサ802は、内部レジスタ、内部キャッシュ、メモリ804、又は記憶装置806から命令を取り出しすなわち、フェッチし、それらをデコード及び実行し、1又はそれ以上の結果を内部レジスタ、内部キャッシュ、メモリ804、又は記憶装置806に書き込んでよい。特定の実施形態において、プロセッサ802は、データ、命令、又はアドレスのための1又はそれ以上の内部キャッシュを有してよい。本開示は、必要に応じて、あらゆる適切な数のあらゆる適切な内部キャッシュを有するプロセッサ802を考えている。限定されない例として、プロセッサ802は、1又はそれ以上の命令キャッシュ、1又はそれ以上のデータキャッシュ、及び1又はそれ以上の変換索引バッファTLBを有してよい。命令キャッシュに含まれる命令は、メモリ804又は記憶装置806に記憶されている命令のコピーであってよく、命令キャッシュは、プロセッサ802によるそれらの命令の取り出しを速めることができる。データキャッシュに含まれるデータは、プロセッサ802における命令実行が機能する804又は記憶装置806内のデータ、プロセッサ802におけるその後の命令実行によるアクセスのための又はメモリ804若しくは記憶装置806への書き込みのためのプロセッサ802で実行された前の命令の結果、あるいは、他の適切なデータのコピーであってよい。TLBは、プロセッサ802のための仮想アドレス変換を速めることができる。特定の実施形態において、プロセッサ802は、データ、命令、又はアドレスのための1又はそれ以上の内部レジスタを有してよい。本開示は、必要に応じて、あらゆる適切な数のあらゆる適切な内部レジスタを有するプロセッサ802を考えている。必要に応じて、プロセッサ802は、1又はそれ以上の算術論理演算ユニットALUを有しても、マルチコアプロセッサであっても、あるいは、1又はそれ以上のプロセッサ802を有してもよい。本開示は特定のプロセッサについて記載及び図示しているが、本開示はあらゆる適切なプロセッサを考えている。特定の実施形態において、メモリ804は、プロセッサ802が実行する命令又はプロセッサ802が機能するデータを記憶するメインメモリを有する。限定されない例として、コンピュータシステム800は、記憶装置806又は他のソース例えば、他のコンピュータシステム800からメモリ804へ命令をロードしてよい。次いで、プロセッサ802は、メモリ804から内部レジスタ又は内部キャッシュへ命令をロードしてよい。命令を実行するよう、プロセッサ802は、内部レジスタ又は内部キャッシュから命令を取り出し、それらをデコードしてよい。命令の実行中又はその後に、プロセッサ802は、1又はそれ以上の結果中間又は最終の結果であってよい。を内部レジスタ又は内部キャッシュに書き込んでよい。次いで、プロセッサ802は、それらの結果の1又はそれ以上をメモリ804へ書き込んでよい。特定の実施形態において、プロセッサ802は、記憶装置806又は他の場所とは対照的に1又はそれ以上の内部レジスタ若しくは内部キャッシュにおける又はメモリ804における命令のみを実行し、記憶装置806又は他の場所とは対照的に1又はそれ以上の内部レジスタ若しくは内部キャッシュにおける又はメモリ804におけるデータに対してのみ動作する。1又はそれ以上のメモリバス夫々、アドレスバス及びデータバスを有してよい。は、プロセッサ802をメモリ804へ結合してよい。バス812は、以下で記載されるように、1又はそれ以上のメモリバスを有してよい。特定の実施形態において、1又はそれ以上のメモリ管理ユニットMMUは、プロセッサ802とメモリ804との間に存在し、プロセッサによって要求されるメモリ804へのアクセスを助ける。特定の実施形態において、メモリ804はランダムアクセスメモリRAMを有する。このRAMは、必要に応じて、揮発性メモリであってよい。必要に応じて、このRAMは動的RAMDRAM又は静的RAMSRAMであってよい。更に、必要に応じて、このRAMは、シングルポート又はマルチポートRAMであってよい。本開示は、あらゆる適切なRAMを考えている。メモリ804は、必要に応じて、1又はそれ以上のメモリ804を有してよい。本開示は特定のメモリについて記載及び図示しているが、本開示は、あらゆる適切なメモリを考えている。特定の実施形態において、記憶装置806は、データ又は命令のための大容量記憶装置を有する。限定されない例として、記憶装置806は、HDD、フロッピー登録商標ディスクドライブ、フラッシュメモリ、光ディスク、磁気光学ディスク、磁気テープ、若しくはユニバーサルシリアルバスUSBドライバ、又はそれらの2若しくはそれ以上の組み合わせを有してよい。記憶装置806は、必要に応じて、取り外し可能な又は取り外し不可能なすなわち、固定された媒体を有してよい。記憶装置806は、必要に応じて、コンピュータシステム800の内部又は外部にあってよい。特定の実施形態において、記憶装置806は不揮発性のソリッドステートメモリである。特定の実施形態において、記憶装置806は読出専用メモリROMを有する。必要に応じて、このROMは、マスクプログラムROM、プログラム可能ROMPROM、消去可能PROMEPROM、電気的消去可能PROMEEPROM、消去再書込ROMEAEOM、若しくはフラッシュメモリ、又はそれらの2若しくはそれ以上の組み合わせであってよい。本開示は、あらゆる適切な物理的な形態をとる大容量記憶装置806を考えている。記憶装置806は、必要に応じて、プロセッサ802と記憶装置806との間の通信を助ける1又はそれ以上の記憶制御ユニットを有してよい。必要に応じて、記憶装置806は、1又はそれ以上の記憶装置806を有してよい。本開示は特定の記憶装置について記載及び図示しているが、本開示はあらゆる適切な記憶装置を考えている。特定の実施形態において、I/Oインターフェース808は、コンピュータシステム800と1又はそれ以上のI/Oデバイスとの間の通信のための1又はそれ以上のインターフェースを提供するハードウェア、ソフトウェア又はそれら両方を有する。コンピュータシステム800は、必要に応じて、それらのI/Oデバイスの1又はそれ以上を有してよい。それらのI/Oデバイスの1又はそれ以上は、人とコンピュータシステム800との間の通信を可能にしてよい。限定されない例として、I/Oデバイスは、キーボード、キーパッド、マイクロホン、モニタ、マウス、プリンタ、スキャナ、スピーカ、静止カメラ、スタイラス、タブレット、タッチスクリーン、トラックボール、ビデオカメラ、他の適切なI/Oデバイス、又はそれらの2若しくはそれ以上の組み合わせを有してよい。I/Oデバイスは、1又はそれ以上のセンサを有してよい。本開示は、あらゆる適切なI/Oデバイス及びそれらのためのあらゆる適切なI/Oインターフェース808を考えている。必要に応じて、I/Oインターフェース808は、プロセッサ802がそれらのI/Oデバイスの1又はそれ以上を駆動することを可能にする1又はそれ以上のデバイス又はソフトウェアドライバを有してよい。I/Oインターフェース808は、必要に応じて、1又はそれ以上のI/Oインターフェース808を有してよい。本開示は特定のI/Oインターフェースについて記載及び図示しているが、本開示は、あらゆる適切なI/Oインターフェースを考えている。特定の実施形態において、通信インターフェース810は、コンピュータシステム800と1若しくはそれ以上の他のコンピュータシステム800又は1若しくはそれ以上のネットワークとの間の通信例えば、パケットに基づく通信のための1又はそれ以上のインターフェースを提供するハードウェア、ソフトウェア、又はそれら両方を有する。限定されない例として、通信インターフェース810は、イーサネット登録商標若しくは他の有線に基づくネットワークと通信するためのネットワークインターフェースコントローラNIC若しくはネットワークアダプタ、又は無線ネットワーク例えば、Wi-Fiネットワークと通信するための無線NICWNIC若しくは無線アダプタを有してよい。本開示は、あらゆる適切なネットワーク及びそのためのあらゆる適切な通信インターフェース810を考えている。限定されない例として、コンピュータシステム800は、アドホックadhocネットワーク、パーソナルエリアネットワークPAN、ローカルエリアネットワークLAN、ワイドエリアネットワークWAN、メトロポリタンエリアネットワークMAN、又はインターネットの1若しくはそれ以上の部分、あるいは、それらの2又はそれ以上の組み合わせと通信してよい。それらのネットワークのうちの1又はそれ以上の1又はそれ以上の部分は、有線又は無線であってよい。一例として、コンピュータシステム800は、無線PANWPAN例えば、ブルートゥースWPAN、Wi-Fiネットワーク、Wi-MAXネットワーク、携帯電話ネットワーク例えば、GSMGlobalSystemforMobileCommunicationsネットワーク、若しくは他の適切な無線ネットワーク、又はそれらの2若しくはそれ以上の組み合わせと通信してよい。コンピュータシステム800は、必要に応じて、それらのネットワークのいずれかのための何らかの適切な通信インターフェース810を有してよい。通信インターフェース810は、必要に応じて、1又はそれ以上の通信インターフェース810を有してよい。本開示は特定の通信インターフェースについて記載及び図示しているが、本開示は、あらゆる適切な通信インターフェースを考えている。特定の実施形態において、バス812は、コンピュータシステム800のコンポーネントを互いに結合するためのハードウェア、ソフトウェア、又はそれら両方を有する。限定されない例として、バス812は、AGPAcceleratedGraphicsPort若しくは他のグラフィックスバス、EISAEnhancedIndustryStandardArchitectureバス、フロントサイドバスFSB、HTHYPERTRANSPORTインターコネクト、ISAIndustryStandardArchitectureバス、INFINIBANDインターコネクト、LPClowpincountバス、メモリバス、MCAMicroChannelArchitectureバス、PCIPeripheralComponentInterconnectバス、PCI-XPCIExpressバス、SATAserialadvancedtechnologyattachmentバス、VLBVideoElectronicsStandardsAssociationlocalバス、若しくは他の適切なバス、又はそれらの2若しくはそれ以上の組み合わせを有してよい。バス812は、必要に応じて、1又はそれ以上のバス812を有してよい。本開示は特定のバスについて記載及び図示しているが、本開示は、あらゆる適切なバス又はインターコネクトを考えている。ここで、コンピュータ読取可能な記憶媒体との言及は、1又はそれ以上の持続性の、有形なコンピュータ読取可能な記憶媒体の処理構成を含む。限定されない例として、コンピュータ読取可能な記憶媒体は、必要に応じて、半導体に基づく又は他の集積回路IC例えば、フィールドプログラマブルゲートアレイFPGA又は特定用途向けICASIC、ハードディスク、HDD、ハイブリッドハードドライブHHD、光ディスク、光ディスクドライブODD、磁気光学ディスク、磁気光学ドライブ、フロッピー登録商標ディスク、フロッピー登録商標ディスクドライブFDD、磁気テープ、ホログラフィック記憶媒体、ソリッドステートドライブSSD、RAMドライブ、セキュアデジタルSDカード、SDドライブ、若しくは他の適切なコンピュータ読取可能な記憶媒体、又はそれらの2若しくはそれ以上の組み合わせを有してよい。ここで、コンピュータ読取可能な記憶媒体との言及は、35U.S.C第101条において保護対象となっていない如何なる媒体も除外する。ここで、コンピュータ読取可能な記憶媒体との言及は、35U.S.C第101条において保護対象となっていない限りにおいて、信号の一時的な形態を除外する。コンピュータ読取可能な記憶媒体は、必要に応じて、揮発性、不揮発性、又は揮発性及び不揮発性の組み合わせであってよい。本開示は、あらゆる適切な記憶装置を実装する1又はそれ以上のコンピュータ読取可能な記憶媒体を考えている。特定の実施形態において、コンピュータ読取可能な記憶媒体は、プロセッサ802の1又はそれ以上の部分例えば、1又はそれ以上の内部レジスタ又はキャッシュ、メモリ804の1又はそれ以上の部分、記憶装置806の1又はそれ以上の部分、又はそれらの組み合わせを実装する。特定の実施形態において、コンピュータ読取可能な記憶媒体はRAM又はROMを実装する。特定の実施形態において、コンピュータ読取可能な記憶媒体は、揮発性又は持続性のメモリを実装する。特定の実施形態において、1又はそれ以上のコンピュータ読取可能な記憶媒体はソフトウェアを具現する。ここで、ソフトウェアとの言及は、必要に応じて、1又はそれ以上のアプリケーション、バイトコード、1又はそれ以上のコンピュータプログラム、1又はそれ以上の実行ファイル、1又はそれ以上の命令、ロジック、マシンコード、1又はそれ以上のスクリプト、又はソースコードを包含してよく、逆の場合も同様である。特定の実施形態において、ソフトウェアは、1又はそれ以上のアプリケーションプログラミングインターフェースASIを有する。本開示は、あらゆる適切なプログラミング言語又はプログラミング言語の組み合わせにおいて記述され又は別なふうに表現されるあらゆる適切なソフトウェアを考えている。特定の実施形態において、ソフトウェアはソースコード又はオブジェクトコードとして表される。特定の実施形態において、ソフトウェアは、より高度なプログラミング言語例えば、C、Perl、又はそれらの適切な拡張において表される。特定の実施形態において、ソフトウェアは、より低レベルのプログラミング言語例えば、アセンブリ言語すなわち、マシンコードにおいて表される。特定の実施形態において、ソフトウェアは、JAVA登録商標において表される。特定の実施形態において、ソフトウェアは、HTMLHyperTextMarkupLanguage、XMLExtensibleMarkupLanguage、又は他の適切なマークアップ言語において表される。図9は、例となるネットワーク環境900を表す。特定の実施形態は、ネットワーク環境900において、ここで記載又は図示されている1又はそれ以上の方法の1又はそれ以上のステップを実行してよい。特定の実施形態において、ネットワーク環境900の1又はそれ以上の要素は、ここで記載又は図示されている機能を提供する。特定の実施形態は、ネットワーク環境900の1又はそれ以上の部分を有する。ネットワーク環境900は、1又はそれ以上のサーバ920及び1又はそれ以上のクライアント930を互いに結合するネットワーク910を有する。特定の実施形態において、ネットワーク910は、イントラネット、エクストラネット、仮想プライベートネットワークVPN、LAN、無線LANWLAN、WAN、MAN、通信ネットワーク、衛星ネットワーク、インターネットの一部、あるいは、他のネットワーク910又は2若しくはそれ以上のそのようなネットワーク910の組み合わせである。本開示は、あらゆる適切なネットワーク910を考えている。1又はそれ以上のリンク950は、サーバ920又はクライアント930をネットワーク910へ結合する。特定の実施形態において、1又はそれ以上のリンク950は、夫々、1又はそれ以上の有線、無線又は光リンク950を有する。特定の実施形態において、1又はそれ以上のリンク950は、夫々、イントラネット、エクストラネット、VPN、LAN、WLAN、WAN、MAN、通信ネットワーク、衛星ネットワーク、インターネットの一部、あるいは、他のリンク950又は2若しくはそれ以上のそのようなリンク950の組み合わせを有する。本開示は、サーバ920及びクライアント930をネットワーク910へ結合するあらゆる適切なリンク950を考えている。特定の実施形態において、夫々のサーバ920は、単一サーバであってよく、あるいは、複数のコンピュータ又は複数のデータセンタ2及ぶ分散型サーバであってよい。サーバ920は、様々なタイプ、例えば、ウェブサーバ、ニュースサーバ、メールサーバ、メッセージサーバ、広告サーバ、ファイルサーバ、アプリケーションサーバ、交換サーバ、データベースサーバ、又はプロキシサーバであってよいが、これらに限られない。特定の実施形態において、夫々のサーバ920は、サーバ920によって実施又はサポートされる適切な機能を実行するためのハードウェア、ソフトウェア、あるいは、埋込式ロジックコンポーネント又は2若しくはそれ以上のそのようなコンポーネントの組み合わせを有してよい。例えば、ウェブサーバは、一般的に、ウェブページ又はウェブページの特定の要素を含むウェブサイトをホスティングすることができる。より具体的に、ウェブサーバは、HTMLファイル又は他のファイルタイプをホスティングしてよく、あるいは、要求があるとファイルを動的に作成又は構成し、それらをクライアントからのHTTP又は他のリクエストに応答してクライアント930へ送ってよい。メールサーバは、一般的に、電子メールサービスを様々なクライアント930へ提供することができる。データベースサーバは、一般的に、1又はそれ以上のデータ記憶部に記憶されているデータを管理するインターフェースを提供することができる。特定の実施形態において、夫々のクライアント930は、ハードウェア、ソフトウェア、あるいは、埋込式ロジックコンポーネント又は2若しくはそれ以上のそのようなコンポーネントの組み合わせを有し、クライアント930によって実施又はサポートされる適切な機能を実行することができる電子デバイスであってよい。限定されない例として、クライアント930は、デスクトップ型コンピュータシステム、ノートブック型コンピュータシステム、ネットブック型コンピュータシステム、携帯型電子デバイス、又は携帯電話機であってよい。クライアント930は、クライアント930でのネットワークユーザがネットワーク910にアクセスすることを可能にしてよい。クライアント930は、ウェブブラウザ例えば、マイクロソフト登録商標のインターネットエクスプローラ又はモジラのファイヤフォックス、等を有してよく、1又はそれ以上のアドオン、プラグイン、又は他の拡張例えば、グーグル登録商標ツールバー又はヤフー登録商標ツールバー、等を有してよい。クライアント930は、そのユーザが他のクライアント930での他のユーザと通信することを可能にしてよい。本開示は、あらゆる適切なクライアント930を考えている。特定の実施形態において、1又はそれ以上のデータ記憶装置940は、1又はそれ以上のリンク950を介して1又はそれ以上のサーバ920へ通信上リンクされてよい。特定の実施形態において、データ記憶装置940は、様々なタイプの情報を記憶するために使用されてよい。特定の実施形態において、データ記憶装置940に記憶されている情報は、特定のデータ構造に従って体系化されてよい。特定の実施形態は、サーバ920又はクライアント930が、データ記憶装置940に記憶されている情報を管理例えば、取り出、変更、付加又は消去することを可能にするインターフェースを提供してよい。特定の実施形態において、サーバ920は検索エンジン922を有してよい。検索エンジン922は、検索エンジン922によって実施又はサポートされる適切な機能を実行するハードウェア、ソフトウェア、あるいは、埋込式ロジックコンポーネント又は2若しくはそれ以上のそのようなコンポーネントの組み合わせを有してよい。限定されない例として、検索エンジン922は、検索エンジン922で受け取られる検索クエリに応答してネットワークリソースを識別するために使用される1又はそれ以上の検索アルゴリズム、識別されたネットワークリソースを順位付けするために使用される1又はそれ以上の順位付けアルゴリズム、識別されたネットワークリソースを要約するために使用される1又はそれ以上の要約アルゴリズム、等を実装してよい。検索エンジン922によって実装される順位付けアルゴリズムは、検索クエリ及びクリックされたURLの対から成るトレーニングデータの組を用いてトレーニングされる。特定の実施形態において、サーバ920は、データモニタ/コレクタ924を更に有してよい。データモニタ/コレクタ924は、データモニタ/コレクタ924によって実施又はサポートされる適切な機能を実行するハードウェア、ソフトウェア、あるいは、埋込式ロジックコンポーネント又は2若しくはそれ以上のそのようなコンポーネントの組み合わせを有してよい。限定されない例として、データモニタ/コレクタ924は、サーバ920にあるネットワークトラフィックデータをモニタし収集し、収集されたネットワークトラフィックデータを1又はそれ以上のデータ記憶装置940に記憶してよい。次いで、検索クエリ及びクリックされたURLの対が、ネットワークトラフィックデータから取り出されてよい。ここで、又はorは、文脈によって別なふうに明示的に示されない限り、包含的であり、排他的ではない。従って、ここでは、A又はBは、文脈によって別なふうに明示的に示されない限り、A、B又はそれら両方を意味する。更に、及びandは、文脈によって別なふうに明示的に示されない限り、結合及び可分の両方である。従って、ここでは、A及びBは、文脈によって別なふうに明示的に示されない限り、A及びBを、一緒に又は別々にを意味する。本開示は、ここで挙げられている実施例に対する全ての変更、置換、変形、代替及び改良を包含し、これらの変更等は、当業者によって理解されうる。同様に、必要に応じて、添付の特許請求の範囲は、当業者によって理解されうる、ここで挙げられている実施例に対する全ての変更、置換、変形、代替及び改良を包含する。更に、特定の機能を実行するよう適応され、配置され、構成され、動作可能であり、動作し、又は特定の機能を実行することが可能であり、又は特定の機能を実行することを可能にされる装置若しくはシステム又は装置若しくはシステムのコンポーネントに対する特許請求の範囲における言及は、装置、システム又はコンポーネントがそのように適応され、適応され、配置され、構成され、動作可能であり、動作し、能力を有し、可能にされる限り、特定の機能が作動し、オンされ、又は解除される装置、システム又はコンポーネントを包含する。以上の実施形態に関し、更に以下の付記を開示する。付記11又はそれ以上のコンピュータシステムによって、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、ことを特徴とする方法。付記2前記ナビゲーションエラーは、1又はそれ以上の到達不能ページ、1又はそれ以上のゴーストページ、あるいは1又はそれ以上の未定義の遷移の中の1又はそれ以上を有する、付記1に記載の方法。付記3前記イベント駆動型のアプリケーションは、ウェブアプリケーションである、付記1に記載の方法。付記4前記イベント駆動型のアプリケーションは、STRUTSに基づくウェブアプリケーションである、付記1に記載の方法。付記5ポピュレートされる場合に前記ページ遷移グラフは、前記イベント駆動型のアプリケーションの1又はそれ以上のページと、前記イベント駆動型のアプリケーションの1又はそれ以上のゴーストページと、前記イベント駆動型のアプリケーションによってサポートされる前記ユーザ又はサーバイベントの1又はそれ以上と、参照されるが定義されていない1又はそれ以上のユーザ又はサーバイベントと、前記ユーザ又はサーバイベントの1又はそれ以上を処理する1又はそれ以上のイベントハンドラと、前記ユーザ又はサーバイベントの1又はそれ以上のための1又はそれ以上のイベントデータとをエンコードする、付記1に記載の方法。付記6実行される場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作するソフトウェアを具現する1又はそれ以上のコンピュータ読取可能な持続性記憶媒体。付記7前記ナビゲーションエラーは、1又はそれ以上の到達不能ページ、1又はそれ以上のゴーストページ、あるいは1又はそれ以上の未定義の遷移の中の1又はそれ以上を有する、付記6に記載の媒体。付記8前記イベント駆動型のアプリケーションは、ウェブアプリケーションである、付記6に記載の媒体。付記9前記イベント駆動型のアプリケーションは、STRUTSに基づくウェブアプリケーションである、付記6に記載の媒体。付記10ポピュレートされる場合に前記ページ遷移グラフは、前記イベント駆動型のアプリケーションの1又はそれ以上のページと、前記イベント駆動型のアプリケーションの1又はそれ以上のゴーストページと、前記イベント駆動型のアプリケーションによってサポートされる前記ユーザ又はサーバイベントの1又はそれ以上と、参照されるが定義されていない1又はそれ以上のユーザ又はサーバイベントと、前記ユーザ又はサーバイベントの1又はそれ以上を処理する1又はそれ以上のイベントハンドラと、前記ユーザ又はサーバイベントの1又はそれ以上のための1又はそれ以上のイベントデータとをエンコードする、付記6に記載の媒体。付記111又はそれ以上のプロセッサによって実行される命令を含むメモリと、前記メモリへ結合され、前記命令を実行するよう動作する1又はそれ以上のプロセッサとを有し、前記1又はそれ以上のプロセッサは、前記命令を実行する場合に、イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスし、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出し、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出し、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出し、前記取り出されたデータを抽象構文木として記憶し、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートし、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする、よう動作する、装置。付記12前記ナビゲーションエラーは、1又はそれ以上の到達不能ページ、1又はそれ以上のゴーストページ、あるいは1又はそれ以上の未定義の遷移の中の1又はそれ以上を有する、付記11に記載の装置。付記13前記イベント駆動型のアプリケーションは、ウェブアプリケーションである、付記11に記載の装置。付記14前記イベント駆動型のアプリケーションは、STRUTSに基づくウェブアプリケーションである、付記11に記載の装置。付記15ポピュレートされる場合に前記ページ遷移グラフは、前記イベント駆動型のアプリケーションの1又はそれ以上のページと、前記イベント駆動型のアプリケーションの1又はそれ以上のゴーストページと、前記イベント駆動型のアプリケーションによってサポートされる前記ユーザ又はサーバイベントの1又はそれ以上と、参照されるが定義されていない1又はそれ以上のユーザ又はサーバイベントと、前記ユーザ又はサーバイベントの1又はそれ以上を処理する1又はそれ以上のイベントハンドラと、前記ユーザ又はサーバイベントの1又はそれ以上のための1又はそれ以上のイベントデータとをエンコードする、付記11に記載の装置。付記16イベント駆動型のアプリケーションの1又はそれ以上のJSPファイル、1又はそれ以上のXML設定ファイル、及び1又はそれ以上のクラスファイルにアクセスする手段と、前記JSPファイルを解析し、前記イベント駆動型のアプリケーションによってサポートされるユーザ又はサーバイベントをエンコードするJSPファイルからデータを取り出す手段と、前記XML設定ファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される定義をエンコードするXML設定ファイルからデータを取り出す手段と、前記クラスファイルを解析し、展開される場合に前記イベント駆動型のアプリケーションによって使用される1若しくはそれ以上のアクション又は1若しくはそれ以上のフォームをエンコードするクラスファイルからデータを取り出す手段と、前記取り出されたデータを抽象構文木として記憶する手段と、前記抽象構文木に基づき前記イベント駆動型のアプリケーションのページ遷移グラフをポピュレートする手段と、前記イベント駆動型のアプリケーションにおけるナビゲーションエラーについて前記ページ遷移グラフをチェックする手段と、を有するシステム。付記17前記ナビゲーションエラーは、1又はそれ以上の到達不能ページ、1又はそれ以上のゴーストページ、あるいは1又はそれ以上の未定義の遷移の中の1又はそれ以上を有する、付記16に記載のシステム。付記18前記イベント駆動型のアプリケーションは、ウェブアプリケーションである、付記16に記載のシステム。付記19前記イベント駆動型のアプリケーションは、STRUTSに基づくウェブアプリケーションである、付記16に記載のシステム。付記20ポピュレートされる場合に前記ページ遷移グラフは、前記イベント駆動型のアプリケーションの1又はそれ以上のページと、前記イベント駆動型のアプリケーションの1又はそれ以上のゴーストページと、前記イベント駆動型のアプリケーションによってサポートされる前記ユーザ又はサーバイベントの1又はそれ以上と、参照されるが定義されていない1又はそれ以上のユーザ又はサーバイベントと、前記ユーザ又はサーバイベントの1又はそれ以上を処理する1又はそれ以上のイベントハンドラと、前記ユーザ又はサーバイベントの1又はそれ以上のための1又はそれ以上のイベントデータとをエンコードする、付記16に記載のシステム。