(57)【要約】【課題】状態カテゴリや状態仕様を独立して設計することを可能とし、一方の状態カテゴリや状態仕様に仕様変更が発生した場合は、他方の状態カテゴリ等に仕様変更が発生しないようにし、状態カテゴリや状態仕様が新たにシステムに追加された場合は、既存の状態カテゴリ等と組み合わせてシステムを再構築可能な状態変換装置を提供する。【解決手段】状態変換装置は、入出力装置１００が、外部から入力データを受信し、複数の処理装置２００から１つの処理装置を特定し、状態管理装置３００が、当該処理装置に必要な事前条件を自動的に判別して生成し、前記入力データと事前条件を前記処理装置に送信し、また、処理装置が生成した出力データを用いて事後条件を保持し、入出力装置１００が、出力データを外部に送信する。状態変換装置は、さらに、事前条件及び事後条件を削除する条件削除手段と、これらの条件を追加する条件追加手段と、所定の処理装置を削除する処理装置削除手段と、新たに処理装置を追加する処理装置追加手段とを有する。【選択図】        図１
2004287545.tif 000002
【特許請求の範囲】
【請求項１】
複数の処理装置と、１つの状態管理装置と、１つの入出力装置とを有し、所定の条件の下で処理を実行するときに、該処理の内容に合わせて条件を変換可能か否かを判断し、変換可能であると判断した場合は、条件を変換し、該変換した条件の下で処理を実行する状態変換装置であって、処理装置は、所定の処理を実行するために必要な情報である入力データと、所定の条件である事前条件とを入出力装置から受信する手段と、前記受信した事前条件を用いて前記処理を実行可能か否かを判断する実行判断手段と、前記実行可能であると判断した場合は前記処理を実行する手段と、前記処理を実行した結果の情報である出力データを生成する手段と、前記処理を実行した後の条件となる事後条件を生成する手段と、前記出力データ及び事後条件を入出力装置に送信する手段とを有し、状態管理装置は、事後条件保持手段と、事前条件生成手段と、事後条件設定手段とを有し、前記事後条件保持手段は、前記処理装置が生成して送信した事後条件を保持する機能を有し、前記事前条件生成手段は、前記処理装置が受信する事前条件を取得するために入出力装置が送信する事前条件取得要求を受信する手段と、前記受信した事前条件取得要求及び前記事後条件保持手段が保持した事後条件を用いて事前条件を生成する手段と、前記生成した事前条件を入出力装置に送信する手段とを有し、前記事後条件設定手段は、前記処理装置が生成して送信した事後条件を含む事後条件設定要求を受信する手段と、前記受信した事後条件を前記事後条件保持手段に保持する手段とを有し、入出力装置は、前記処理装置が受信する入力データを含む外部入力データを外部装置から受信する外部入力データ受信手段と、前記受信した外部入力データを用いて複数の処理装置から１つの処理装置を特定する処理装置特定手段と、前記事前条件取得要求を生成して状態管理装置に送信する手段と、前記事前条件を状態管理装置から受信する手段と、前記入力データ及び事前条件を前記特定した処理装置に送信する手段と、前記処理装置が生成した出力データ及び事後条件を受信する手段と、前記事後条件設定要求を生成して状態管理装置に送信する手段と、前記出力データを含む外部出力データを生成して前記外部装置に送信する手段とを有することを特徴とする状態変換装置。
【請求項２】
請求項１に記載の状態変換装置において、状態管理装置は、さらに、事前条件と事後条件とを含み、前記事前条件と事後条件との変換規則を格納する条件格納手段を有し、前記状態管理装置の事前条件生成手段は、前記処理装置が受信する事前条件を取得するために入出力装置が送信する事前条件取得要求を受信する手段と、前記受信した事前条件取得要求及び前記事後条件保持手段が保持した事後条件を用いて、前記条件格納手段から事前条件を生成する手段と、前記生成した事前条件を入出力装置に送信する手段とを有することを特徴とする状態変換装置。
【請求項３】
請求項１または２に記載の状態変換装置において、処理装置は、さらに、事前条件を格納する事前条件格納手段を有し、前記処理装置の実行判断手段は、前記入出力装置から受信した事前条件と前記事前条件格納手段が格納した事前条件とを用いて、前記処理を実行可能か否かを判断することを特徴とする状態変換装置。
【請求項４】
請求項１から３のいずれか１項に記載の状態変換装置において、入出力装置は、さらに、処理装置を特定するための情報である処理装置ＩＤと、前記外部装置が処理を特定するための情報である処理ＩＤとを対応付けて格納して管理する処理情報格納手段を有し、前記入出力装置の外部入力データ受信手段は、処理ＩＤと、前記処理装置が受信する入力データとを含む外部入力データを前記外部装置から受信し、前記処理装置特定手段は、前記外部装置から受信した外部入力データの処理ＩＤと前記処理情報格納手段が格納した処理装置ＩＤ及び処理ＩＤとを用いて、複数の処理装置から１つの処理装置を特定することを特徴とする状態変換装置。
【請求項５】
請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段を有することを特徴とする状態変換装置。
【請求項６】
請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段を有することを特徴とする状態変換装置。
【請求項７】
請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段とを有することを特徴とする状態変換装置。
【請求項８】
請求項５に記載の状態変換装置において、さらに、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段を有することを特徴とする状態変換装置。
【請求項９】
請求項６に記載の状態変換装置において、さらに、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段を有することを特徴とする状態変換装置。
【請求項１０】
請求項７記載の状態変換装置において、さらに、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段とを有することを特徴とする状態変換装置。
【請求項１１】
請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記入出力装置の処理情報格納手段に格納された、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを削除する第２の処理装置削除手段とを有することを特徴とする状態変換装置。
【請求項１２】
請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段と、前記入出力装置の処理情報格納手段に、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを追加する第２の処理装置追加手段とを有することを特徴とする状態変換装置。
【請求項１３】
請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記入出力装置の処理情報格納手段に格納された、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを削除する第２の処理装置削除手段と、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段と、前記入出力装置の処理情報格納手段に、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを追加する第２の処理装置追加手段とを有することを特徴とする状態変換装置。
【請求項１４】
請求項１から１３のいずれか１項に記載の状態変換装置において、該状態変換装置は、ＩＣカード、携帯電話、家電製品、オーディオ製品、ロボット、パーソナルコンピュータのいずれかに組み込まれていることを特徴とする状態変換装置。
【請求項１５】
請求項１から１３のいずれか１項に記載の状態変換装置において、前記複数の処理装置、１つの状態管理装置及び１つの入出力装置は、それぞれネットワーク上に分離して構成され、該ネットワークは、端末装置としての処理装置と、端末装置としての入出力装置と、サーバ装置としての状態管理装置とを備えることを特徴とする状態変換装置。
【請求項１６】
請求項１５に記載の状態変換装置において、前記条件削除手段、条件追加手段、処理装置削除手段及び処理装置追加手段は、ネットワーク上の端末装置として備えることを特徴とする状態変換装置。
【請求項１７】
請求項１から１３のいずれか１項に記載の状態変換装置において、前記状態管理装置は、半導体チップまたは基本ソフト（ＯＳ）に組み込まれていることを特徴とする状態変換装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
所定の処理を実行する処理装置を複数備えた状態変換装置において、ある１つの処理の実行過程で状態遷移が発生する場合における状態管理及び状態仕様の変更に関するものである。
【０００２】
【従来の技術】
ＩＣカードアプリケーションや当該アプリケーションが組み込まれた装置において、複数の処理を組み合わせて１つの処理を行う制御処理がある。このような処理では、状態遷移が発生する。例えば、ＩＣカードを用いた電子マネーの「支払い処理」は、「ＡＰ（アプリケーション）の選択」「端末認証」「残高更新」の各処理から構成される。「残高更新」を行う場合は、「端末認証」を必ず行う必要があり、「端末認証」を行うとカード内の情報を「端末認証済み状態」にする。「残高更新」の処理では、「端末認証済み状態」であることを確認し、確認できた場合にのみ残高更新をしなければならない。
【０００３】
また、携帯電話におけるメモリの「データ書き込み処理」は、「センタ認証」「データ書き込み」の各処理から構成される。この場合、「センタ認証」を必ず行い、カード内の情報を「センタ認証済み状態」とする。そして、「データ書き込み」の処理では、「センタ認証済み状態」であることを確認し、確認できた場合にのみデータ書き込みをしなければならない。
【０００４】
このようなシステムの状態遷移を設計するために、様々な方法が提案されている。例えば、状態遷移図を階層化した記述とすることにより、状態遷移の理解を容易にし、また、状態遷移の変更箇所を局所化することにより、その修正を容易にする工夫が行われている（例えば、特許文献１参照。）。
【０００５】
また、１対１で対応づけられた状態遷移が膨大となり、解析や仕様の理解が困難となる問題を解決するために、状態仕様をグループ化して各状態仕様の依存関係だけを意識し、複数の状態仕様を切り替えることにより、システム全体の状態遷移を構築する方法が提案されている（例えば、特許文献２参照。）。さらに、特許文献２に記載された方法と同様に、複雑になる状態遷移をカテゴリに分類し、カテゴリ間の状態遷移によって、全体の状態遷移を構築する方法が提案されている（例えば、特許文献３参照。）。
【０００６】
【特許文献１】
特開平７−１２９３７５号公報（段落〔００２４〕〔００５２〕〔００９５〕〔００９７〕〔０１１８〕、図３）
【特許文献２】
特開平７−１８２１５１号公報（段落〔００６９〕、図４）
【特許文献３】
特開平２００２−７３１６８号公報（段落〔００５６〕〔００５７〕〔００５８〕）
【０００７】
【発明が解決しようとする課題】
これらの方法は、システム全体の状態遷移の設計や仕様の理解を容易にするものであり、さらに、状態遷移の仕様に変更があった場合でも、変更可能となる箇所を局所化することによって、変更箇所を最小にするものである。しかし、このような従来の方法では、相互の状態遷移の仕様を知らなければ状態遷移の変更を行うことができない。
【０００８】
例えば、状態カテゴリＣ１の状態は「Ｓ０→Ｓ１」、または「Ｓ０→Ｓ２」と遷移し、一方で、状態カテゴリＣ２の状態は「Ｓ１→Ｓ１１」、または「Ｓ１→Ｓ１２」と遷移する場合について説明する。状態カテゴリＣ１の状態Ｓ１をＳ１’に変更した場合、状態カテゴリＣ２の状態の遷移も同様に、「Ｓ１’→Ｓ１１」「Ｓ１’→Ｓ１２」に変更する必要がある。この結果、状態カテゴリＣ１及びＣ２は、互いに状態Ｓ１の仕様を知らなければならない。このように、最初の設計段階において状態仕様を決定し、決定された状態仕様を各状態カテゴリに共有させることにより、全体の状態遷移が構築されている場合において、決定された状態仕様の変更を行うには、各状態仕様を状態カテゴリが知らなければならない。また、１箇所の状態仕様の変更を行うことに伴って、複数の状態カテゴリの状態仕様も変更しなければならない。
【０００９】
次に、ＩＣカードを例に挙げて、具体的に説明する。所定の状態を「外部認証済み」状態にする「ＥｘｔｅｒｎａｌＡｕｔｈｅｎｔｉｃａｔｉｏｎ」コマンドと、「外部認証済み」状態のときに実行する「ＷｒｉｔｅＲｅｃｏｒｄ」コマンドとを組み合わせた状態カテゴリを考える。ここで、所定の状態を「ＰＩＮ認証済み」状態にする「Ｖｅｒｉｆｙ」コマンドを実行した後に「ＷｒｉｔｅＲｅｃｏｒｄ」コマンドを実行する別の状態カテゴリも考えると、「ＷｒｉｔｅＲｅｃｏｒｄ」コマンドの実行条件を拡張するように変更しなければならない。
【００１０】
また、ＩＣカードにおいては、１つのコマンドによって複数の領域にアクセスする場合がある。このようなコマンドでは、領域毎に割り当てられるアクセス条件（実行可能状態）が異なることがある。例えば、「ＲｅａｄＲｅｃｏｒｄ」は、領域「Ａ」、領域「Ｂ」及び領域「Ｃ」にアクセスし、データを書き込むコマンドである。領域「Ａ」に実行条件Ｓ１を、領域「Ｂ」に実行条件Ｓ２を、領域「Ｃ」に実行条件Ｓ３をそれぞれ割り当てる際に、各状態仕様や状態カテゴリの状態を知る必要がある場合には、その条件を調べて設定する必要がある。
【００１１】
すなわち、領域「Ａ」において、「外部認証済み状態」の場合にアクセス可能とするには、領域「Ａ」の状態を「Ｓ１＝外部認証済み状態」とする必要があり、このためには、「外部認証済み」状態にする「ＥｘｔｅｒｎａｌＡｕｔｈｅｎｔｉｃａｔｉｏｎ」コマンドの仕様を知る必要がある。この結果、「ＥｘｔｅｒｎａｌＡｕｔｈｅｎｔｉｃａｔｉｏｎ」コマンドの仕様に変更が発生した場合には、実行条件Ｓ１の仕様を変更しなければならない。
【００１２】
このように、複数の状態カテゴリや状態仕様の相互依存関係を局所化した場合に、一方の状態カテゴリ等の仕様が変更されたときは、完全に依存関係がある限り、他方の状態カテゴリ等の仕様を変更する必要がある。
【００１３】
本発明はこのような事情を考慮してなされたものであり、その目的は、状態カテゴリや状態仕様を独立して設計することを可能とし、生産性向上を実現する状態変換装置を提供することにある。また、本発明の目的は、一方の状態カテゴリや状態仕様に仕様変更が発生した場合は、他方の状態カテゴリ等に仕様変更が発生しないようにし、保守性向上を実現する状態変換装置を提供することにある。さらに、本発明の目的は、状態カテゴリや状態仕様が新たにシステムに追加された場合は、既存の状態カテゴリ等と組み合わせてシステムを再構築し、資源の再利用を可能とする状態変換装置を提供することにある。
【００１４】
【課題を解決するための手段】
請求項１の発明は、複数の処理装置と、１つの状態管理装置と、１つの入出力装置とを有し、所定の条件の下で処理を実行するときに、該処理の内容に合わせて条件を変換可能か否かを判断し、変換可能であると判断した場合は、条件を変換し、該変換した条件の下で処理を実行する状態変換装置であって、処理装置は、所定の処理を実行するために必要な情報である入力データと、所定の条件である事前条件とを入出力装置から受信する手段と、前記受信した事前条件を用いて前記処理を実行可能か否かを判断する実行判断手段と、前記実行可能であると判断した場合は前記処理を実行する手段と、前記処理を実行した結果の情報である出力データを生成する手段と、前記処理を実行した後の条件となる事後条件を生成する手段と、前記出力データ及び事後条件を入出力装置に送信する手段とを有し、状態管理装置は、事後条件保持手段と、事前条件生成手段と、事後条件設定手段とを有し、前記事後条件保持手段は、前記処理装置が生成して送信した事後条件を保持する機能を有し、前記事前条件生成手段は、前記処理装置が受信する事前条件を取得するために入出力装置が送信する事前条件取得要求を受信する手段と、前記受信した事前条件取得要求及び前記事後条件保持手段が保持した事後条件を用いて事前条件を生成する手段と、前記生成した事前条件を入出力装置に送信する手段とを有し、前記事後条件設定手段は、前記処理装置が生成して送信した事後条件を含む事後条件設定要求を受信する手段と、前記受信した事後条件を前記事後条件保持手段に保持する手段とを有し、入出力装置は、前記処理装置が受信する入力データを含む外部入力データを外部装置から受信する外部入力データ受信手段と、前記受信した外部入力データを用いて複数の処理装置から１つの処理装置を特定する処理装置特定手段と、前記事前条件取得要求を生成して状態管理装置に送信する手段と、前記事前条件を状態管理装置から受信する手段と、前記入力データ及び事前条件を前記特定した処理装置に送信する手段と、前記処理装置が生成した出力データ及び事後条件を受信する手段と、前記事後条件設定要求を生成して状態管理装置に送信する手段と、前記出力データを含む外部出力データを生成して前記外部装置に送信する手段とを有することを特徴とするものである。これにより、入出力装置が、外部から入力データを受信し、複数の処理装置から１つの処理装置を特定し、状態管理装置が、当該処理装置に必要な事前条件を自動的に判別して生成し、前記入力データと事前条件を前記処理装置に送信し、また、処理装置が生成した出力データを用いて事後条件を保持し、入出力装置が、出力データを外部に送信する。
【００１５】
請求項２の発明は、請求項１に記載の状態変換装置において、状態管理装置は、さらに、事前条件と事後条件とを含み、前記事前条件と事後条件との変換規則を格納する条件格納手段を有し、前記状態管理装置の事前条件生成手段は、前記処理装置が受信する事前条件を取得するために入出力装置が送信する事前条件取得要求を受信する手段と、前記受信した事前条件取得要求及び前記事後条件保持手段が保持した事後条件を用いて、前記条件格納手段から事前条件を生成する手段と、前記生成した事前条件を入出力装置に送信する手段とを有することを特徴とするものである。これにより、処理装置が処理を実行する際に必要な事前条件を、状態管理装置の事後条件保持手段に保持した事後条件を用いて、当該処理装置に合わせて変換して生成することができる。
【００１６】
請求項３の発明は、請求項１または２に記載の状態変換装置において、処理装置は、さらに、事前条件を格納する事前条件格納手段を有し、前記処理装置の実行判断手段は、前記入出力装置から受信した事前条件と前記事前条件格納手段が格納した事前条件とを用いて、前記処理を実行可能か否かを判断することを特徴とするものである。これにより、処理装置は、事前条件も用いて処理を実行可能か否かを判断できる。
【００１７】
請求項４の発明は、請求項１から３のいずれか１項に記載の状態変換装置において、入出力装置は、さらに、処理装置を特定するための情報である処理装置ＩＤと、前記外部装置が処理を特定するための情報である処理ＩＤとを対応付けて格納して管理する処理情報格納手段を有し、前記入出力装置の外部入力データ受信手段は、処理ＩＤと、前記処理装置が受信する入力データとを含む外部入力データを前記外部装置から受信し、前記処理装置特定手段は、前記外部装置から受信した外部入力データの処理ＩＤと前記処理情報格納手段が格納した処理装置ＩＤ及び処理ＩＤとを用いて、複数の処理装置から１つの処理装置を特定することを特徴とするものである。これにより、処理装置ＩＤが内部で管理され、処理ＩＤが外部から与えられることで、複数の処理装置から１つの処理装置を特定することができる。
【００１８】
請求項５の発明は、請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段を有することを特徴とするものである。
【００１９】
請求項６の発明は、請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段を有することを特徴とするものである。
【００２０】
請求項７の発明は、請求項２に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段とを有することを特徴とするものである。
【００２１】
請求項８の発明は、請求項５に記載の状態変換装置において、さらに、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段を有することを特徴とするものである。
【００２２】
請求項９の発明は、請求項６に記載の状態変換装置において、さらに、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段を有することを特徴とするものである。
【００２３】
請求項１０の発明は、請求項７記載の状態変換装置において、さらに、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段とを有することを特徴とするものである。
【００２４】
請求項１１の発明は、請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記入出力装置の処理情報格納手段に格納された、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを削除する第２の処理装置削除手段とを有することを特徴とするものである。
【００２５】
請求項１２の発明は、請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段と、前記入出力装置の処理情報格納手段に、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを追加する第２の処理装置追加手段とを有することを特徴とするものである。
【００２６】
請求項１３の発明は、請求項４に記載の状態変換装置において、さらに、前記状態管理装置の条件格納手段に格納された、所定の処理装置に関する事前条件及び事後条件を削除する条件削除手段と、前記複数の処理装置から所定の処理装置を削除する処理装置削除手段と、前記入出力装置の処理情報格納手段に格納された、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを削除する第２の処理装置削除手段と、前記状態管理装置の条件格納手段に、所定の処理装置に関する事前条件及び事後条件を追加する条件追加手段と、前記複数の処理装置に加えて他の処理装置を追加する処理装置追加手段と、前記入出力装置の処理情報格納手段に、所定の処理装置に関する処理ＩＤ及び処理装置ＩＤを追加する第２の処理装置追加手段とを有することを特徴とするものである。
【００２７】
請求項５から１３までの発明によれば、本発明の状態変換装置が管理する処理装置を入れ替える場合や、その入れ替えに伴う事前条件及び事後条件を変更する場合には、状態管理装置の条件格納手段が管理する事前条件及び事後条件を変更し、処理装置を追加または削除すれば足りるため、処理装置の仕様を変更する必要がない。
【００２８】
本発明の好適な実施例は、上記の状態変換装置が、ＩＣカード、携帯電話、家電製品、オーディオ製品、ロボット、パーソナルコンピュータのいずれかに組み込まれていることを特徴とするものである。
【００２９】
本発明の好適な実施例は、上記の状態変換装置を構成する複数の処理装置、１つの状態管理装置及び１つの入出力装置が、それぞれネットワーク上に分離して構成され、該ネットワークが、端末装置としての処理装置と、端末装置としての入出力装置と、サーバ装置としての状態管理装置とを備えることを特徴とするものである。
【００３０】
本発明の好適な実施例は、上記の状態変換装置を構成する条件削除手段、条件追加手段、処理装置削除手段及び処理装置追加手段が、ネットワーク上の端末装置として備えることを特徴とするものである。
【００３１】
本発明の好適な実施例は、上記の状態変換装置を構成する状態管理装置が、半導体チップまたは基本ソフト（ＯＳ）に組み込まれていることを特徴とするものである。
【００３２】
【発明の実施の形態】
以下、図面を参照して、本発明の実施の形態について詳細に説明する。
〔構成の説明〕
図１は、本発明の実施の形態に係る状態変換装置の原理を示す概略構成図である。状態変換装置は、所定の処理をそれぞれ行う複数の処理装置２００と、状態変換装置の状態を管理する状態管理装置３００と、外部と信号の送受信を行い、処理装置２００を構成する複数の処理装置から１つの処理装置を特定し、その特定した処理装置へ事前条件を与え、その特定した処理装置から事後条件を取得する入出力装置１００とから構成される。入出力装置１００と図示しない外部装置とは外部通信路４００により接続され、入出力装置１００と状態管理装置３００とは通信路６００により接続され、入出力装置１００と処理装置２００とは通信路５００により接続される。ここで、処理装置２００は、複数の処理装置２１０，２２０，２３０等から構成されており、通信路５００は、各処理装置２１０，２２０，２３０等と通信可能である複数の通信路５０１，５０２，５０３等から構成されている。
【００３３】
図２は、入出力装置１００の構成を示す説明図である。入出力装置１００は、入出力処理装置１１０と処理装置管理テーブル１２０とから構成されている。図３は、処理装置管理テーブル１２０の構成を示す説明図である。処理装置管理テーブル１２０は、外部装置が与える処理装置２００のＩＤである処理ＩＤ１２１と、処理装置２００を構成する各処理装置２１０，２２０，２３０等に与えられたＩＤである処理装置ＩＤ１２２とを対応付けた情報が、１つのレコードとして格納されているテーブルである。
【００３４】
図４は、処理装置２００の構成を示す説明図である。処理装置２００は、複数の処理装置２１０，２２０，２３０等から構成されており、図４は、その１つの処理装置２１０の構成を示している。処理装置２１０は、処理制御装置２１１と事前条件格納域２１２とから構成されている。処理制御装置２１１は、通信路５０１と結線されている。図５は、事前条件格納域２１２の構成を示す説明図である。事前条件格納域２１２は、事前条件が格納された領域であり、事前条件が不要である場合は、この領域を有する必要はない。
【００３５】
図６は、状態管理装置３００の構成を示す説明図である。状態管理装置３００は、現在の状態変換装置の状態を管理するための状態バッファ３２０と、状態を変換する情報が格納された状態管理テーブル３３０と、状態バッファ３２０及び状態管理テーブル３３０を制御する状態管理制御装置３１０とから構成されている。
【００３６】
図７は、状態バッファ３２０の構成を示す説明図である。状態バッファ３２０は、処理装置ＩＤ３２１と事後条件３２２とから構成される。図８は、状態管理テーブル３３０の構成を示す説明図である。状態管理テーブル３３０は、事後条件３３２を設定した処理装置２００の処理装置ＩＤ３３１と、その処理装置２００の後に処理が許可される処理装置２００の処理装置ＩＤ３３３と、その処理装置２００の動作条件である事前条件３３４とから構成されるレコードを複数有する。
【００３７】
図９は、状態管理テーブル３３０を検索する際に用いる検索子である状態検索子４３０の構成を示す説明図である。状態検索子４３０は、ある処理装置２００の処理装置ＩＤ４３１と、その処理装置２００が設定した事後条件４３２と、次に処理を行う処理装置２００の処理装置ＩＤ４３３とから構成されている。
【００３８】
外部通信路４００で通信される情報は、外部入力電文４１０と外部出力電文４２０である。図１０は、外部入力電文４１０の構成を示す説明図である。外部入力電文４１０は、処理ＩＤ４１１と、処理装置２００に渡されるデータである入力データ４１２とから構成される。図１１は、外部出力電文４２０の構成を示す説明図である。外部出力電文４２０は、処理装置２００の処理結果である出力データ４２１から構成される。
【００３９】
通信路５００で通信される情報は、内部入力電文５１０と内部出力電文５２０である。図１２は、内部入力電文５１０の構成を示す説明図である。内部入力電文５１０は、入力データ５１１と、処理装置２００の動作条件となる事前条件５１２とから構成される。ここで、事前条件５１２は、事前条件が不要である処理装置２００の場合は省略することが可能である。図１３は、内部出力電文５２０の構成を示す説明図である。内部出力電文５２０は、処理装置２００の処理結果を含む出力データ５２１と、処理の結果の状態となる事後条件５２２とから構成される。ここで、事後条件５２２は、状態変換装置に対して状態の設定が不要である場合は省略できる。
【００４０】
通信路６００で通信される情報は、事前条件要求電文６１０と、事前条件応答電文６２０と、事後条件設定電文６３０と、事後条件設定応答６４０である。図１４は、事前条件要求電文６１０の構成を示す説明図である。事前条件要求電文６１０は、電文が事前条件を要求していることを意味する情報であるデータ種別６１１と、要求している処理装置２００の処理装置ＩＤ６１２とから構成される。図１５は、事前条件応答電文６２０の構成を示す説明図である。事前条件応答電文６２０は、事前条件である事前条件６２１から構成される。
【００４１】
図１６は、事後条件設定電文６３０の構成を示す説明図である。事後条件設定電文６３０は、事後条件設定電文であることを意味するデータ種別６３１と、事後条件６３２と、事後条件６３２を生成した処理装置２００の処理装置ＩＤ６３３とから構成される。図１７は、事後条件設定応答６４０の構成を示す説明図である。事後条件設定応答６４０は、事後条件の設定処理の結果が正常であるか、異常であるかを含む情報である処理応答６４１から構成される。
【００４２】
〔動作の説明〕
次に、本発明の実施の形態に係る状態変換装置の動作について説明する。
図１８は、図１に示した状態変換装置の処理を示す動作フロー図である。入出力装置１００は、外部入力電文４１０を受信し、「処理装置特定処理」を実行し、処理装置２００を特定する（ステップＳ６００１）。入出力装置１００は、「事前条件要求電文」をデータ種別６１１に、ステップ６００１で特定した処理装置２００の処理装置ＩＤを処理装置ＩＤ６１２にそれぞれ設定し、事前条件要求電文６１０を生成し、状態管理装置３００に送信する（ステップＳ６００２）。
【００４３】
状態管理装置３００は、事前条件取得処理である「状態管理処理」を行う（ステップＳ６００３）。そして、状態管理装置３００は、ステップ６００３で取得した事前条件を事前条件６２１に設定し、事前条件応答電文６２０を生成し、入出力装置１００に送信する（ステップＳ６００４）。入出力装置１００は、ステップ６００１において受信した入力データ４１２を入力データ５１１に、ステップ６００４において送信した事前条件６２１を事前条件５１２にそれぞれ設定し、内部入力電文５１０を生成し、ステップ６００１において特定した処理装置２００に送信する（ステップＳ６００５）。
【００４４】
処理装置２００は、事前条件格納域２１２の事前条件と事前条件５１２とを比較し、（事前条件格納域２１２の事前条件＝事前条件５１２）の場合は、次のステップに移行し、（事前条件格納域２１２の事前条件＜＞事前条件５１２）の場合は終了する（ステップＳ６００６）。ただし、この処理は、事前条件格納域２１２がない場合は行わない。次に、処理装置２００は、予め定められた処理を実行し、「処理結果」と「事後条件」を生成する。ここで、事後条件がない場合は、ＮＵＬＬとする（ステップＳ６００７）。処理装置２００は、ステップ６００７の処理の結果として、「処理結果」を出力データ５２１に、「事後条件」を事後条件５２２にそれぞれ設定し、内部出力電文５２０を生成し、入出力装置１００に送信する（ステップＳ６００８）。
【００４５】
入出力装置１００は、ステップ６００８の事後条件５２２がＮＵＬＬであるかないかを判断する。（事後条件５２２＝ＮＵＬＬ）の場合は、ステップ６０１２に移行し、（事後条件５２２＜＞ＮＵＬＬ）の場合は、事後条件設定電文６３０を生成し、状態管理装置３００に送信する（ステップＳ６００９）。状態管理装置３００は、事後条件設定処理である「状態管理処理」を実行する（ステップＳ６０１０）。そして、状態管理装置３００は、「正常終了」を処理応答６４１に設定し、事後条件設定応答６４０を生成し、入出力装置１００に送信する（ステップＳ６０１１）。入出力装置１００は、ステップ６００８において生成した出力データ５２１を出力データ４２１に設定し、外部出力電文４２０を生成し、外部通信路４００を介して外部装置に送信する（ステップＳ６０１２）。
【００４６】
次に、図１８に示したステップ６００１の「処理装置特定処理」の動作フローを、図１９に示す。「処理装置特定処理」の入力は、外部入力電文４１０の処理ＩＤ４１１であり、出力は、処理装置ＩＤである。処理装置管理テーブル１２０を検索して（ステップＳ６１０１）、処理ＩＤ４１１と処理ＩＤ１２１とを、各レコードについて比較する（ステップＳ６１０２）。（処理ＩＤ４１１＝処理ＩＤ１２１）となるレコードが存在した場合は、合致したレコードの処理装置ＩＤ１２２を返却する（ステップＳ６１０４）。一方、（処理ＩＤ４１１＝処理ＩＤ１２１）となるレコードが存在しない場合は、エラー終了する（ステップＳ６１０３）。
【００４７】
次に、図１８に示したステップ６００３及び６０１０の「状態管理処理」の動作フローを、図２０に示す。「状態管理処理」の入力は、事前条件要求電文６１０または事後条件設定電文６３０であり、出力は、事前条件である。状態管理制御装置３１０は、データ種別６１１，６３１と「事前条件要求」及び「事後条件設定」とを比較する（ステップＳ６２０１）。データ種別６１１，６３１が「事前条件要求」の場合は、状態管理制御装置３１０は、状態バッファ３２０の処理装置ＩＤ３２１を処理装置ＩＤ４３１に、状態バッファ３２０の事後条件３２２を事後条件４３２に、事前条件要求電文６１０の処理装置ＩＤ６１２を処理装置ＩＤ４３３にそれぞれ設定した状態検索子４３０を生成する（ステップＳ６２０２）。
【００４８】
状態管理制御装置３１０は、状態検索子４３０を用いて状態管理テーブル３３０から、（処理装置ＩＤ３３１＝処理装置ＩＤ４３１）、（事後条件３３２＝事後条件４３２）及び（処理装置ＩＤ３３３＝処理装置ＩＤ４３３）を満たすレコードを検索する（ステップＳ６２０３）。そして、ステップ６２０３を満たすレコードがあるかないかを判断し（ステップＳ６２０４）、当該レコードがある場合は、状態管理制御装置３１０は、該当するレコードの事前条件３３４を返却する（ステップＳ６２０５）。一方、当該レコードがない場合は、状態管理制御装置３１０は、「事前条件なし」を返却する（ステップＳ６２０６）。また、ステップ６２０１において、データ種別６１１，６３１が「事後条件設定」の場合は、状態管理制御装置３１０は、事後条件設定電文６３０の処理装置ＩＤ６３３を状態バッファ３２０の処理装置ＩＤ３２１に、事後条件設定電文６３０の事後条件６３２を状態バッファ３２０の事後条件３２２にそれぞれ設定する（ステップＳ６２１０）。
【００４９】
次に、本発明の実施例について説明する。
〔実施例の構成の説明〕
図２１は、本発明の実施の形態に係る状態変換装置が用いられるＩＣカードシステムの全体構成を示す概略図である。尚、状態変換装置は、ＩＣカード７０３内に組み込まれている。このＩＣカードシステムは、状態変換装置を組み込んだＩＣカード７０３と、ＩＣカード７０３に対して制御を行う制御端末７０１と、ＩＣカード７０３と制御端末７０１との間の信号の変換を行うリーダライタ７０２と、ＩＣカード７０３とリーダライタ７０２間の通信路７０５と、制御端末７０１とリーダライタ７０２間の通信路７０４とから構成されている。ＩＣカード７０３はＩＣチップを搭載したプラスチックカードであって、状態変換装置はこのＩＣチップ内に組み込まれている。
【００５０】
制御端末７０１は、このＩＣカード７０３に対して状態変換装置が動作する命令を含む入力データを送信する装置である。通信路７０４としては、ＲＳ−２３２ＣやＵＳＢ等の通信路が用いられる。また、通信路７０５としては、ＩＳＯ／ＩＥＣ７８１６−１やＩＳＯ／ＩＥＣ７８１６−２で定められた物理／電気特性を有する接触型の通信路や、ＩＳＯ／ＩＥＣ１４４４３で規定された電波特性を有する非接触型の通信路が用いられる。
【００５１】
図２２は、ＩＣカード７０３に組み込まれた状態変換装置を示す概略構成図である。この状態変換装置は、入出力装置１００と、２つの処理装置２１０及び処理装置２２０から成る処理装置２００と、状態管理装置３００とから構成されている。入出力装置１００と外部装置である図示しないリーダライタ７０２とは外部通信路４００により接続され、処理装置２１０と入出力装置１００とは通信路５０１により接続される。また、処理装置２２０と入出力装置１００とは通信路５０２により接続され、入出力装置１００と状態管理装置３００とは通信路６００により接続される。
【００５２】
入出力装置１００は、外部通信路４００を用いて外部装置と通信を行う機能を有し、また、外部通信路４００で用いられる電文形式を解釈する機能も有する。電文形式の例としては、ＩＣカ−ドのＡＰＤＵ（Ａｐｐｌｉｃａｔｉｏｎ  Ｐｒｏｔｏｃｏｌ  Ｄａｔａ  Ｕｎｉｔ）や、ＴＣＰ／ＩＰのパケット電文による形式等がある。また、状態変換装置を直接操作する場合には、キーボードやマウス等から与えられる制御電文による形式がある。
【００５３】
処理装置２００は、複数の処理装置２１０，２２０から構成されている。各処理装置２１０，２２０は、外部から与えられる命令に従って処理を行う処理の単位である。処理装置２００をＩＣカード７０３上に搭載した場合には、ＩＣカード７０３に対する各コマンドと処理装置２１０，２２０とを対応させることが可能である。図２２に示したように、ＰＩＮ認証を行う機能と、データ書き込みを行う機能とがＩＣカード７０３上に搭載されている。すなわち、処理装置２１０はＰＩＮ認証処理（Ｖｅｒｉｆｙコマンド）を行う装置であり、処理装置２２０は、データ書き込み処理（ＷｒｉｔｅＲｅｃｏｒｄコマンド）を行う装置である。このような処理装置の例としては、他に、パーソナルコンピュータでは、ＧＵＩで発生するマウスクリックやキーダウン等によるイベントによって発生する処理を実行する処理装置や、家電製品では、ボタン操作等によるイベントによって発生する処理を実行する処理装置がある。
【００５４】
状態管理装置３００は、状態変換装置全体の状態を管理する機構であって、ＩＣカード７０３に搭載した場合には、ＩＣカード７０３の状態を管理する装置として利用することが可能である。その実装方法としては、チップ回路として実装する方法、ＯＳに組み込むことにより実装する方法、処理装置２００の各処理装置の共通機能として与える方法等がある。
【００５５】
外部通信路４００は、例えば、ＩＣカードの場合は、上述したＩＳＯ／ＩＥＣ７８１６やＩＳＯ／ＩＥＣ１４４４３等の規格に準拠した通信路がある。また、この他にも、組み込まれるデバイスに応じて、ＲＳ−２３２ＣやＵＳＢ等の有線接続による通信路や、携帯電話の周波数帯等を用いた無線による通信路がある。この外部通信路４００は、図２１に示した通信路７０５と接続される。
【００５６】
図２３は、図２２に示した入出力装置１００の構成を示す説明図である。入出力装置１００は、外部通信路４００を用いてＩＣカード７０３の送信電文（Ｃ−ＡＰＤＵ）を受信し、Ｃ−ＡＰＤＵを解釈し、処理装置２１０や処理装置２２０を実行し、状態管理装置３００を用いて状態の設定や取得を行い、処理結果となる応答電文（Ｒ−ＡＰＤＵ）を送信する入出力処理装置１１０と、処理装置管理テーブル１２０とを有している。
【００５７】
図２４は、図２３に示した処理装置管理テーブル１２０の構成を示す説明図である。この例では、Ｖｅｒｉｆｙコマンド（処理ＩＤ＝０ｘ０Ａ  ０２）とＷｒｉｔｅＲｅｃｏｒｄコマンド（処理ＩＤ＝０ｘ０Ａ  ０４）があるため、状態変換装置には２つの処理装置ＩＤ（０ｘ００  ０１及び０ｘ００  ０２）が登録されている。
【００５８】
次に、処理装置２００を構成する処理装置２１０（Ｖｅｒｉｆｙコマンド）と処理装置２２０（ＷｒｉｔｅＲｅｃｏｒｄ）について説明する。図２５は、図２２に示した処理装置２１０の構成を示す説明図である。処理装置２１０は、事前条件がないため、図４に示した事前条件格納域２１２はなく、ＰＩＮ認証処理を行う処理制御装置２１１と、ＰＩＮ番号を保持するＰＩＮ格納域２１３とから構成されている。図２６は、図２５に示したＰＩＮ格納域２１３の構成を示す説明図である。処理装置２１０は、ＰＩＮ番号を入力として与えられ、ＰＩＮ格納域２１３に格納されているＰＩＮ番号と、入力のＰＩＮ番号との一致検証を行い、事後条件として「ＰＩＮ認証済み状態（＝０ｘ５０）」とする。
【００５９】
図２７は、図２２に示した処理装置２２０の構成を示す説明図である。処理装置２２０は、任意の値が入力として与えられ、「書き込み可能状態（＝０ｘ０３）」である場合に、その値をデータ保持領域２２３に書き込む。事前条件は、事前条件格納域２２２に格納されている。図２８に、図２７に示したデータ保持領域２２３の構成を示す。また、図２９に、図２７に示した事前条件格納域２２２の構成を示す。
【００６０】
状態管理装置３００の構成は図６に示した通りである。図３０に、図２２に示した状態管理装置３００が有する状態管理テーブル３３０の構成を示す。この状態管理テーブル３３０は、事後条件３３２（＝０ｘ５０／ＰＩＮ認証済み状態）を設定した処理装置２１０の処理装置ＩＤ３３１（＝０ｘ００  ０１）と、その処理装置２１０の後に処理が許される処理装置２２０の処理装置ＩＤ３３３（＝０ｘ００  ０２）と、その処理装置２２０の動作条件である事前条件３３４（＝０ｘ０３／書き込み可能状態）とから構成される。
【００６１】
外部通信路４００で用いられる電文は、Ｖｅｒｉｆｙコマンドの外部入力電文４１０とＷｒｉｔｅＲｅｃｏｒｄコマンドの外部出力電文４２０である。図３１に、Ｖｅｒｉｆｙコマンドの外部入力電文８００の構成を、図３２にＶｅｒｉｆｙコマンドの外部出力電文８１０の構成をそれぞれ示す。また、図３９に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの外部入力電文９００の構成を、図４０に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの外部出力電文９１０の構成をそれぞれ示す。
【００６２】
通信路５０１で用いられる電文は、Ｖｅｒｉｆｙコマンドの内部入力電文５１０と内部出力電文５２０である。図３３に、Ｖｅｒｉｆｙコマンドの内部入力電文８２０の構成を、図３４に、Ｖｅｒｉｆｙコマンドの内部出力電文８３０の構成をそれぞれ示す。また、通信路５０２で用いられる電文は、ＷｒｉｔｅＲｅｃｏｒｄコマンドの内部入力電文５１０と内部出力電文５２０である。図４１に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの内部入力電文９２０の構成を、図４２に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの内部出力電文９３０の構成をそれぞれ示す。
【００６３】
通信路６００で用いられる電文は、ＶｅｒｉｆｙコマンドとＷｒｉｔｅＲｅｃｏｒｄコマンドについて、それぞれの事前条件要求電文６１０、事前条件応答電文６２０、事後条件設定電文６３０及び事後条件設定応答６４０である。図３５に、Ｖｅｒｉｆｙコマンドの事前条件要求電文８５０の構成を、図３６に、Ｖｅｒｉｆｙコマンドの事前条件応答電文８６０の構成をそれぞれ示す。また、図３７に、Ｖｅｒｉｆｙコマンドの事後条件設定電文８７０の構成を、図３８に、Ｖｅｒｉｆｙコマンドの事後条件設定応答８８０の構成をそれぞれ示す。さらに、図４３に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの事前条件要求電文９５０の構成を、図４４に、ＷｒｉｔｅＲｅｃｏｒｄコマンドの事前条件応答電文９６０の構成をそれぞれ示す。
【００６４】
〔実施例の動作の説明〕
図４５は、図２１に示したＩＣカードシステムの処理を示す動作フロー図である。制御端末７０１は、Ｖｅｒｉｆｙコマンドの外部入力電文８００を生成する（ステップＳ１００１）。制御端末７０１は、通信路７０４を介してリーダライタ７０２に外部入力電文８００を送信し、リーダライタ７０２は、通信路７０５を介して外部入力電文８００をＩＣカード７０３に送信し、ＩＣカード７０３は、外部入力電文８００を受信する（ステップＳ１００２）。ＩＣカード７０３は、「ＰＩＮ認証処理」が正常であった場合は「ＰＩＮ認証処理状態」にし、「ＰＩＮ認証処理」が異常であった場合は何も行わない（ステップＳ１００３）。
【００６５】
ＩＣカード７０３は、図３２に示した、終了結果を通知する外部出力電文８１０を、リーダライタ７０２に送信し、リーダライタ７０２は、外部出力電文８１０を制御端末７０１に送信し、制御端末７０１は、外部出力電文８１０を受信する（ステップＳ１００４）。制御端末７０１は、外部出力電文８１０に含まれる出力データ８１１が「ＮＧ」であった場合には、処理を終了する（ステップＳ１００５）。制御端末７０１は、ＷｒｉｔｅＲｅｃｏｒｄコマンドで書き込むデータＸ（＝５００円）を生成し（ステップＳ１００６）、当該データＸを用いてＷｒｉｔｅＲｅｃｏｒｄコマンドの外部入力電文９００を生成する（ステップＳ１００７）。
【００６６】
制御端末７０１は、通信路７０４を介してリーダライタ７０２に外部入力電文９００を送信し、リーダライタ７０２は、通信路７０５を介して外部入力電文９００をＩＣカード７０３に送信し、ＩＣカード７０３は、外部入力電文９００を受信する（ステップＳ１００８）。ＩＣカード７０３は、「ＰＩＮ認証処理状態」であった場合は、データ書き込み処理を行い、外部出力電文９１０を生成し、「ＰＩＮ認証処理状態」でなかった場合は、異常終了とする外部出力電文９１０を生成する（ステップＳ１００９）。ＩＣカード７０３は、外部出力電文９１０をリーダライタ７０２に送信し、リーダライタ７０２は、外部出力電文９１０を制御端末７０１に送信し、制御端末７０１は、外部出力電文９１０を受信する（ステップＳ１０１０）。そして、制御端末７０１は、外部出力電文９１０に含まれる出力データ９１１が異常終了であった場合は、処理を中止する（ステップＳ１０１１）。
【００６７】
次に、ＩＣカード７０３内の動作について説明する。
まず、図４５に示したステップ１００３のＶｅｒｉｆｙコマンド処理を、図４６〜４８を用いて説明する。
図４６は、図４５に示したステップ１００３のＶｅｒｉｆｙコマンド処理を示す動作フロー図である。入出力装置１００は、外部入力電文８００を受信し、「処理装置特定処理」を実行し、処理装置２１０を特定する（ステップＳ６００１）。入出力装置１００は、事前条件要求電文（＝０ｘ０１）をデータ種別８５１に、ステップ６００１で特定した処理装置２１０の処理装置ＩＤ（＝０ｘ００  ０１）を処理装置ＩＤ８５２にそれぞれ設定し、事前条件要求電文８５０を生成し、状態管理装置３００に送信する（ステップＳ６００２）。
【００６８】
状態管理装置３００は、「状態管理処理」を行う（ステップＳ６００３）。そして、状態管理装置３００は、ＮＵＬＬ（＝０ｘＦＦ）を事前条件８６１に設定し、事前条件応答電文８６０を生成し、入出力装置１００に送信する（ステップＳ６００４）。入出力装置１００は、外部入力電文８００の入力データ８０２（＝０ｘ０１  ０２  ０３  ０４）を入力データ８２１に、ステップ６００４において送信された事前条件８６１（ＮＵＬＬ（＝０ｘＦＦ））を事前条件８２２にそれぞれ設定し、内部入力電文８２０を生成し、ステップ６００１において特定した処理装置２１０に送信する（ステップＳ６００５）。
【００６９】
処理装置２１０は、事前条件格納域２１２がないため、事前条件の検証は行わない（ステップＳ６００６）。次に、処理装置２１０は、「ＰＩＮ認証処理」を実行し、「処理結果」と「事後条件」を生成する。ここで、事後条件がない場合は、ＮＵＬＬとする（ステップＳ６００７）。処理装置２１０は、ステップ６００７の処理の結果として、「処理結果（＝ＯＫ（０ｘ００））」を出力データ８３１に、「事後条件（＝０ｘ０５）」を事後条件８３２にそれぞれ設定し、内部出力電文８３０を生成し、入出力装置１００に送信する（ステップＳ６００８）。
【００７０】
入出力装置１００は、ステップ６００８の事後条件８３２がＮＵＬＬであるかないかを判断し、（事後条件８３２（＝０ｘ０５）＜＞ＮＵＬＬ）であるため、（０ｘ０２）をデータ種別８７１に、（０ｘ０５）を事後条件８７２に、（０ｘ００  ０１）を処理装置ＩＤ８７３にそれぞれ設定し、事後条件設定電文８７０を生成し、状態管理装置３００に送信する（ステップＳ６００９）。状態管理装置３００は、「状態管理処理」を実行する（ステップＳ６０１０）。そして、状態管理装置３００は、「正常終了（＝０ｘＦＦ）」を処理応答８８１に設定し、事後条件設定応答８８０を生成し、入出力装置１００に送信する（ステップＳ６０１１）。入出力装置１００は、「ＯＫ（＝０ｘ００）」を出力データ８１１に設定し、外部出力電文８１０を生成し、外部通信路４００を介して外部に送信する（ステップＳ６０１２）。
【００７１】
次に、図４６に示したステップ６００１の「処理装置特定処理」の動作フローを、図４７に示す。「処理装置特定処理」の入力は、外部入力電文８００の処理ＩＤ８０１であり、出力は、処理装置ＩＤである。処理装置管理テーブル１２０を検索して（ステップＳ６１０１）、処理ＩＤ８０１（＝０ｘ０Ａ  ０２）と処理ＩＤ１２１とを、各レコードについて比較する（ステップＳ６１０２）。（処理ＩＤ８０１＝処理ＩＤ１２１）となるレコードが存在するため、合致したレコードの処理装置ＩＤ１２２（＝０ｘ００  ０１）を返却する（ステップＳ６１０４）。
【００７２】
次に、図４６に示したステップ６００３及び６０１０の「状態管理処理」の動作フローを、図４８に示す。「状態管理処理」の入力は、事前条件要求電文８５０または事後条件設定電文８７０であり、出力は、事前条件である。状態管理制御装置３１０は、データ種別８５１，８７１と「事前条件要求」及び「事後条件設定」とを比較する（ステップＳ６２０１）。データ種別８５１，８７１が「事前条件要求」の場合は、状態管理制御装置３１０は、状態バッファ３２０の処理装置ＩＤ３２１（＝０ｘ００  ００）を処理装置ＩＤ１１３１に、状態バッファ３２０の事後条件３２２（＝０ｘ００）を事後条件１１３２に、事前条件要求電文８５０の処理装置ＩＤ８５２（＝０ｘ００  ０１）を処理装置ＩＤ１１３３にそれぞれ設定した、図４９に示す状態検索子１１３０を生成する（ステップＳ６２０２）。
【００７３】
状態管理制御装置３１０は、状態検索子１１３０を用いて状態管理テーブル３３０から、（処理装置ＩＤ３３１＝処理装置ＩＤ１１３１）、（事後条件３３２＝事後条件１１３２）及び（処理装置ＩＤ３３３＝処理装置ＩＤ１１３３）を満たすレコードを検索する（ステップＳ６２０３）。そして、状態管理制御装置３１０は、ステップ６２０３を満たすレコードがあるかないかを判断し（ステップＳ６２０４）、当該レコードがないため、ＮＵＬＬを返却する（ステップＳ６２０６）。また、ステップ６２０１において、データ種別８５１，８７１が「事後条件設定」の場合は、状態管理制御装置３１０は、事後条件設定電文８７０の処理装置ＩＤ８７３（＝０ｘ００  ０１）を状態バッファ３２０の処理装置ＩＤ３２１に、事後条件設定電文８７０の事後条件８７２（＝０ｘ５０）を状態バッファ３２０の事後条件３２２にそれぞれ設定する（ステップＳ６２１０）。
【００７４】
次に、図４６に示したステップ６００７の「ＰＩＮ認証処理」を示す動作フローを、図５０に示す。処理装置２１０は、内部入力電文８２０の入力データ８２１の値と、ＰＩＮ格納域２１３の値とを比較する（ステップＳ１１４１）。一致している場合は正常終了し（ステップＳ１１４２）、一致していない場合はエラー終了する（ステップＳ１１４３）。
【００７５】
図４５に示したステップ１００９のＷｒｉｔｅＲｅｃｏｒｄコマンド処理を、図５１〜５３を用いて説明する。
図５１は、図４５に示したステップ１００９のＷｒｉｔｅＲｅｃｏｒｄコマンド処理を示す動作フロー図である。入出力装置１００は、外部入力電文９００を受信し、「処理装置特定処理」を実行し、処理装置２２０を特定する（ステップＳ６００１）。入出力装置１００は、「事前条件要求電文（＝０ｘ０１）」をデータ種別９５１に、ステップ６００１で特定した処理装置２２０の処理装置ＩＤ（＝０ｘ００  ０２）を処理装置ＩＤ９５２にそれぞれ設定し、事前条件要求電文９５０を生成し、状態管理装置３００に送信する（ステップＳ６００２）。
【００７６】
状態管理装置３００は、「状態管理処理」を行う（ステップＳ６００３）。そして、状態管理装置３００は、「書き込み可能状態（＝０ｘ０３）」を事前条件９６１に設定し、事前条件応答電文９６０を生成し、入出力装置１００に送信する（ステップＳ６００４）。入出力装置１００は、外部入力電文９００の入力データ９０２（＝５００円）を入力データ９２１に、ステップ６００４において送信された事前条件９６１（「書き込み可能状態（＝０ｘ０３）」）を事前条件９２２にそれぞれ設定し、内部入力電文９２０を生成し、ステップ６００１において特定した処理装置２２０に送信する（ステップＳ６００５）。
【００７７】
処理装置２２０は、事前条件格納域２２２と事前条件９２２とを比較し、事前条件格納域２２２（＝０ｘ０３）と事前条件９２２（＝０ｘ０３）とが一致する場合は、次の処理に移行する（ステップＳ６００６）。次に、処理装置２２０は、「データ書き込み」を実行し、「処理結果」を生成する（ステップＳ６００７）。処理装置２２０は、ステップ６００７の処理の結果として、「処理結果（＝ＯＫ（０ｘ００））」を出力データ９３１に設定し、内部出力電文９３０を生成し、入出力装置１００に送信する（ステップＳ６００８）。
【００７８】
入出力装置１００は、内部出力電文９３０の事後条件がＮＵＬＬであるため、ステップ６０１２の処理に移行する（ステップＳ６００９）。入出力装置１００は、「ＯＫ（＝０ｘ００）」を出力データ９１１に設定し、外部出力電文９１０を生成し、外部通信路４００を介して外部に送信する（ステップＳ６０１２）。
【００７９】
次に、図５１に示したステップ６００１の「処理装置特定処理」の動作フローを、図５２に示す。「処理装置特定処理」の入力は、外部入力電文９００の処理ＩＤ９０１であり、出力は、処理装置ＩＤである。処理装置管理テーブル１２０を検索して、処理ＩＤ９０１（＝０ｘ０Ａ  ０４）と処理ＩＤ１２１とを、各レコードについて比較する（ステップＳ６１０１）。（処理ＩＤ９０１＝処理ＩＤ１２１）となるレコードが存在するため（ステップＳ６１０２）、合致したレコードの処理装置ＩＤ１２２（＝０ｘ００  ０２）を返却する（ステップＳ６１０４）。
【００８０】
次に、図５１に示したステップ６００３の「状態管理処理」の動作フローを、図５３に示す。「状態管理処理」の入力は、事前条件要求電文９５０であり、出力は、事前条件である。状態管理制御装置３１０は、データ種別９５１と「事前条件要求」とを比較する（ステップＳ６２０１）。データ種別９５１が「事前条件要求」の場合は、状態管理制御装置３１０は、状態バッファ３２０の処理装置ＩＤ３２１（＝０ｘ００  ０１）を処理装置ＩＤ１２３１に、状態バッファ３２０の事後条件３２２（＝０ｘ５０）を事後条件１２３２に、事前条件要求電文９５０の処理装置ＩＤ９５２（＝０ｘ００  ０２）を処理装置ＩＤ１２３３にそれぞれ設定した、図５４に示す状態検索子１２３０を生成する（ステップＳ６２０２）。
【００８１】
状態管理制御装置３１０は、状態検索子１２３０を用いて状態管理テーブル３３０から、（処理装置ＩＤ３３１＝処理装置ＩＤ１２３１）、（事後条件３３２＝事後条件１２３２）及び（処理装置ＩＤ３３３＝処理装置ＩＤ１２３３）を満たすレコードを検索する（ステップＳ６２０３）。そして、状態管理制御装置３１０は、ステップ６２０３を満たすレコードがあるかないかを判断し（ステップＳ６２０４）、当該レコードがあるため、事前条件３３４（＝０ｘ０３）を取得して、事前条件応答電文９６０を返却する（ステップＳ６２０５）。
【００８２】
次に、図５１に示したステップ６００７の「データ書き込み処理」を示す動作フローを、図５５に示す。処理装置２２０は、データ保持領域２２３に入力データ９２１（＝５００円）を書き込む（ステップＳ１２４１）。
【００８３】
ところで、本発明の実施の形態に係る状態変換装置は、仕様変更が発生した場合においても、上述した処理フローを行っている処理装置２００に対して、柔軟な変更が可能である。ここで、図５６に、処理装置２００の仕様変更の定義について示す。図５６に示すように、処理装置２００に対して、「処理装置の追加」、「処理装置の変更」及び「処理装置の削除」を行うことが可能であり、処理装置２００の仕様変更には、「事前条件の変更」と「事後条件の変更」がある。「事前条件の変更」とは、図４、５、２７及び２９に示した事前条件格納域２１２の事前条件の値の変更を意味する。「事後条件の変更」とは、処理装置２００が生成する内部出力電文における事後条件の値の変更を意味する。
【００８４】
図５７は、処理装置２００の追加手順を示す動作フロー図である。追加する処理装置２００を、入出力装置１００と接続される通信路５００に接続する（ステップＳ２２０１）。入出力装置１００の処理装置管理テーブル１２０に、（Ａ）追加した処理装置２００の処理ＩＤ１２１と、（Ｂ）追加した処理装置２００の処理装置ＩＤ１２２を追加する（ステップＳ２２０２）。処理装置２００に事前条件がある場合は、状態管理装置３００の状態管理テーブル３３０に、（Ａ）追加した処理装置２００の前に実行される処理装置の処理装置ＩＤ３３１と、（Ｂ）追加した処理装置２００の前に実行される処理装置の事後条件３３２と、（Ｃ）追加した処理装置２００の処理装置ＩＤ３３３と、（Ｄ）追加した処理装置２００の事前条件３３４を追加する（ステップＳ２２０３）。処理装置２００に事後条件がある場合は、状態管理装置３００の状態管理テーブル３３０に、（Ａ）追加した処理装置２００の処理装置ＩＤ３３１と、（Ｂ）追加した処理装置２００が生成する事後条件３３２と、（Ｃ）追加した処理装置２００の後に実行される処理装置の処理装置ＩＤ３３３と、（Ｄ）追加した処理装置２００の後に実行される処理装置に必要となる事前条件３３４を追加する（ステップＳ２２０４）。
【００８５】
図５８は、処理装置２００の削除手順を示す動作フロー図である。削除する処理装置２００に事前条件がある場合は、状態管理装置３００の状態管理テーブル３３０から、（Ａ）削除する処理装置２００の前に実行される処理装置の処理装置ＩＤ３３１と、（Ｂ）削除する処理装置２００の前に実行される処理装置の事後条件３３２と、（Ｃ）削除する処理装置２００の処理装置ＩＤ３３３と、（Ｄ）削除する処理装置２００の事前条件３３４を削除する（ステップＳ２３０１）。削除する処理装置２００に事後条件がある場合は、状態管理装置３００の状態管理テーブル３３０から、（Ａ）削除する処理装置２００の処理装置ＩＤ３３１と、（Ｂ）削除する処理装置２００が生成する事後条件３３２と、（Ｃ）削除する処理装置２００の後に実行される処理装置の処理装置ＩＤ３３３と、（Ｄ）削除する処理装置２００の後に実行される処理装置に必要となる事前条件３３４を削除する（ステップＳ２３０２）。削除する処理装置２００を、入出力装置１００と接続される通信路５００から切断する（ステップＳ２３０３）。入出力装置１００の処理装置管理テーブル１２０から、（Ａ）削除する処理装置２００の処理ＩＤ１２１と、（Ｂ）削除する処理装置２００の処理装置ＩＤ１２２を削除する（ステップＳ２３０４）。
【００８６】
図５９は、処理装置２００の変更手順を示す動作フロー図である。変更を行う処理装置２００を削除する（ステップＳ２１０１）。変更を行う処理装置２００の事前条件、事後条件等について変更を行う（ステップＳ２１０２）。変更を行った処理装置２００を追加する（ステップＳ２１０３）。ここで、処理装置２００を追加する場合及び削除する場合は、状態管理テーブル３３０及び処理装置管理テーブル１２０を変更するだけで済み、処理装置２００自体の仕様を変更する必要はない。処理装置２００自体の仕様を変更する場合は、変更を行わない他の処理装置の仕様を変更する必要はない。
【００８７】
このように、上述した処理装置を削除するステップの処理は処理装置削除手段が行い、処理装置を追加するステップの処理は処理装置追加手段が行い、事前条件及び事後条件を削除するステップの処理は条件削除手段が行い、事前条件及び事後条件を追加するステップの処理は条件追加手段が行う。また、事前条件及び事後条件を変更するステップの処理は、条件変更手段が行う。状態変換装置は、これらの手段を有する。
【００８８】
〔他の実施の形態の説明〕
以上、実施の形態を挙げて本発明を説明したが、本発明は上記の実施の形態に限定されるものではなく、種々の変形が可能である。本発明の実施の形態に係る状態変換装置は、機能変更や機能拡張に伴う仕様変更の際に、既存の処理装置２００の変更を行わないように状態を管理することを可能とするものであり、実施例としてＩＣカードシステムについて適用したが、他の技術分野への応用が可能である。例えば、携帯電話内のアプリケーションは、センタシステムと通信を行い、アプリケーションの状態遷移を行いながら処理を進めるものであり、このアプリケーションの設計に適用できる。また、ウェブ上のＣＧＩアプリケーションの構造として、本発明の実施の形態に係る状態変換装置を適用することによって、後からＣＧＩの一部の機能のみを変更することが可能となる。
【００８９】
また、携帯端末アプリケーションは、携帯端末ユーザとのインタラクションを行い、状態遷移を発生しながら処理を進めるものであり、このようなアプリケーションは、モジュールを組み込むことによる機能拡張や変更が頻繁に発生することが多い。このようなアプリケーションの作りとして、本発明の実施の形態に係る状態変換装置を組み込むことは、仕様変更に強い設計となり有効である。さらに、携帯電話、家電製品、オーディオ製品、ロボット、パーソナルコンピュータ等に組み込んで適用することも可能である。尚、本発明の実施の形態に係る状態変換装置を、ＯＳに組み込むことが可能である。例えば、状態管理装置３００を状態変換装置から切り出して、半導体チップや基本ソフト（ＯＳ）に組み込むことも可能である。
【００９０】
また、本発明の実施の形態に係る状態変換装置では、入出力装置１００、処理装置２００及び状態管理装置３００を、それぞれの機能または装置として状態変換装置内に備えるようにしたが、クライアントサーバ型のネットワーク上にそれぞれ分離して構成し、入出力装置１００及び処理装置２００をそれぞれ端末装置とし、状態管理装置３００をサーバ装置としたネットワークを構成するようにしてもよい。同様に、本発明の実施の形態に係る状態変換装置に備えた条件削除手段、条件追加手段、条件変更手段、処理装置削除手段及び処理装置追加手段を、ネットワーク上の端末装置として構成するようにしてもよい。
【００９１】
また、本発明の実施の形態において、状態変換装置を構成する入出力装置１００、処理装置２００及び状態管理装置３００の各装置が実行する機能や、条件削除手段、条件追加手段、条件変更手段、処理装置削除手段及び処理装置追加手段が実行する機能、すなわち、上述した動作フローの各ステップは、状態変換装置を構成するコンピュータに組み込まれたソフトウェアによって実現することができる。このソフトウェアは、コンピュータに実行させることのできるプログラムとして、磁気ディスク、光ディスク、半導体メモリ等の記録媒体に格納して頒布することができる。
【００９２】
【発明の効果】
以上説明したように、本発明の状態変換装置によれば、処理の追加や削除が必要となり、状態遷移に変更がある場合には、既存の処理を変更することなく、再利用する処理の構築が可能となる。
【図面の簡単な説明】
【図１】本発明の実施の形態に係る状態変換装置の原理を示す概略構成図である。
【図２】入出力装置１００の構成を示す説明図である。
【図３】処理装置管理テーブル１２０の構成を示す説明図である。
【図４】処理装置２００の構成を示す説明図である。
【図５】事前条件格納域２１２の構成を示す説明図である。
【図６】状態管理装置３００の構成を示す説明図である。
【図７】状態バッファ３２０の構成を示す説明図である。
【図８】状態管理テーブル３３０の構成を示す説明図である。
【図９】状態検索子４３０の構成を示す説明図である。
【図１０】外部入力電文４１０の構成を示す説明図である。
【図１１】外部出力電文４２０の構成を示す説明図である。
【図１２】内部入力電文５１０の構成を示す説明図である。
【図１３】内部出力電文５２０の構成を示す説明図である。
【図１４】事前条件要求電文６１０の構成を示す説明図である。
【図１５】事前条件応答電文６２０の構成を示す説明図である。
【図１６】事後条件設定電文６３０の構成を示す説明図である。
【図１７】事後条件設定応答６４０の構成を示す説明図である。
【図１８】図１に示した状態変換装置の処理を示す動作フロー図である。
【図１９】図１８に示したステップ６００１の「処理装置特定処理」を示す動作フロー図である。
【図２０】図１８に示したステップ６００３及び６０１０の「状態管理処理」を示す動作フロー図である。
【図２１】本発明の実施の形態に係る状態変換装置が用いられるＩＣカードシステムの全体構成を示す概略図である。
【図２２】ＩＣカード７０３に組み込まれた状態変換装置を示す概略構成図である。
【図２３】図２２に示した入出力装置１００の構成を示す説明図である。
【図２４】図２３に示した処理装置管理テーブル１２０の構成を示す説明図である。
【図２５】図２２に示した処理装置２１０の構成を示す説明図である。
【図２６】図２５に示したＰＩＮ格納域２１３の構成を示す説明図である。
【図２７】図２２に示した処理装置２２０の構成を示す説明図である。
【図２８】図２７に示したデータ保持領域２２３の構成を示す説明図である。
【図２９】図２７に示した事前条件格納域２２２の構成を示す説明図である。
【図３０】図２２に示した状態管理装置３００が有する状態管理テーブル３３０の構成を示す説明図である。
【図３１】Ｖｅｒｉｆｙコマンドの外部入力電文８００の構成を示す説明図である。
【図３２】Ｖｅｒｉｆｙコマンドの外部出力電文８１０の構成を示す説明図である。
【図３３】Ｖｅｒｉｆｙコマンドの内部入力電文８２０の構成を示す説明図である。
【図３４】Ｖｅｒｉｆｙコマンドの内部出力電文８３０の構成を示す説明図である。
【図３５】Ｖｅｒｉｆｙコマンドの事前条件要求電文８５０の構成を示す説明図である。
【図３６】Ｖｅｒｉｆｙコマンドの事前条件応答電文８６０の構成を示す説図である。
【図３７】Ｖｅｒｉｆｙコマンドの事後条件設定電文８７０の構成を示す説明図である。
【図３８】Ｖｅｒｉｆｙコマンドの事後条件設定応答８８０の構成を示す説図である。
【図３９】ＷｒｉｔｅＲｅｃｏｒｄコマンドの外部入力電文９００の構成を示す説明図である。
【図４０】ＷｒｉｔｅＲｅｃｏｒｄコマンドの外部出力電文９１０の構成を示す説明図である。
【図４１】ＷｒｉｔｅＲｅｃｏｒｄコマンドの内部入力電文９２０の構成を示す説明図である。
【図４２】ＷｒｉｔｅＲｅｃｏｒｄコマンドの内部出力電文９３０の構成を示す説明図である。
【図４３】ＷｒｉｔｅＲｅｃｏｒｄコマンドの事前条件要求電文９５０の構成を示す説明図である。
【図４４】ＷｒｉｔｅＲｅｃｏｒｄコマンドの事前条件応答電文９６０の構成を示す説図である。
【図４５】図２１に示したＩＣカードシステムの処理を示す動作フロー図である。
【図４６】図４５に示したステップ１００３のＶｅｒｉｆｙコマンド処理を示す動作フロー図である。
【図４７】図４６に示したステップ６００１の「処理装置特定処理」を示す動作フロー図である。
【図４８】図４６に示したステップ６００３及び６０１０の「状態管理処理」を示す動作フロー図である。
【図４９】状態検索子１１３０の構成を示す説明図である。
【図５０】図４６に示したステップ６００７の「ＰＩＮ認証処理」を示す動作フロー図である。
【図５１】図４５に示したステップ１００９のＷｒｉｔｅＲｅｃｏｒｄコマンド処理を示す動作フロー図である。
【図５２】図５１に示したステップ６００１の「処理装置特定処理」を示す動作フロー図である。
【図５３】図５１に示したステップ６００３の「状態管理処理」を示す動作フロー図である。
【図５４】状態検索子１２３０の構成を示す説明図である。
【図５５】図５１に示したステップ６００７の「データ書き込み処理」を示す動作フロー図である。
【図５６】処理装置２００の仕様変更について示す説明図である。
【図５７】処理装置２００の追加手順を示す動作フロー図である。
【図５８】処理装置２００の削除手順を示す動作フロー図である。
【図５９】処理装置２００の変更手順を示す動作フロー図である。
【符号の説明】
１００  入出力装置
１１０  入出力処理装置
１２０  処理装置管理テーブル
１２１，４１１，８０１，９０１  処理ＩＤ
１２２，３２１，３３１，３３３，４３１，４３３，６１２，６３３，８５２，８７３，９５２，１１３１，１１３３，１２３１，１２３３  処理装置ＩＤ
２００，２１０，２２０，２３０  処理装置
２１１，２２１  処理制御装置
２１２，２２２  事前条件格納域
２１３  ＰＩＮ格納域
２２３  データ保持領域
３００  状態管理装置
３１０  状態管理制御装置
３２０  状態バッファ
３３０  状態管理テーブル
３２２，３３２，４３２，５２２，６３２，８３２，８７２，１１３２  事後条件
３３４，５１２，６２１，８２２，８６１，９２２，９６１  事前条件
４００  外部通信路
４１０，８００，９００  外部入力電文
４１２，５１１，８０２，８２１，９２１  入力データ
４２０，８１０，９１０  外部出力電文
４２１，５２１，８１１，８３１，９１１，９３１  出力データ
４３０，１１３０，１２３０  状態検索子
５００，５０１，５０２，５０３，６００，７０４，７０５  通信路
５１０，８２０，９２０  内部入力電文
５２０，８３０，９３０  内部出力電文
６１０，８５０，９５０  事前条件要求電文
６１１，６３１，８５１，８７１，９５１  データ種別
６２０，８６０，９６０  事前条件応答電文
６３０，８７０  事後条件設定電文
６４０，８８０  事後条件設定応答
６４１，８８１  処理応答
７０１  制御端末
７０２  リーダライタ
７０３  ＩＣカード
【図１】
2004287545.tif 000003
【図２】
2004287545.tif 000004
【図３】
2004287545.tif 000005
【図４】
2004287545.tif 000006
【図５】
2004287545.tif 000007
【図６】
2004287545.tif 000008
【図７】
2004287545.tif 000009
【図８】
2004287545.tif 000010
【図９】
2004287545.tif 000011
【図１０】
2004287545.tif 000012
【図１１】
2004287545.tif 000013
【図１２】
2004287545.tif 000014
【図１３】
2004287545.tif 000015
【図１４】
2004287545.tif 000016
【図１５】
2004287545.tif 000017
【図１６】
2004287545.tif 000018
【図１７】
2004287545.tif 000019
【図１８】
2004287545.tif 000020
【図１９】
2004287545.tif 000021
【図２０】
2004287545.tif 000022
【図２１】
2004287545.tif 000023
【図２２】
2004287545.tif 000024
【図２３】
2004287545.tif 000025
【図２４】
2004287545.tif 000026
【図２５】
2004287545.tif 000027
【図２６】
2004287545.tif 000028
【図２７】
2004287545.tif 000029
【図２８】
2004287545.tif 000030
【図２９】
2004287545.tif 000031
【図３０】
2004287545.tif 000032
【図３１】
2004287545.tif 000033
【図３２】
2004287545.tif 000034
【図３３】
2004287545.tif 000035
【図３４】
2004287545.tif 000036
【図３５】
2004287545.tif 000037
【図３６】
2004287545.tif 000038
【図３７】
2004287545.tif 000039
【図３８】
2004287545.tif 000040
【図３９】
2004287545.tif 000041
【図４０】
2004287545.tif 000042
【図４１】
2004287545.tif 000043
【図４２】
2004287545.tif 000044
【図４３】
2004287545.tif 000045
【図４４】
2004287545.tif 000046
【図４５】
2004287545.tif 000047
【図４６】
2004287545.tif 000048
【図４７】
2004287545.tif 000049
【図４８】
2004287545.tif 000050
【図４９】
2004287545.tif 000051
【図５０】
2004287545.tif 000052
【図５１】
2004287545.tif 000053
【図５２】
2004287545.tif 000054
【図５３】
2004287545.tif 000055
【図５４】
2004287545.tif 000056
【図５５】
2004287545.tif 000057
【図５６】
2004287545.tif 000058
【図５７】
2004287545.tif 000059
【図５８】
2004287545.tif 000060
【図５９】
2004287545.tif 000061