(57)【要約】【課題】ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を書庫ファイルにまとめて管理するシステムにおいて、そのソフトウェアの起動する場合の起動時間を短縮し、高速な起動を実現することを目的とする。【解決手段】書庫ファイル内のファイル単位で、書庫ファイル内ファイルが使用可能であるか否かを検証情報として保持しており、ソフトウェア実行時に、読み込み指定ファイルに対応する検証情報を取得し、取得した検証情報に基づいて、読み込み指定ファイルが使用可能と判定されていないときのみ、使用可否検証を行い、検証結果に基づいて保持している検証情報の更新を行う。【選択図】　図１
2004094571.tif 000002
【特許請求の範囲】
【請求項１】
ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を書庫ファイルにまとめて管理し、前記入れ替え可能なソフトウェアを実行するプログラム実行方法であって、
書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルが使用可能であるか否かを検証情報として保持しており、
ソフトウェア実行時に、前記書庫ファイル内の読み込み指定ファイルを書庫ファイルから取得する書庫内ファイル取得ステップと、
前記読み込み指定ファイルに対応する検証情報を取得する検証情報取得ステップと、
前記検証情報取得ステップにおいて取得した検証情報に基づいて、前記読み込み指定ファイルが使用可能と判定されていないときには、前記書庫内ファイル取得ステップによって取得した前記読み込み指定ファイルに対して、使用可否検証を行い、検証結果に基づいて前記検証情報を更新する検証ステップと、
検証結果が使用可能である場合、ファイル読込み成功と決定し、使用可能でない場合、ファイル読み込み失敗と決定する決定ステップとを含むことを特徴とするプログラム実行方法。
【請求項２】
前記書庫ファイル内ファイルは、プログラムファイルであって、前記検証情報は、実行前動作検証情報を含んでおり、
前記検証ステップは、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新することを特徴とする請求項１記載のプログラム実行方法。
【請求項３】
前記書庫ファイル内ファイルは、プログラムファイルまたはデータファイルであって、前記検証情報は、実行前動作検証情報とフォーマット検証情報とを含んでおり、
前記検証ステップは、前記読み込み指定ファイルであるファイルの種別を判断する種別判断ステップと、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する動作検証ステップと、前記種別判断ステップにおいて判断した種別に適したフォーマットであるか否かのフォーマット検証を行い、検証結果に基づいて前記フォーマット検証情報を更新するフォーマット検証ステップとを含むことを特徴とする請求項２記載のプログラム実行方法。
【請求項４】
ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を圧縮された書庫ファイルである圧縮書庫ファイルにまとめて管理し、前記入れ替え可能なソフトウェアを実行するプログラム実行方法であって、
書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルの圧縮展開後のファイルイメージデータと前記書庫内ファイルを識別する情報とを圧縮展開後のファイル情報として保持しており、
ソフトウェア実行時に、前記書庫ファイル内の読み込み指定ファイルの圧縮展開後のファイル情報を既に保持しているか確認する確認ステップと、
圧縮展開後のファイル情報を保持していない場合、前記読み込み指定ファイルを前記圧縮書庫ファイルから取得し、圧縮されているデータ展開して、指定されたファイルデータとし、更に、前記展開したファイルデータを前記圧縮展開後のファイル情報として保持する圧縮展開ステップと、
圧縮展開後のファイルイメージを保持している場合、保持している圧縮展開後のファイルイメージデータを取得し、指定されたファイルデータとする展開後データ取得ステップとを含むことを特徴とするプログラム実行方法。
【請求項５】
書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルが使用可能であるか否かを検証情報として保持しており、
ソフトウェア実行時に、更に、前記書庫ファイル内の読み込み指定ファイルを書庫ファイルから取得する書庫内ファイル取得ステップと、
前記読み込み指定ファイルに対応する検証情報を取得する検証情報取得ステップと、
前記検証情報取得ステップにおいて取得した検証情報に基づいて、前記読み込み指定ファイルが使用可能と判定されていないときには、前記書庫内ファイル取得ステップによって取得した前記読み込み指定ファイルに対して、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する検証ステップと、
検証結果が使用可能である場合、ファイル読込み成功と決定し、使用可能でない場合、ファイル読み込み失敗と決定する決定ステップとを含むことを特徴とする請求項４記載のプログラム実行方法。
【請求項６】
前記検証情報は、実行前動作検証情報とフォーマット検証情報とを含んでおり、
前記検証ステップは、前記読み込み指定ファイルであるファイルの種別を判断する種別判断ステップと、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する動作検証ステップと、前記種別判断ステップにおいて判断した種別に適したフォーマットであるか否かのフォーマット検証を行い、検証結果に基づいて前記フォーマット検証情報を更新するフォーマット検証ステップとを含むことを特徴とする請求項５記載のプログラム実行方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、動的に入れ替え可能なソフトウェアを実行するプログラム実行方法に関し、特に、プログラム実行前に動作検証を行うファイル読み込み方法に関する。
【０００２】
【従来の技術】
近年、情報処理機器や情報通信機器や情報家電機器において、その動作を規定したソフトウェアを動的に入れ替えて、その動作や機能を変更することが可能となっている。
【０００３】
ソフトウェアの動的入れ替えにおいては、ソフトウェアの動作を保障するために、動作や機能ごとにまとまったファイル群を一括して入れ替える必要がある。このまとまったファイル群を一括して書庫ファイルという１つのファイルにまとめることにより、書庫ファイルという単位で、ソフトウェアを動的に入れ替えることを可能としている。以下、書庫ファイルにまとめられた各ファイルを「書庫内ファイル」と記載する。
【０００４】
書庫ファイルとして管理されているソフトウェアを動作させるには、システムにダメージを与える可能性のあるプログラムでないかを、実行前に動作検証することが必要である。すなわち、書庫ファイルから必要な書庫内ファイルの読み込みが指定される度に、システムにダメージを与える可能性のあるプログラムでないかを検証する処理、またはデータフォーマットを検証する処理を行う。
【０００５】
【発明が解決しようとする課題】
しかしながら、ソフトウェアを動的に入れ替えることが可能で、特定のソフトウェアに必要なファイル群を書庫ファイルにまとめて管理するシステムにおいて、プログラムを実行する度、またはファイルが読み込み指定される度に、検証処理を行っていると、ファイル読み込みにかかる処理量が膨大となり、本来実行したい処理の実行効率が低下するという問題が生じる。
【０００６】
本発明は、上記問題を解決するためになされたものであり、書庫ファイルにまとめて管理されているソフトウェアを実行する際に、実行前の動作検証およびデータフォーマットの検証にかかる処理量を少なくし、高速なファイル読み込みを行うことを目的としている。
【０００７】
【課題を解決するための手段】
上記課題を解決するために、本発明のプログラム実行方法は、ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を書庫ファイルにまとめて管理し、前記入れ替え可能なソフトウェアを実行するプログラム実行方法であって、書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルが使用可能であるか否かを検証情報として保持しており、ソフトウェア実行時に、前記書庫ファイル内の読み込み指定ファイルを書庫ファイルから取得する書庫内ファイル取得ステップと、前記読み込み指定ファイルに対応する検証情報を取得する検証情報取得ステップと、前記検証情報取得ステップにおいて取得した検証情報に基づいて、前記読み込み指定ファイルが使用可能と判定されていないときには、前記書庫内ファイル取得ステップによって取得した前記読み込み指定ファイルに対して、使用可否検証を行い、検証結果に基づいて前記検証情報を更新する検証ステップと、検証結果が使用可能である場合、ファイル読込み成功と決定し、使用可能でない場合、ファイル読み込み失敗と決定する決定ステップとを含むことを特徴とする。
【０００８】
また、本発明のプログラム実行方法は、前記書庫ファイル内ファイルは、プログラムファイルであって、前記検証情報は、実行前動作検証情報を含んでおり、前記検証ステップは、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新することを特徴とする。
【０００９】
また、本発明のプログラム実行方法は、前記書庫ファイル内ファイルは、プログラムファイルまたはデータファイルであって、前記検証情報は、実行前動作検証情報とフォーマット検証情報とを含んでおり、前記検証ステップは、前記読み込み指定ファイルであるファイルの種別を判断する種別判断ステップと、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する動作検証ステップと、前記種別判断ステップにおいて判断した種別に適したフォーマットであるか否かのフォーマット検証を行い、検証結果に基づいて前記フォーマット検証情報を更新するフォーマット検証ステップとを含むことを特徴とする。
【００１０】
また、本発明のプログラム実行方法は、ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を圧縮された書庫ファイルである圧縮書庫ファイルにまとめて管理し、前記入れ替え可能なソフトウェアを実行するプログラム実行方法であって、書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルの圧縮展開後のファイルイメージデータと当該書庫内ファイルを識別する情報とを圧縮展開後のファイル情報として保持しており、
ソフトウェア実行時に、前記書庫ファイル内の読み込み指定ファイルの圧縮展開後のファイル情報を既に保持しているか確認する確認ステップと、圧縮展開後のファイル情報を保持していない場合、前記読み込み指定ファイルを前記圧縮書庫ファイルから取得し、圧縮されているデータ展開して、指定されたファイルデータとし、更に、前記展開したファイルデータを前記圧縮展開後のファイル情報として保持する圧縮展開ステップと、圧縮展開後のファイルイメージを保持している場合、保持している圧縮展開後のファイルイメージデータを取得し、指定されたファイルデータとする展開後データ取得ステップとを含むことを特徴とする。
【００１１】
また、本発明のプログラム実行方法は、書庫ファイル内のファイル単位で、前記書庫ファイル内ファイルが使用可能であるか否かを検証情報として保持しており、ソフトウェア実行時に、更に、前記書庫ファイル内の読み込み指定ファイルを書庫ファイルから取得する書庫内ファイル取得ステップと、前記読み込み指定ファイルに対応する検証情報を取得する検証情報取得ステップと、前記検証情報取得ステップにおいて取得した検証情報に基づいて、前記読み込み指定ファイルが使用可能と判定されていないときには、前記書庫内ファイル取得ステップによって取得した前記読み込み指定ファイルに対して、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する検証ステップと、検証結果が使用可能である場合、ファイル読込み成功と決定し、使用可能でない場合、ファイル読み込み失敗と決定する決定ステップとを含むことを特徴とする。
【００１２】
また、本発明のプログラム実行方法は、前記検証情報は、実行前動作検証情報とフォーマット検証情報とを含んでおり、前記検証ステップは、前記読み込み指定ファイルであるファイルの種別を判断する種別判断ステップと、実行前のプログラム動作検証を行うことにより、使用可否検証を行い、検証結果に基づいて前記実行前動作検証情報を更新する動作検証ステップと、前記種別判断ステップにおいて判断した種別に適したフォーマットであるか否かのフォーマット検証を行い、検証結果に基づいて前記フォーマット検証情報を更新するフォーマット検証ステップとを含むことを特徴とする。
【００１３】
【発明の実施の形態】
以下、本発明の実施の形態について、図面を用いて説明する。
【００１４】
図１は、本発明の実施の形態であるプログラム実行方法を行うための装置の構成の一例を示すブロック図であり、プログラム実行部３０００と、一時記憶部２０００と、書庫ファイル１０００と、圧縮展開後情報１１００と、検証情報テーブル１２００とを備えている。
【００１５】
プログラム実行部３０００は、圧縮展開後情報保持確認部３１００と、検証結果情報確認部３２００と、実行前プログラム動作検証部３３００と、データフォーマット検証部３４００と、書庫内ファイル取出し部３５００と、圧縮データ展開部３６００と、圧縮展開後情報保持部３７００とを備えている。一時記憶部２０００は、プログラム実行部３０００が実行する過程で必要となる記憶領域である。記憶部２０００はプログラム実行部３０００自体の記憶と、プログラム実行部３０００が実行する過程で必要となる情報の記憶領域である。
【００１６】
また、書庫ファイル１０００は、プログラム実行部３０００で実行されるソフトウェアに必要なファイル群をひとまとめにしたものであり、ソフトウェアの起動が指示されることにより、プログラム実行部３０００でファイル読み込みされる。圧縮展開後情報１１００は、読み込み指定された書庫ファイルに対応する、圧縮展開後ファイルイメージの情報と、書庫内ファイルを特定する情報とを格納する領域とする。検証情報テーブル１２００は、読込み指定された書庫ファイルに対応する検証情報が格納された情報テーブルとする。書庫ファイル内のファイル単位で、使用可能であるか否かを検証情報として格納している。なお、書庫ファイル１０００、圧縮展開後情報１１００、検証情報テーブル１２００が不揮発な記憶領域に格納される場合、電源をＯＦＦ／ＯＮした後でも検証情報が保持されることになり、電源ＯＮ直後でも、高速なファイル読み込みを可能とする。
【００１７】
圧縮展開後情報保持確認部３１００は、書庫ファイル１０００のソフトウェアが起動指示されてから、ファイル読み込み指示された回数をカウントする処理を行う。また、起動指示対象の書庫フィルの圧縮展開後情報の有無の判定を行い、圧縮展開後情報が存在し、かつ読み込み指定された書庫内ファイルと一致している場合、圧縮展開後情報１１００から得られる圧縮展開後イメージを検証結果情報確認部３２００に出力する。一方、そうでない場合は、書庫内ファイル取出し部３５００に取り出しを要求する。
【００１８】
検証結果情報確認部３２００は、検証情報テーブル１２００から、読み込み指定された書庫ないファイルの実行前のプログラム動作検証情報を取得し、実行前のプログラム動作検証情報が問題ないことを示していれば、圧縮展開後イメージをプログラムのフォーマットに従って一時記憶部２０００に配置し、一時記憶部２０００に読み込み成功を設定し、実行前のプログラム動作検証情報が問題ないことを示していない場合、検証情報テーブル１２００から、フォーマット検証情報を取得し、フォーマット検証情報が問題ないことを示していない場合、圧縮展開後イメージをデータフォーマット検証部に出力し、フォーマット検証情報のファイル種別と、読込み指定されたファイルの種別が一致し、フォーマット検証情報が問題ないことを示している場合、圧縮展開後イメージをデータのフォーマットに従って一時記憶部２０００に配置し、実行前プログラム検証部の処理に移る。
【００１９】
データフォーマット検証部３４００は、圧縮展開後イメージが、ファイル種別のファイルフォーマットに適合したデータであるか確認し、フォーマットに適合したファイルでない場合は、一時記憶部２０００に読込み失敗を設定して処理を終了し、フォーマットに適合したファイルである場合は、検証情報テーブルにファイル種別と、フォーマット検証結果が問題ないことを示している情報を出力し、圧縮展開後イメージを実行前プログラム動作検証部３３００に出力する。
【００２０】
書庫ファイル取出し部３５００は、書庫ファイル１０００から、書庫内ファイルのデータをそのまま取出し、圧縮データ展開部３６００に出力する。
【００２１】
圧縮データ展開部３６００は、書庫内ファイルのそのままのデータに対して、圧縮展開処理を行い、圧縮展開後イメージを生成し、圧縮展開イメージを検証結果情報確認部３２００に出力する。
【００２２】
実行前プログラム動作検証部３３００は、一時記憶部２０００に配置された読込み指定ファイルのデータが、プログラムであるか判定し、プログラムでない場合は、一時記憶部２０００に読込み成功を設定し、読込み処理を終了し、プログラムである場合は、一時記憶部２０００に配置された読み込み指定ファイルのデータをプログラムとして、実行前のプログラム動作検証を実施し、実行前のプログラム動作検証結果が問題ないことを示していない場合は、一時記憶部２０００に読込み失敗を設定して終了し、実行前のプログラム動作検証結果が問題ないことを示している場合は、検証情報テーブルに実行前のプログラム動作検証で問題ないことが確認済みの情報を出力し、一時記憶部２０００に読込み成功を出力し、圧縮展開後情報保持部３７００に処理を移す。
【００２３】
圧縮展開後情報保持部３７００は、書庫ファイル１０００のソフトウェアが起動指示されてから、ファイル読込み指示された回数を確認し、初回の読込み指示でなければ、読込み処理を終了し、初回の読込み指示であれば、圧縮展開後情報１１００に読込み指定されたファイルの圧縮展開後イメージと、読込み指定されたファイルを特定できる情報を出力し、読込み処理を終了する。
【００２４】
以上のように構成された本実施の形態のプログラム実行方法の動作を、図２に示すフローチャートを用いて説明する。
【００２５】
図２は、プログラム実行装置が、ソフトウェア起動指示時にソフトウェア起動が指示されてから何回目の書庫内ファイル読み込み指示であるかを記憶する箇所に０を指定（初期化）した後、読み込むべき書庫ファイルと書庫内ファイル、期待するフォーマットの情報を指定して、当該プログラムによってファイルを読み込む動作手順を示す。
【００２６】
以下の動作手順の説明において、特に記述がない限り、全ての処理部間の情報受け渡しには読み込み時に指定する情報を出力する。
【００２７】
圧縮展開後情報保持確認部３１００は、ソフトウェア起動が指示されてから何回目の書庫内ファイル読み込み指示であるかを一時記憶部２０００に出力する（Ｓ３１０１）。
【００２８】
次に、読込み指定された書庫ファイル１０００に含まれる、読込み指定された書庫内ファイルについて、圧縮展開後情報の有無を確認する（Ｓ３１０２）。
【００２９】
読込み指定された書庫内ファイルの圧縮展開後情報が存在した場合（Ｓ３１０２がＹｅｓ）、その圧縮展開後情報に格納されている圧縮展開後ファイルイメージを、読み込み指定された書庫内ファイルの圧縮展開後ファイルイメージとして取得し、検証結果情報確認部３２００に出力し（Ｓ３１０３）、Ｓ３２０１に遷移する。
【００３０】
読込み指定された書庫内ファイルの圧縮展開後情報が存在しなかった場合（Ｓ３１０２がＮｏ）、書庫内ファイル取出し部３５００に処理を移す。書庫内ファイル取出し部３５００は、圧縮展開後情報保持確認部３１００から受けた読み込み指定の情報に基づき、読み込み指定された書庫ファイル１０００から、読み込み指定された書庫内ファイルの格納場所を検出し、書庫ファイル１０００に格納された、読み込み指定された書庫内ファイルの圧縮データを取出し、圧縮データ展開部３６００に出力する（Ｓ３５０１）。
【００３１】
圧縮データ展開部３６００は、書庫内ファイル取出し部３５００から受けた圧縮データを展開し、その展開後のデータを読込み指定された書庫内ファイルの圧縮展開後ファイルイメージとして、検証結果情報確認部３２００に出力する（Ｓ３６０１）。
【００３２】
検証結果情報確認部３２００は、検証情報テーブル１２００から、読込み指定された書庫内ファイルの検証情報を取得し（Ｓ３２０１）、読み込み指定された書庫内ファイルの実行前の動作検証情報を確認する（Ｓ３２０２）。
【００３３】
読込み指定されたファイル種別がプログラムであり、検証情報の実行前動作検証の情報が、検証結果として問題なし確認済みを示す値である場合（Ｓ３２０２がＹｅｓ）、圧縮展開後情報保持確認部３１００または、圧縮データ展開部３６００から受けた、読み込み指定された書庫内ファイルの圧縮展開後ファイルイメージをそのフォーマットに従って、一時記憶部２０００に出力し（Ｓ３２０６）、かつファイル読み込み成功を一時記憶部２０００に出力する（Ｓ３２０７）。
【００３４】
検証情報の実行前動作検証の情報が、検証結果として問題なし確認済みを示す値でない場合（Ｓ３２０２がＮｏ）、書庫内ファイルのデータのフォーマット検証情報を確認する（Ｓ３２０３）。
【００３５】
データのフォーマットの検証情報が検証結果として問題なし確認済みを示す値であり、読込み指定されたファイル種別と一致した場合（Ｓ３２０３がＹｅｓ）、圧縮展開後ファイルイメージを実行前プログラム動作検証部３３００に出力し、Ｓ３２０４に遷移する。
【００３６】
データのフォーマットの検証情報が検証結果として問題なし確認済みを示す値でない場合、または読込み指定されたファイル種別と一致しない場合（Ｓ３２０３がＮｏ）、データの種類に応じたフォーマット検証を行う（Ｓ３４０１）。
【００３７】
データの種類に応じたフォーマット検証情報を確認する（Ｓ３４０２）。
【００３８】
フォーマット検証の結果が問題なしと判定されない場合（Ｓ３４０２がＮｏ）、読込み失敗を一時記憶部２０００に出力して（Ｓ３３０４）、処理を終了する。
【００３９】
フォーマット検証の結果が問題なしと判定された場合（Ｓ３４０２がＹｅｓ）、検証情報テーブル１２００の、読込み指定された書庫内ファイルに対する情報に、データのフォーマット検証結果として問題ないと判定した情報を設定し（Ｓ３４０３）、圧縮展開後ファイルイメージを実行前プログラム動作検証部３３００に出力する。
【００４０】
実行前プログラム動作検証部３３００は、検証結果情報確認部３２００またはデータフォーマット検証部３４００から受けた圧縮展開後ファイルイメージをそのフォーマットに従い、一時記憶部２０００に配置する（Ｓ３２０４）。
【００４１】
読込み指定されたファイル種別がプログラムであるか判定する（Ｓ３２０５）。
【００４２】
ファイル種別がプログラムでない場合（Ｓ３２０５がＮｏ）、一時記憶部２０００に読込み成功を設定し、圧縮展開後ファイルイメージを圧縮展開後情報保持部３７００に出力する。
【００４３】
ファイル種別がプログラムである場合（Ｓ３２０５がＹｅｓ）、一時記憶部２０００に配置されたプログラムに対して、実行前のプログラム動作検証をする（Ｓ３３０１）。
【００４４】
実行前のプログラム動作検証結果を確認する（Ｓ３３０２）。
【００４５】
実行前の動作検証結果が問題なしと判定されなかった場合（Ｓ３２０５がＮｏ）、一時記憶部２０００に読込み失敗を出力し（Ｓ３３０４）、処理を終了する。
【００４６】
実行前の動作検証結果が問題なしと判定された場合（Ｓ３３０２がＹｅｓ）、検証情報テーブル１２００の、読込み指定された書庫内ファイルに対する情報に、実行前のプログラム動作検証結果として問題ないと判定した情報を設定し（Ｓ３３０３）、一時記憶部２０００に読込み成功を出力し（Ｓ３２０７）、圧縮展開後ファイルイメージを圧縮展開後情報保持部３７００に出力する。
【００４７】
圧縮展開後情報保持部３７００は、一時記憶部２０００から、何回目の書庫内ファイル読み込み指示であるかを取得し、起動指示から最初の読込みであるか、そうでないかを確認する（Ｓ３７０１）。
【００４８】
起動指示から最初の読込みである場合（Ｓ３７０１がＹｅｓ）、圧縮展開後のファイルイメージと、そのファイルを特定できる情報を圧縮展開後情報１１００に出力し、処理を終了する。
【００４９】
以上の動作を行うことにより、既に検証済みのファイルの読み込みを行う際に、実行前動作検証やフォーマット検証処理の負荷を軽減させることが可能となり、高速なソフトウェアの起動を実行することができる。また、圧縮展開後イメージを保持している場合に、再度圧縮展開処理する必要がなくなり、ソフトウェアの起動時間を短縮することが可能となる。
【００５０】
図３は、本発明の実施の形態における書庫ファイルと検証情報テーブルと圧縮展開後情報のフォーマットの一例を示す図である。ファイルの管理部としてファイルエントリテーブル５０００を備え、各ファイルの情報として、書庫ファイル１００１、検証情報テーブル１２０１、圧縮展開後情報１１０１の３つが組合されて格納されている。この場合、ファイルエントリテーブル５０００内の情報を参照し、読み込み指定された書庫内ファイルの情報にアクセスすることが可能となる。なお、ファイルエントリテーブル５０００なしで直接各ファイルの情報にアクセスしてもよいため、図１では、ファイルエントリテーブルを用いずに説明した。
【００５１】
書庫ファイル１００１には、０以上の書庫内ファイルが格納可能である。この書庫内のファイルは、通常は圧縮された形で格納されている。
【００５２】
圧縮展開後情報１１０１には、書庫内ファイルを特定するための識別子である書庫内ファイル識別情報と、その特定の書庫内ファイルを圧縮展開したファイルイメージ情報が格納されている。圧縮展開情報１１０１は存在する場合も、存在しない場合もある。
【００５３】
検証情報テーブル１２０１には、書庫内ファイル識別情報と、フォーマット検証情報と、実行前動作検証情報が、組合されて格納されている。
【００５４】
【発明の効果】
本発明にかかるプログラム実行方法によれば、　ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を書庫ファイルにまとめて管理するシステムにおいて、ソフトウェアを実行する際に、プログラムの読み込み時に実行前のプログラムの動作検証にかかる処理の負荷を軽減させることが可能となり、高速なソフトウェアの起動を実行することができる。
【００５５】
また、プログラムの動作検証だけでなく、ファイルフォーマットの検証にかかる処理量を少なくすることにより、データ読込み時にかかる処理の負荷と、プログラム読込み時にかかる処理の負荷を更に軽減させることが可能となり、高速なソフトウェアの起動を実現することができる。
【００５６】
また、ソフトウェアを動的に入れ替えることが可能であって、特定のソフトウェアに必要なファイル群を圧縮された書庫ファイルにまとめて管理するシステムにおいて、圧縮展開後イメージを保持することにより、ソフトウェア起動時に圧縮書庫ファイルから圧縮書庫ファイル中の起動用プログラムの読み込みにかかる処理の負荷を軽減させることが可能となり、高速なソフトウェアの起動を実現することができる。
【図面の簡単な説明】
【図１】本発明の一実施の形態に係るプログラム実行装置の構成の一例を示すブロック図
【図２】本発明の一実施の形態に係るプログラム実行方法の動作手順の一例を示すフローチャート
【図３】本発明の一実施の形態に係る書庫ファイルと検証情報テーブルと圧縮展開後情報のフォーマットの一例を示す図
【符号の説明】
１０００　書庫ファイル
１１００　圧縮展開後情報
１２００　検証情報テーブル
２０００　一時記憶部
３０００　プログラム実行部
３１００　圧縮展開後情報保持確認部
３２００　検証結果情報確認部
３３００　実行前プログラム動作検証部
３４００　データフォーマット検証部
３５００　書庫内ファイル取出し部
３６００　圧縮データ展開部
３７００　圧縮展開後情報保持部
【図１】
2004094571.tif 000003
【図２】
2004094571.tif 000004
【図３】
2004094571.tif 000005