(57)【要約】【課題】移動サーバーと移動クライアント間帯域幅を效率的に利用して移動サーバーの負荷を移動クライアントに分散し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供しようとする。【解決手段】周期的に無効化報告メッセージを放送する移動サーバーと、前記無効化報告メッセージが到着すると、トランザクションキャッシュの無効化処理を遂行して無効化処理結果に基づいてトランザクションキャッシュの一貫性維持のための処理を遂行して実行された読み取り専用移動トランザクションの完了処理を遂行する移動クライアントと、を包含して移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムを構成する。【選択図】  図１
2004152247.tif 000002
【特許請求の範囲】
【請求項１】
周期的に無効化報告メッセージを放送する移動サーバーと、
前記無効化報告メッセージが到着すると、トランザクションキャッシュの無効化処理を遂行して無効化処理結果に基づいてトランザクションキャッシュの一貫性維持のための処理を遂行して実行された読み取り専用移動トランザクションの完了処理を遂行する移動クライアントと、を包含して構成されたことを特徴とする移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項２】
前記移動サーバーは、一つのトランザクションが複数のデータを更新した時、その複数のデータの更新タイムスタンプを全て同様な値に附与することを特徴とする請求項１記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項３】
前記移動クライアントは、前記実行された読み取り専用移動トランザクションの完了が要請された時、前記読み取り専用移動トランザクションの読み取りセットに包含された全ての各データが同様なキャッシュタイムスタンプを有すると、直ちに完了処理を遂行し、同様なキャッシュタイムスタンプを有さないと、次の無効化報告メッセージが到着するまで完了処理を遅延させることを特徴とする請求項１記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項４】
読み取り専用移動トランザクションを実行する過程と、
無効化報告メッセージが移動サーバーから周期的に到着する都度に、キャッシュ無効化及び読み取り演算中のデータの一貫性維持処理を遂行する過程と、
前記実行された読み取り専用移動トランザクションを完了処理する過程と、を順次行うことを特徴とする移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項５】
前記移動サーバーは、一つのトランザクションが複数のデータを更新した時、その複数のデータの更新タイムスタンプを全て同様な値に附与することを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項６】
前記移動サーバーは、
周期的に前記無効化報告メッセージを放送する無効化報告プロセスと、
前記移動クライアントから直ちにキャッシングが要請されると、データセットを提供するデータセット提供プロセスと、を包含して構成されることを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項７】
前記移動クライアントは、
前記読み取り専用移動トランザクションを実行するトランザクション実行プロセスと、
周期的に到着される前記無効化報告メッセージを利用してトランザクションキャッシュの無効化処理を遂行するキャッシュ無効化プロセスと、
前記無効化検査時に無効化されたデータを利用している他の各トランザクションがあると、該トランザクションを撤回してトランザクションキャッシュ一貫性を維持するキャッシュ一貫性検査／維持プロセスと、
前記トランザクション実行プロセスが接近した各データが有するキャッシュタイムスタンプを利用して即時有効化完了処理及び遅延有効化完了処理を遂行する完了検査／処理プロセスと、を包含して構成されることを特徴とする請求項４記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【請求項８】
前記キャッシュ無効化を遂行する過程は、
前記無効化報告メッセージがブロードキャスト周期以内に受信されないと、トランザクションキャッシュの全てのデータを削除する過程と、
前記無効化報告メッセージがブロードキャスト周期以内に受信された場合、前記無効化報告メッセージに包含されたデータと同様なデータがトランザクションキャッシュに存在すると、そのデータの更新タイムスタンプとキャッシュタイムスタンプとを比較する過程と、
前記更新タイムスタンプがキャッシュタイムスタンプより大きいと、トランザクションキャッシュから前記データを削除して無効化させる過程と、
前記更新タイムスタンプがキャッシュタイムスタンプより大きくないと、前記キャッシュタイムスタンプを前記無効化報告メッセージの放送タイムスタンプに割当する過程と、
前記無効化報告メッセージに包含されたデータと同様なデータがトランザクションキャッシュに存在しないと、トランザクションキャッシュの全てのデータのキャッシュタイムスタンプを前記無効化報告メッセージの放送タイムスタンプに割当する過程と、を順次行うことを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項９】
前記データ一貫性検査を遂行する過程は、前記トランザクションキャッシュ無効化処理で無効化されたデータを使用している他のトランザクションがあると、該トランザクションを撤回する過程を包含することを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項１０】
前記完了処理する過程は、
前記読み取り専用移動トランザクションが実行された後に完了要請されると、前記読み取り専用移動トランザクションの読み取りセットに包含された全ての各データが同様なキャッシュタイムスタンプを有するかを確認する過程と、
前記全ての各データが同様なキャッシュタイムスタンプを有すると、直ちに前記読み取り専用移動トランザクションを完了処理する過程と、
前記全ての各データが同様なキャッシュタイムスタンプを有さないと、次の無効化報告メッセージが到着するまで前記読み取り専用移動トランザクションの完了／撤回決定を延期する過程と、を順次行うことを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項１１】
前記次に到着された無効化報告メッセージによりトランザクションキャッシュから無効化されたデータを前記読み取り専用移動トランザクションが包含していないと、前記読み取り専用移動トランザクションを完了する過程と、
前記無効化されたデータを前記読み取り専用移動トランザクションが包含していると、前記読み取り専用移動トランザクションを撤回する過程と、を順次行うことを特徴とする請求項１０記載の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法。
【請求項１２】
前記移動サーバーは、
周期的に無効化報告メッセージを放送する無効化報告プロセスと、
即時のキャッシング要請を前記移動クライアントから受け取ると、データセットを前記移動クライアントに提供するデータセット提供プロセスと
を包含することを特徴とする請求項１記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項１３】
前記無効化報告メッセージは、
放送タイムを示す放送タイムスタンプ、
更新データ、および
最後のデータを更新するトランザクションの完了タイムスタンプを示す更新タイムスタンプを含むことを特徴とする請求項１記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項１４】
前記移動クライアントは、
前記読み取り専用移動トランザクションを実行するトランザクション実行プロセスと、
周期的に受け取られる前記無効化報告メッセージを用いることによって前記トランザクションキャッシュの無効化処理を行うキャッシュ無効化プロセスと、
前記無効化検査で無効化されたデータを用いるトランザクションを中断することによってキャッシュ一貫性を維持するキャッシュ一貫性検査／維持処理プロセスと、
前記トランザクション実行プロセスによりアクセスされたデータのキャッシュタイムスタンプを用いることによって直後の確認完了処理および遅延された確認完了処理を行う検査／処理プロセスを完了する過程と
を包含することを特徴とする請求項１記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム。
【請求項１５】
前記無効化報告メッセージは、移動サーバによって周期的に放送され、放送時間を示す放送タイムスタンプ、更新されたデータおよび最後にデータが更新されたトランザクションの完了タイムスタンプを示す更新タイムスタンプを包含することを特徴とする請求項４記載の移動コンピュータ環境における移動クライアントのトランザクション一貫性維持方法。
【請求項１６】
移動サーバが周期的に無効化報告を移動クライアントに放送する過程と、
前記移動クライアントが読み取り専用移動トランザクションの実行プロセスおよび完了プロセスをタイムスタンプスパン（ＯＣＣ−ＵＴＳ２）プロトコルを有する楽観的一貫性制御を用いることによって行う過程と、
を包含することを特徴とする移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【請求項１７】
前記読み取り専用移動トランザクションを実行する過程は、
前記読み取り専用移動トランザクションによって要請されたデータが前記キャッシュ内にあるかどうかを検査する過程と、
前記要請されたデータがキャッシュ内に存在すると、前記データを直ちに前記キャッシュから消滅させる過程と、
前記要請されたデータが前記キャッシュ内に存在しないと、前記データを直ちに前記移動サーバーからキャッシュする過程と、
直ちにキャッシュされたデータおよび最後に無効化された報告タイムスタンプの更新タイムスタンプの後者を選択し、選択された値を直ちにキャッシュされたデータの前記キャッシュタイムスタンプとして割当てる過程と、
を包含することを特徴とする請求項１６記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【請求項１８】
前記読み取り専用移動トランザクションを完了する過程は、
実行された読み取り専用移動トランザクションによって読み取られた全てのデータが、同様のキャッシュタイムスタンプを有すると、前記読み取り専用移動トランザクションを完了する過程と、
読み取られた全てのデータが同様のキャッシュタイムスタンプを有さないと、次の無効化報告が到着するまで、前記読み取り専用移動トランザクションの完了／撤回の決定を遅延させる過程と、
を包含することを特徴とする請求項１６記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【請求項１９】
前記読み取り専用移動トランザクションが次の無効化報告により無効化されたデータを受信されたときに含まないと、前記読み取り専用移動トランザクションを完了する過程と、
前記読み取り専用移動トランザクションが前記無効化されたデータを含まないと、前記読み取り専用移動トランザクションを撤回する過程と、
をさらに包含することを特徴とする請求項１８記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【請求項２０】
前記無効化報告が周期的に受け取られる都度、前記キャッシュ無効化および一貫性処理を行う過程をさらに包含することを特徴とする請求項１６記載の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、移動コンピュータシステムに係るもので、詳しくは、移動コンピュータ環境におけるトランザクションキャッシュ（ｔｒａｎｓａｃｔｉｏｎ  ｃａｃｈｅ）一貫性維持システム及びその方法に関するものである。
【０００２】
【従来の技術】
無線通信技術の発展及び移動可能な通信機器の大衆化によって位置及び場所に関係なく、使用者達が移動中にも色々な情報の提供を受けることができる移動コンピュータ環境が台頭した。
【０００３】
移動コンピュータ環境におけるトランザクションは、移動端末機を通した使用者の注文及び計算書発行作業などのように一括処理を必要とする場合、一部分のサブ作業が失敗すると、全体作業が処理されるといけない場合に使用される。即ち、トランザクションは、一部分のサブ作業が全体的に全て成功する時に成功的に実行される作業に使用される処理機能である。従って、一つのトランザクションは一つ以上の演算単位に行われる。
【０００４】
このような移動コンピュータ環境におけるトランザクションの処理は、ホストの移動性、頻繁な断切、制限された帯域幅（ｂａｎｄｗｉｄｔｈ）及びバッテリーの容量等により制約を受ける。従って、移動コンピュータ環境における可能なかぎり制限された帯域幅の利用を減らして移動トランザクションの応答時間を向上させるために頻繁にアクセスされるデータを移動ホストがキャッシングするキャッシング技法が提案された。
【０００５】
図５には、移動コンピュータ網の一般的構成の一例を示した。
【０００６】
移動コンピュータ網は、固定網（有線網）３０と有線に連結されて移動しない固定ホストと、移動する移動ホストと、の二つの要素から構成される。
【０００７】
ここで、無線通信インターフェースを有してサービスを提供する固定ホストを移動サーバー２０と称し、該移動サーバー２０と無線通信を遂行する移動ホストを移動クライアント１０と称す。
【０００８】
一つの移動サーバー２０がサービスし得る領域をセル（ｃｅｌｌ）とし、同様なセル中に位置している各移動クライアント１０は、同様な移動サーバー２０及び無線チャンネルを通して通信する。前記セルは、セルラーコネクション（ｃｅｌｌｕｌａｒ  ｃｏｎｎｅｃｔｉｏｎ）から成る事もあるし、無線ＬＡＮ（Ｌｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）から成ることもある。
【０００９】
一般に、移動サーバー２０は、広い帯域幅及び豊富なバッテリーを有しており、有線網３０を利用して通信するため、信頼的な通信を遂行することができる。然し、移動クライアント１０は、制限された帯域幅及びバッテリーを有しており、無線網を利用して通信するため、通信の信頼性が低下する。
【００１０】
移動クライアント１０は、移動するか、又は断切（ｄｉｓｃｏｎｎｅｃｔｉｏｎ）された間にもキャッシングされたデータを利用してトランザクションを遂行することができるし、移動クライアント１０に提出されるトランザクションを移動トランザクションと称す。
【００１１】
移動クライアント１０のキャッシュにキャッシングされたデータと同様なデータが移動サーバー２０で更新される場合、移動クライアント１０のキャッシュ一貫性（ｃｏｎｓｉｓｔｅｎｃｙ）を維持するため、移動サーバー２０は、移動クライアント１０にキャッシングされたデータが更新されたことを知らせる無効化報告（Ｉｎｖａｌｉｄａｔｉｏｎ  Ｒｅｐｏｒｔ；ＩＲ）メッセージを放送する。
【００１２】
然し、移動コンピュータ網は、制限された帯域幅（ｌｉｍｉｔｅｄ  ｂａｎｄｗｉｄｔｈ）を有しているため、移動クライアント１０と移動サーバー２０間の頻繁なメッセージ交換は、帯域幅にボトルネック現象（ｂｏｔｔｌｅｎｅｃｋ）を発生させる要因になる。
【００１３】
それで、移動サーバー２０は、移動クライアント１０と可能なかぎり通信を減らしながら移動クライアント１０にデータの更新与否を知らせることが好ましい。従って、移動サーバー２０は所定周期間更新された情報を集めて置いた後、周期的に移動クライアント１０に無効化報告メッセージを放送する。
【００１４】
この時、移動クライアント１０は、周期的に放送される無効化メッセージを受信する前には、移動サーバー２０から発生したデータの更新与否を分からない。
【００１５】
移動トランザクションの直列性（ｓｅｒｉａｌｉｚａｂｉｌｉｔｙ）とは、一つ以上のトランザクションが同時に遂行された結果は、順次的（直列的）に実行された結果と同様であるという特性を意味する。
【００１６】
【発明が解決しようとする課題】
然るに、このような従来の移動コンピュータ環境においては、キャッシングされたデータが移動サーバー２０で更新される場合、移動クライアント１０が無効化メッセージに対する放送を受信するまでデータの更新与否を分からないため、移動クライアント１０のキャッシュ一貫性が保障し得ないし、移動トランザクションの直列可能な遂行が保障されれないという不都合な点があった。
【００１７】
又、従来の移動コンピュータ環境においては、移動クライアントが読み取り専用移動トランザクションを実行した後、移動サーバーに前記実行された読み取り専用移動トランザクションの完了を要請すると、移動サーバーは、前記完了要請によって前記読み取り専用移動トランザクションの完了又は撤回を決定し、該決定事項を移動クライアントに知らせると、移動クライアントは、移動サーバーから伝送される決定事項によって前記読み取り専用移動トランザクションを完了又は撤回した。従って、従来の移動コンピュータ環境においては、移動サーバーと移動クライアント間に多量の送受信メッセージが要求されることで、制限された帯域幅の効率的使用を妨害するという不都合な点があった。
【００１８】
そして、移動クライアントで実行された読み取り専用移動トランザクションの完了／撤回決定が移動サーバーにより行われるため、長い応答時間が要求されるという不都合な点があった。
【００１９】
又、移動サーバーが移動クライアントで実行された移動トランザクションの完了／撤回の決定までも遂行しなければならないため、多くの負荷が附与されるという不都合な点があった。
【００２０】
本発明は、このような従来の課題に鑑みてなされたもので、移動サーバーと移動クライアントとの間の帯域幅を效率的に利用して移動サーバーの負荷を移動クライアントに分散し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２１】
又、移動コンピュータ環境における移動クライアントのトランザクションキャッシュの一貫性を容易に維持し得るタイムスタンプ基盤楽観的同時性制御（Ｏｐｔｉｍｉｓｔｉｃ  Ｃｏｎｃｕｒｒｅｎｃｙ  Ｃｏｎｔｒｏｌ  ｗｉｔｈ  Ｕｐｄａｔｅ  Ｔｉｍｅ  Ｓｔａｍｐ  Ｓｐａｎ；ＯＣＣ−ＵＴＳ２）プロトコルを提供することを目的とする。
【００２２】
又、読み取り専用移動トランザクションの完了処理を移動クライアントで独自的に遂行するためにトランザクションキャッシュの一貫性を維持し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２３】
又、移動クライアントがタイムスタンプに基づいてトランザクションキャッシュデータの一貫性を検査してトランザクション完了処理を独自的に遂行することで、移動サーバーの負荷を分散し得るし、又、移動サーバーと移動クライアント間の送受信メッセージを最小化し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２４】
又、移動サーバーが一つのトランザクションが更新した各データに対して同様な更新タイムスタンプを附与し、移動クライアントが無効化されたデータを使用しているトランザクションを全て撤回することで、色々なデータ間に一貫性を維持し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２５】
又、タイムスタンプに基づいて移動トランザクション完了処理を遂行することで、迅速なトランザクション応答時間を提供し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２６】
又、移動クライアントがタイムスタンプに基づいてトランザクションキャッシュデータの一貫性を検査することで、直ちにキャッシングされたデータに対しても一貫性を維持し得る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法を提供することを目的とする。
【００２７】
【課題を解決するための手段】
このような目的を達成するため、本発明に係る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいては、周期的に無効化報告メッセージを放送する移動サーバーと、前記無効化報告メッセージが到着すると、前記無効化報告メッセージのタイムスタンプを利用してトランザクションキャッシュの無効化処理を遂行して無効化処理結果に基づいてトランザクションキャッシュの一貫性維持のための処理を遂行して実行された読み取り専用移動トランザクションの完了処理を遂行する移動クライアント、を包含して構成されることを特徴とする。
【００２８】
又、本発明に係る移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法においては、読み取り専用移動トランザクションを実行する過程と、無効化報告メッセージが周期的に到着する都度に、前記無効化報告メッセージのタイムスタンプを利用してトランザクションキャッシュ無効化及び読み取り演算中のデータの一貫性検査を遂行する過程と、前記実行された読み取り専用移動トランザクションを完了処理する過程と、を順次行うことを特徴とする。
【００２９】
又、本発明に係る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいては、周期的に無効化報告メッセージを放送する移動サーバーと、前記無効化報告メッセージが到着すると、トランザクションキャッシュの無効化処理を遂行して無効化処理結果に基づいてトランザクションキャッシュの一貫性維持のための処理を遂行して実行された読み取り専用移動トランザクションの完了処理を遂行する移動クライアントと、を包含して構成されたことを特徴とする。
【００３０】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいて、前記移動サーバーは、一つのトランザクションが複数のデータを更新した時、その複数のデータの更新タイムスタンプを全て同様な値に附与することを特徴とする。
【００３１】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいて、前記移動クライアントは、前記実行された読み取り専用移動トランザクションの完了が要請された時、前記読み取り専用移動トランザクションの読み取りセットに包含された全ての各データが同様なキャッシュタイムスタンプを有すると、直ちに完了処理を遂行し、同様なキャッシュタイムスタンプを有さないと、次の無効化報告メッセージが到着するまで完了処理を遅延させることを特徴とする。
【００３２】
又、本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法は、読み取り専用移動トランザクションを実行する過程と、無効化報告メッセージが移動サーバーから周期的に到着する都度に、キャッシュ無効化及び読み取り演算中のデータの一貫性維持処理を遂行する過程と、前記実行された読み取り専用移動トランザクションを完了処理する過程と、を順次行うことを特徴とする。
【００３３】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記移動サーバーは、一つのトランザクションが複数のデータを更新した時、その複数のデータの更新タイムスタンプを全て同様な値に附与することを特徴とする。
【００３４】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記移動サーバーは、周期的に前記無効化報告メッセージを放送する無効化報告プロセスと、前記移動クライアントから直ちにキャッシングが要請されると、データセットを提供するデータセット提供プロセスと、を包含して構成されることを特徴とする。
【００３５】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法において、前記移動クライアントは、前記読み取り専用移動トランザクションを実行するトランザクション実行プロセスと、周期的に到着される前記無効化報告メッセージを利用してトランザクションキャッシュの無効化処理を遂行するキャッシュ無効化プロセスと、前記無効化検査時に無効化されたデータを利用している他の各トランザクションがあると、該トランザクションを撤回してトランザクションキャッシュ一貫性を維持するキャッシュ一貫性検査／維持プロセスと、前記トランザクション実行プロセスが接近した各データが有するキャッシュタイムスタンプを利用して即時有効化完了処理及び遅延有効化完了処理を遂行する完了検査／処理プロセスと、を包含して構成されることを特徴とする。
【００３６】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記キャッシュ無効化を遂行する過程は、前記無効化報告メッセージがブロードキャスト周期以内に受信されないと、トランザクションキャッシュの全てのデータを削除する過程と、前記無効化報告メッセージがブロードキャスト周期以内に受信された場合、前記無効化報告メッセージに包含されたデータと同様なデータがトランザクションキャッシュに存在すると、そのデータの更新タイムスタンプとキャッシュタイムスタンプとを比較する過程と、前記更新タイムスタンプがキャッシュタイムスタンプより大きいと、トランザクションキャッシュから前記データを削除して無効化させる過程と、前記更新タイムスタンプがキャッシュタイムスタンプより大きくないと、前記キャッシュタイムスタンプを前記無効化報告メッセージの放送タイムスタンプに割当する過程と、前記無効化報告メッセージに包含されたデータと同様なデータがトランザクションキャッシュに存在しないと、トランザクションキャッシュの全てのデータのキャッシュタイムスタンプを前記無効化報告メッセージの放送タイムスタンプに割当する過程と、を順次行うことを特徴とする。
【００３７】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記データ一貫性検査を遂行する過程は、前記トランザクションキャッシュ無効化処理で無効化されたデータを使用している他のトランザクションがあると、該トランザクションを撤回する過程を包含することを特徴とする。
【００３８】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記完了処理する過程は、前記読み取り専用移動トランザクションが実行された後に完了要請されると、前記読み取り専用移動トランザクションの読み取りセットに包含された全ての各データが同様なキャッシュタイムスタンプを有するかを確認する過程と、前記全ての各データが同様なキャッシュタイムスタンプを有すると、直ちに前記読み取り専用移動トランザクションを完了処理する過程と、前記全ての各データが同様なキャッシュタイムスタンプを有さないと、次の無効化報告メッセージが到着するまで前記読み取り専用移動トランザクションの完了／撤回決定を延期する過程と、を順次行うことを特徴とする。
【００３９】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクションキャッシュ一貫性維持方法において、前記次に到着された無効化報告メッセージによりトランザクションキャッシュから無効化されたデータを前記読み取り専用移動トランザクションが包含していないと、前記読み取り専用移動トランザクションを完了する過程と、前記無効化されたデータを前記読み取り専用移動トランザクションが包含していると、前記読み取り専用移動トランザクションを撤回する過程と、を順次行うことを特徴とする。
【００４０】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいて、前記移動サーバーは、周期的に無効化報告メッセージを放送する無効化報告プロセスと、即時のキャッシング要請を前記移動クライアントから受け取ると、データセットを前記移動クライアントに提供するデータセット提供プロセスとを包含することを特徴とする。
【００４１】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいて、前記無効化報告メッセージは、放送タイムを示す放送タイムスタンプ、更新データ、および最後のデータを更新するトランザクションの完了タイムスタンプを示す更新タイムスタンプを含むことを特徴とする。
【００４２】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムにおいて、前記移動クライアントは、前記読み取り専用移動トランザクションを実行するトランザクション実行プロセスと、周期的に受け取られる前記無効化報告メッセージを用いることによって前記トランザクションキャッシュの無効化処理を行うキャッシュ無効化プロセスと、前記無効化検査で無効化されたデータを用いるトランザクションを中断することによってキャッシュ一貫性を維持するキャッシュ一貫性検査／維持処理プロセスと、前記トランザクション実行プロセスによりアクセスされたデータのキャッシュタイムスタンプを用いることによって直後の確認完了処理および遅延された確認完了処理を行う検査／処理プロセスを完了する過程とを包含することを特徴とする。
【００４３】
上記本発明の移動コンピュータ環境における移動クライアントのトランザクション一貫性維持方法において、前記無効化報告メッセージは、移動サーバによって周期的に放送され、放送時間を示す放送タイムスタンプ、更新されたデータおよび最後にデータが更新されたトランザクションの完了タイムスタンプを示す更新タイムスタンプを包含することを特徴とする。
【００４４】
又、本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法は、移動サーバが周期的に無効化報告を移動クライアントに放送する過程と、前記移動クライアントが読み取り専用移動トランザクションの実行プロセスおよび完了プロセスをタイムスタンプスパン（ＯＣＣ−ＵＴＳ２）プロトコルを有する楽観的一貫性制御を用いることによって行う過程と、を包含することを特徴とする。
【００４５】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法において、前記読み取り専用移動トランザクションを実行する過程は、前記読み取り専用移動トランザクションによって要請されたデータが前記キャッシュ内にあるかどうかを検査する過程と、前記要請されたデータがキャッシュ内に存在すると、前記データを直ちに前記キャッシュから消滅させる過程と、前記要請されたデータが前記キャッシュ内に存在しないと、前記データを直ちに前記移動サーバーからキャッシュする過程と、直ちにキャッシュされたデータおよび最後に無効化された報告タイムスタンプの更新タイムスタンプの後者を選択し、選択された値を直ちにキャッシュされたデータの前記キャッシュタイムスタンプとして割当てる過程と、を包含することを特徴とする。
【００４６】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法において、前記読み取り専用移動トランザクションを完了する過程は、実行された読み取り専用移動トランザクションによって読み取られた全てのデータが、同様のキャッシュタイムスタンプを有すると、前記読み取り専用移動トランザクションを完了する過程と、読み取られた全てのデータが同様のキャッシュタイムスタンプを有さないと、次の無効化報告が到着するまで、前記読み取り専用移動トランザクションの完了／撤回の決定を遅延させる過程と、を包含することを特徴とする。
【００４７】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法において、前記読み取り専用移動トランザクションが次の無効化報告により無効化されたデータを受信されたときに含まないと、前記読み取り専用移動トランザクションを完了する過程と、前記読み取り専用移動トランザクションが前記無効化されたデータを含まないと、前記読み取り専用移動トランザクションを撤回する過程と、をさらに包含することを特徴とする。
【００４８】
上記本発明の移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持方法において、前記無効化報告が周期的に受け取られる都度、前記キャッシュ無効化および一貫性処理を行う過程をさらに包含することを特徴とする。
【００４９】
【発明の実施の形態】
各トランザクションは、同時に遂行されることがあるため、同時に起きる複数のトランザクションの実行を管理する同時性制御が必要である。楽観的な方法（ｏｐｔｉｍｉｓｔｉｃ  ａｐｐｒｏａｃｈ）は、同時性制御のための一般的な方法中の一つであり、データベース演算の大部分が衝突を起こさないという仮定に基づいた方法であって、データベースを読んだり質疑する演算のみにより構成された読み取り専用移動トランザクションに好ましい。又、移動クライアントと移動サーバー間に要求されるメッセージ交換を最小化し得るため、本発明は、楽観的同時性制御を適用する。又、本発明は、トランザクションキャッシュ一貫性及び無効化検査が容易で、移動クライアントが独自的にトランザクション完了処理を遂行し得るようにタイムスタンプ基盤楽観的同時性制御を提案する。
【００５０】
以下、本発明の実施の形態に対し、図面を用いて説明する。
【００５１】
図５に図示された移動コンピュータ網を利用して本発明の実施例に対して説明する。
【００５２】
本発明に係る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムの第一実施形態においては、図１に示したように、周期的に無効化報告を放送する移動サーバー２０と、読み取り専用移動トランザクションを実行して、前記無効化報告が到着すると、キャッシュの無効化及び一貫性を検査し、独自的に前記読み取り専用移動トランザクションの完了処理を遂行する移動クライアント１０と、を包含して構成されている。
【００５３】
前記キャッシュは、（データ、該データの更新タイムスタンプ又はキャッシュタイムスタンプ）の集合である。
【００５４】
前記移動サーバー２０は、周期的に無効化報告メッセージ（Ｉｎｖａｌｉｄａｔｉｏｎ  Ｒｅｐｏｒｔ  ｍｅｓｓａｇｅ；ＩＲ  ｍｅｓｓａｇｅ）を放送する無効化報告プロセス２１と、前記移動クライアント１０から即時キャッシングの要請が送信されると、データセットを提供するデータセット提供プロセス２２と、を包含する。
【００５５】
前記ＩＲメッセージは、放送タイムスタンプｔｓｉを有し、更新されたデータと更新タイムスタンプとを１対（ｐａｉｒ）に複数個包含する。前記放送タイムスタンプｔｓｉは、ＩＲメッセージが放送された時間を示し（ｔｓｉ＝ｉＬ）、ここで、Ｌはブロードキャスト周期を示す。前記更新タイムスタンプは、そのデータを最後に更新したトランザクションの完了タイムスタンプ（ｃｏｍｍｉｔ  ｔｉｍｅ  ｓｔａｍｐ）を示す。前記ＩＲメッセージは、移動クライアント１０にあるトランザクションキャッシュのデータ無効化及び一貫性を検査する時に使用される。
【００５６】
前記データセットは、有効（ｖａｌｉｄ）データ及び該有効データの更新タイムスタンプを包含する。
【００５７】
前記移動クライアント１０は、読み取り専用移動トランザクションを実行するトランザクション実行プロセス１１と、周期的に到着される前記無効化報告メッセージを利用してトランザクションキャッシュの無効化を検査するキャッシュ無効化プロセス１２と、前記無効化検査時に無効化されたデータを利用している他の各トランザクションがあると、該トランザクションを撤回してトランザクションキャッシュ一貫性を維持するキャッシュ一貫性検査／維持プロセス１３と、前記トランザクション実行プロセス１１が接近した各データが有するキャッシュタイムスタンプを利用して即時有効化完了処理及び遅延有効化完了処理を遂行する完了検査／処理プロセス１４と、を包含して構成される。
【００５８】
前記即時有効化完了処理方法は、前記トランザクション実行プロセス１１が接近した全てのデータが同様なキャッシュタイムスタンプを有すると、直ちに読み取り専用トランザクションの完了処理を遂行する方法である。
【００５９】
前記遅延有効化完了処理方法は、前記トランザクション実行プロセス１１が接近した全てのデータが同様なキャッシュタイムスタンプを有さないと、次のＩＲメッセージが到着するまで読み取り専用移動トランザクションの完了／撤回決定を延期する処理方法である。前記次のＩＲメッセージが到着した後、読み取りセットにある如何なるデータも無効化されなく、キャッシュから削除されないと、移動クライアント１０は、読み取り専用移動トランザクションを完了することができる。
【００６０】
前記読み取りセットは、（読み取り専用移動トランザクションにより読み取り演算が遂行されているデータ、そのデータのキャッシュタイムスタンプ）の集合である。
【００６１】
上記のように構成される本発明に係る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システムの動作に対し、説明する。
【００６２】
移動サーバー２０は、一つのトランザクションが色々なデータを更新した時、該当データ項目（ｄａｔａ  ｉｔｅｍ）に同様な更新タイムスタンプを附与する。これは、移動クライアント１０がトランザクション完了検査時、全ての接近されたデータが同様な更新タイムスタンプを有した時に安全に直ちに完了し得る根拠となる。
【００６３】
又、移動サーバー２０は、更新されたデータに対する情報を移動クライアント１０に知らせるため、周期的にＩＲメッセージを無線通信インターフェースを通して放送する。
【００６４】
移動クライアント１０は、読み取り専用移動トランザクションが提出されると、トランザクションキャッシュにキャッシングされてあるデータを引出してその読み取り専用移動トランザクションを実行すると同時に、必要な時点であるＩＲメッセージが到着される時点に移動クライアント１０は、前記到着されたＩＲメッセージに基づいてトランザクションキャッシュの無効化及び一貫性を検査する。次いで、移動クライアント１０は、独自的に前記読み取り専用移動トランザクションの完了処理を遂行する。
【００６５】
先ず、読み取り専用移動トランザクションが実行される過程に対し、説明する。
【００６６】
図２は、移動クライアント１０の読み取り専用移動トランザクションを実行する方法を示したフローチャートである。
【００６７】
図２に示したように、読み取り専用移動トランザクションが移動クライアント１０に提出されると（Ｓ１１）、トランザクション実行プロセス１１は、前記読み取り専用移動トランザクションが要求するデータがキャッシュ（トランザクションキャッシュ）に存在するかを確認する（Ｓ１２）。
【００６８】
前記要求されるデータがキャッシュに存在すると、トランザクション実行プロセス１１は、キャッシュから直ちに前記要求されるデータを引出して前記読み取り専用移動トランザクションに提供する（Ｓ１３）。
【００６９】
然し、前記要求されるデータがキャッシュに存在しないと、トランザクション実行プロセス１１は、前記読み取り専用移動トランザクションを移動サーバー２０に送信し、前記データを要求する。次いで、移動サーバー２０のデータセット提供プロセス２２は、該当データセットを移動クライアント１０に送信する。前記該当データセットは、前記要求されるデータｊ及びそのデータの更新タイムスタンプｔｊを包含する。
【００７０】
移動クライアント１０は、移動サーバー２０から電信された前記データセットを受信し（Ｓ１４）、受信されたデータセットのデータをキャッシュにローディングしてそのデータのキャッシュタイムスタンプを適切に変更する（Ｓ１５−Ｓ１７）。
【００７１】
即ち、移動クライアント１０のトランザクション実行プロセス１１は、前記データセットの更新タイムスタンプｔｊと最後のＩＲタイムスタンプ（最後に受信したＩＲの放送タイムスタンプ；ｔｓｌｂとを比較する（Ｓ１５）。
【００７２】
前記データセットの更新タイムスタンプｔｊが最後のＩＲタイムスタンプｔｓｌｂより小さいと、トランザクション実行プロセス１１は、キャッシュにローディングされた前記データに対するキャッシュタイムスタンプｔｃｊを前記最後のＩＲタイムスタンプｔｓｌｂに割当（ａｓｓｉｇｎ）する（Ｓ１６）。
【００７３】
然し、データセットの更新タイムスタンプｔｊが最後のＩＲタイムスタンプｔｓｌｂより小さくないと、トランザクション実行プロセス１１は、前記データのキャッシュタイムスタンプｔｃｊを前記更新タイムスタンプｔｊに割当する（Ｓ１７）。
【００７４】
このように移動サーバー２０から直ちにキャッシングされたデータのキャッシュタイムスタンプをトランザクションキャッシュの一貫性を維持し得るように変更した後、移動クライアント１０は、直ちにキャッシングされたデータを読み取り専用移動トランザクションに提供する（Ｓ１８）。
【００７５】
移動クライアント１０が上記のように読み取り専用移動トランザクションの実行段階を処理している間、移動サーバー２０が周期的に放送するＩＲメッセージが移動クライアント１０に到着すると、移動クライアント１０は、ＩＲメッセージを利用してキャッシュ無効化処理とキャッシュのデータ一貫性検査を遂行する。従って、周期的なＩＲメッセージの到着によって、移動クライアント１０は、キャッシュ無効化処理及びキャッシュデータ一貫性検査を周期的に遂行するようになる。移動クライアント１０のキャッシュ無効化処理及びキャッシュデータ一貫性検査に対する動作は、後ほど詳細に説明する。
【００７６】
上記のように読み取り専用移動トランザクションが実行されると、移動クライアント１０は、読み取り専用移動トランザクションの完了処理を独自的に遂行する。
【００７７】
図４は、移動クライアント１０が読み取り専用移動トランザクションの完了処理を遂行する方法を示したフローチャートである。
【００７８】
移動クライアント１０のトランザクション実行プロセス１１は、読み取り専用移動トランザクションを実行して完了要請メッセージ（ｃｏｍｍｉｔ  ｒｅｑｕｅｓｔ  ｍｅｓｓａｇｅ）を生成する。
【００７９】
移動クライアント１０の完了検査／処理プロセス１４は、前記完了要請メッセージを受信すると（Ｓ４１）、即時有効化方法により前記読み取り専用移動トランザクションを完了し得るかをチェックする（Ｓ４２）。
【００８０】
即ち、前記実行された読み取り専用移動トランザクションの読み取りセットに包含された全てのデータのキャッシュタイムスタンプが全て同様な値を有するかをチェックする（Ｓ４３）。
【００８１】
前記読み取りセットに包含された全てのデータのキャッシュタイムスタンプが全て同様な値を有すると、完了検査／処理プロセス１４は、前記実行された読み取り専用移動トランザクションを直ちに完了する（Ｓ４４）。
【００８２】
然し、前記読み取りセットに包含された全てのデータのキャッシュタイムスタンプが全て同様な値を有さないと、完了検査／処理プロセス１４は、次のＩＲメッセージが到着するまで完了／撤回の決定を延期する（Ｓ４５）。即ち、完了検査／処理プロセス１４は、前記読み取り専用移動トランザクションの完了を要請するための完了要請メッセージを完了要請Ｑ（Ｃｏｍｍｉｔ  Ｑｕｅｕｅ）に入れる。前記完了要請メッセージは、完了要請された読み取り専用移動トランザクションの識別者（ＩＤｅｎｔｉｔｙ；ＩＤ）及びそのトランザクションの読み取りセットを包含する。
【００８３】
以下、移動クライアント１０のキャッシュ無効化処理及びキャッシュデータ一貫性検査に対する動作に対し、説明する。
【００８４】
図３（ａ）及び（ｂ）は、移動クライアント１０が周期的にＩＲメッセージを受信する都度に、処理する動作を示したフローチャートである。
【００８５】
移動サーバー２０が周期的に放送するＩＲメッセージが移動クライアント１０に受信される都度（Ｓ２１）に、移動クライアント１０のキャッシュ無効化プロセス１２は、到着されたＩＲメッセージＩＲ（ｔｓｉ）の放送タイムスタンプｔｓｉと移動クライアント１０に格納されているｔｓｌｂ間の差がＬ（ブロードキャスト周期）より大きいかを確認する（Ｓ２２）。
【００８６】
前記放送タイムスタンプｔｓｉとｔｓｌｂ間の差がＬより大きいと、即ち、設定された時間が経過された後にＩＲメッセージが受信されると、キャッシュ無効化プロセス１２は、キャッシュに格納されている全てのデータを削除する（Ｓ２３）。
【００８７】
然し、前記放送タイムスタンプｔｓｉとｔｓｌｂ間の差がＬより大きくないと、即ち、定刻にＩＲメッセージを受信すると、キャッシュ無効化プロセス１２は、前記ＩＲメッセージに包含されたデータと同様なデータがキャッシュにあるかを確認する（Ｓ２４）。
【００８８】
前記ＩＲメッセージに包含されたデータと同様なデータがキャッシュに無いと、キャッシュ無効化プロセス１２は、キャッシュにある全てのデータのキャッシュタイムスタンプを放送タイムスタンプに割当する（Ｓ２８）。このように本発明は、無効化されなかったデータに対してもキャッシュタイムスタンプを更新することで、読み取り専用移動トランザクションの完了処理を移動クライアント１０が独自的に遂行し得るようになる。
【００８９】
然し、前記ＩＲメッセージに包含されたデータと同様なデータがキャッシュにあると、キャッシュ無効化プロセス１２は、前記ＩＲメッセージに包含されたデータの更新タイムスタンプｔｊがキャッシュにある該当データのキャッシュタイムスタンプｔｃｊより大きいかを確認する（Ｓ２５）。
【００９０】
前記更新タイムスタンプｔｊが前記キャッシュタイムスタンプｔｃｊより大きいと、キャッシュ無効化プロセス１２は、前記該当データをキャッシュから削除して無効化させる（Ｓ２６）。然し、前記更新タイムスタンプｔｊが前記キャッシュタイムスタンプｔｃｊより大きくないと、キャッシュ無効化プロセス１２は、前記キャッシュタイムスタンプｔｃｊを前記ＩＲメッセージの放送タイムスタンプｔｓｉに割当する（Ｓ２７）。
【００９１】
キャッシュ無効化プロセス１２は、ｔｓｌｂを放送タイムスタンプｔｓｉに割当する（Ｓ２９）。
【００９２】
次いで、完了検査／処理プロセス１４は、完了要請Ｑ（ｃｏｍｍｉｔ  ｑｕｅｕｅ）が空いているかを確認する（Ｓ３０）。完了要請Ｑが空いていないと、完了検査／処理プロセス１４は、完了要請Ｑから完了要請メッセージを引出（ｄｅｑｕｅｕｅ）する（Ｓ３１）。
【００９３】
前記引出された完了要請メッセージがキャッシュ無効化プロセス１２によりキャッシュから削除されたデータを包含していると、完了検査／処理プロセス１４は、前記完了要請メッセージに包含された読み取り専用移動トランザクションを撤回する（Ｓ３３）。然し、前記引出された完了要請メッセージが前記削除されたデータを包含していないと、完了検査／処理プロセス１４は、前記完了要請メッセージに包含された読み取り専用移動トランザクションを完了する（Ｓ３４）。
【００９４】
このように完了検査／処理プロセス１４は、次のＩＲメッセージを受信した後、キャッシュ無効化プロセス１２によりキャッシュ無効化が遂行された後にキャッシュ無効化処理結果に基づいて遅延有効化完了処理を遂行する。
【００９５】
このように遅延有効化完了処理が遂行された後、キャッシュ一貫性検査／維持プロセス１３は、キャッシュ無効化プロセス１２によりキャッシュから削除されたデータを使用している他のトランザクションがあるかを確認する（Ｓ３５）。
【００９６】
キャッシュ一貫性検査／維持プロセス１３は、前記削除されたデータを使用している他のトランザクションがあると、該当トランザクションを撤回する（Ｓ３６）。
【００９７】
このように、ＩＲメッセージが到着される都度に、移動クライアント１０は、キャッシュ無効化処理とキャッシュデータの一貫性を維持するための処理を周期的に遂行する。
【００９８】
【発明の効果】
以上説明したように、本発明に係る移動コンピュータ環境におけるトランザクションキャッシュ一貫性維持システム及びその方法においては、タイムスタンプ基盤楽観的同時性制御（Ｏｐｔｉｍｉｓｔｉｃ  Ｃｏｎｃｕｒｒｅｎｃｙ  Ｃｏｎｔｒｏｌ  ｗｉｔｈ  Ｕｐｄａｔｅ  ＴｉｍｅＳｔａｍｐ  Ｓｐａｎ；ＯＣＣ−ＵＴＳ２）プロトコルを読み取り専用移動トランザクションに適用し、読み取り専用移動トランザクションの直列可能な遂行を保障して移動クライアントのキャッシュデータの一貫性を維持し得るし、移動クライアント独自的に読み取り専用移動トランザクションの完了処理を遂行し得るという効果がある。
【００９９】
又、本発明は、移動クライアントがタイムスタンプに基づいてトランザクションキャッシュデータの一貫性を検査してトランザクション完了処理を独自的に遂行することで、移動サーバーの負荷を分散し得るし、移動サーバーと移動クライアント間送受信メッセージを最小化し得るという効果がある。
【０１００】
又、本発明は、移動クライアントによる読み取り専用移動トランザクション処理時に移動サーバーと移動クライアント間に同時性制御のためのメッセージ・送受信を完全に除去することで、無線インターフェースのための帯域幅を效率的に使用し得るという効果がある。
【０１０１】
又、本発明は、移動サーバーが一つのトランザクションが更新した各データに対して同様な更新タイムスタンプを附与し、移動クライアントが無効化されたデータを使用している各トランザクションを全て撤回することで、単一データの一貫性でなく、色々な各データ間の一貫性を維持し得るという効果がある。
【０１０２】
又、本発明は、移動クライアントがタイムスタンプに基づいて移動トランザクション完了処理を遂行することで、迅速なトランザクション応答時間を提供し得るという効果がある。
【０１０３】
又、本発明は、移動クライアントにＩＲメッセージが到着される都度に、無効化されなかったキャッシュのデータに対しても前記ＩＲメッセージを利用してキャッシュタイムスタンプを更新することで、移動クライアントのキャッシュ一貫性を維持し得るという効果がある。
【０１０４】
又、本発明は、移動サーバーがデータと共にタイムスタンプを提供するため、移動クライアントがデータを直ちにキャッシングする場合にもキャッシュ一貫性を維持し得るし、トランザクションの直列可能な遂行を保障し得るという効果がある。
【図面の簡単な説明】
【図１】本発明に係る移動サーバー及び移動クライアントのソフトウェアブロック構成を示した図である。
【図２】本発明に係る移動クライアントの読み取り専用移動トランザクション実行方法を示した図である。
【図３Ａ】本発明に係る移動クライアントのトランザクションキャッシュ無効化及び一貫性検査遂行方法を示した図である。
【図３Ｂ】本発明に係る移動クライアントのトランザクションキャッシュ無効化及び一貫性検査遂行方法を示した図である。
【図４】本発明に係る移動クライアントの読み取り専用移動トランザクション完了処理方法を示した図である。
【図５】一般的な移動コンピュータ網の構成を示した図である。
【符号の説明】
１０：移動クライアント                  １１：トランザクション実行プロセス
１２：キャッシュ無効化プロセス  １３：キャッシュ一貫性検査／維持プロセス
１４：完了検査／処理プロセス
【図１】
2004152247.tif 000003
【図２】
2004152247.tif 000004
【図３Ａ】
2004152247.tif 000005
【図３Ｂ】
2004152247.tif 000006
【図４】
2004152247.tif 000007
【図５】
2004152247.tif 000008