JP2002536744A

JP2002536744A - トークンに基づいたリンクステップ

Info

Publication number: JP2002536744A
Application number: JP2000597682A
Authority: JP
Inventors: シュワーベ・ジュディス・イー．; ササー・ジョシュア・ビー．
Original assignee: Sun Microsystems Inc
Current assignee: Sun Microsystems Inc
Priority date: 1999-02-02
Filing date: 2000-02-02
Publication date: 2002-10-29
Also published as: US20030028686A1; US6880155B2; CN1324467C; US7444631B2; EP1145107B1; BR0007945A; KR20010093312A; CN1346465A; KR100713739B1; AU771699B2; CA2362010A1; AU3587200A; EP1145107A2; DE60031370T2; DE60031370D1; CN1591338A; WO2000046667A2; ATE343172T1; BRPI0007945B1; WO2000046667A3

Abstract

(57)【要約】【課題】【解決手段】システムは、リソースの限られたコンピュータにダウンロードされたアーキテクチャニュートラルなコードをリンクする。そのコードは、１つまたは複数の参照可能なアイテムを持つ１つまたは複数のパッケージに分割することができる。そのシステムは、１つまたは複数の参照可能なアイテムを対応する１つまたは複数のトークンにマッピングし、ランタイムモードに一致するようトークンを配列し、リソースの限られたコンピュータにパッケージをダウンロードし、配列されたトークンを用いてパッケージをリンクして実行可能なコードにする。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】

本発明は一般に、スマートカードなどリソースの限られたデバイスと共に用い
るためのオブジェクト指向、アーキテクチャニュートラルなプログラムに関する
。

【０００２】

【従来の技術】

バーチャルマシンとは、プロセッサによって実行されるソフトウェアもしくは
命令のシーケンスにより生成された抽象的な計算機である。「アーキテクチャニ
ュートラル」という用語は、様々な異なるコンピュータアーキテクチャを持つ様
々なコンピュータプラットフォーム上のバーチャルマシンによって実行すること
ができるプログラムを意味する。例えば、Ｊａｖａ（登録商標）プログラミング
言語で書かれたプログラムが当てはまる。それ故、例えば、Windows（登録商標
）ベースのパーソナルコンピュータシステム上で実行されているバーチャルマシ
ンは、ＵＮＩＸ（登録商標）ベースのコンピュータシステム上で実行されている
バーチャルマシンと同一の命令セットを用いることになる。バーチャルマシンの
命令のシーケンスをプラットフォームに依存せずにコーディングできることによ
り、複数のバイトコードのストリームを生成することができる。例えば、各バイ
トコードは１バイト長の数値コードである。

【０００３】Ｊａｖａプログラミング言語を用いることにより、例えばウェブブラウザに関
するアプリケーションなどを含む多くのアプリケーションを利用できるようにな
った。

【０００４】Ｊａｖａプログラミング言語は、オブジェクト指向である。オブジェクト指向
のシステムでは、「クラス」とは、データ上で動作するデータやメソッドのコレ
クションを示す。総合すれば、データとメソッドは、オブジェクトの状態と動作
とを示す。

【０００５】また、Ｊａｖａプログラミング言語は、Ｊａｖａプログラミング言語で書かれ
たアプリケーションの実行前にプログラムの命令シーケンスがバイトコードに対
して不適切な型のデータの処理を試みるか、プログラムのバイトコード命令の実
行がオペランドスタックのオーバフロもしくはアンダフロを引き起こすか、につ
いて決定できるように検証可能である。

【０００６】Ｊａｖａ（登録商標）バーチャルマシンは、Ｊａｖａプログラミング言語で書
かれたバーチャルマシンコードを実行し、３２ビットアーキテクチャと共に用い
るように設計されている。しかしながら、スマートカードなどのリソースの限ら
れた様々なデバイスは、８ビットもしくは１６ビットのアーキテクチャを有して
いる。

【０００７】インテリジェントなデータ携帯用カードとしても知られているスマートカード
は一般に、プラスチックもしくは金属でできていて、プログラムやメモリを実行
するマイクロプロセッサとプログラムやデータを記憶するメモリが組み込まれた
電子チップを備えている。そのようなデバイスは、クレジットカードほどのサイ
ズにすることができるのだが、メモリの容量が限られているのが通例である。例
えば、いくつかのスマートカードでは、リードオンリメモリ（ＲＯＭ）や電気的
消去可能リードオンリメモリ（ＥＥＰＲＯＭ）などの不揮発性メモリだけでなく
、ランダムアクセスメモリ（ＲＡＭ）の容量も１キロバイト未満である。

【０００８】一般に、スマートカードのプロセッサで動作するプログラムが、カードの提供
する機能を決定する。時がたつと、例えば新しい機能を追加したり既存の機能を
改善したりするために、カードのプログラムをアップデートする必要が生じるこ
とがある。このためには、カードが、他のプログラムに取って代わる新しいプロ
グラムを受け入れられる必要がある。

【０００９】通例、バイトコードを実行するバーチャルマシン（例えば完全なＪａｖａバー
チャルマシン）は、バイトコードをロードし、参照をリゾルブする際にかなりの
大きさの容量をもつメモリを必要とする。特に、Ｊａｖａバーチャルマシンでは
、クラス、メソッド、フィールドのようなプログラムの要素を参照するために、
記号参照が用いられる。これらのプログラム要素への参照は、その記号名を用い
て要素の位置を特定することによりリゾルブされる。そのような演算には、比較
的大容量のランダムアクセスメモリ（ＲＡＭ）が必要である。ＲＡＭ容量が小さ
い環境では、それが実行できない場合もある。スマートカードはコストに敏感な
ので、高価でない低性能のプロセッサと低容量のメモリに依存している。コスト
と性能の理由から、そのようなリソースの限られたコンピュータには低性能のプ
ロセッサと低容量のメモリが組み込まれているので、そのようなリソースの限ら
れたデバイスでのＪａｖａバーチャルマシンの動作を可能にするのは困難である
が望まれている。

【００１０】

【発明の概要】

第１の態様では、リソースの限られたコンピュータにコードをダウンロードす
る。コードは、少なくとも１つの参照可能なアイテムを含む少なくとも１つのパ
ッケージに分割可能である。その方法は、パッケージを形成するステップと、対
応するトークンに対して参照可能なアイテムのマッピングを形成するステップと
、パッケージとマッピングを提供するステップとを含んでいる。

【００１１】第２の態様では、リソースの限られたコンピュータにダウンロードされたコー
ドをリンクする。その方法は、パッケージを受け取るステップと、対応するトー
クンに対して参照可能なアイテムのマッピングを受け取るステップと、マッピン
グを用いてパッケージをリンクするステップとを含む。

【００１２】本発明には、以下の利点がある。本発明は、独自のトークン識別子によって格
納スペースを小さくすることにより、リソースが限られたデバイスにおけるリソ
ースを効率的に利用する。さらに本発明は、リソースの限られたデバイス上にエ
クスポートされたアイテムに対する参照をリンクおよびリゾルブすることができ
る。本発明は、エクスポートファイルなどのメタデータを通して、エクスポート
された要素を発行できる。発行はされるが、アプレットや関連するライブラリの
秘密または専有の要素や詳細を、開示はされない。それ故、別個に開発された様
々なアプリケーションが、リソースの限られたデバイスにロードされても、専有
の情報を侵害することなしに互いにその構成要素を共有することができる。

【００１３】さらに、Ｊａｖａのようにアーキテクチャニュートラルな言語の利点は、リソ
ースの限られたデバイス上での言語を準備する際に実現される。内部もしくは専
有の要素に対してトークンを用いてもよい。それ故、トークンは、ｐａｃｋａｇ
ｅｖｉｓｉｂｌｅバーチャルメソッドだけでなく、専有およびｐａｃｋａｇｅ
ｖｉｓｉｂｌｅインスタンスフィールドにも割り当てることができる。本発明は
トークンの割り当てにほとんど制限を課さないので、特定の用途に対してトーク
ンの種類を定義もしくは最適化することができる。そのように、本発明は、いっ
たん書かれたら、どのプラットフォーム、記憶容量の限られたスマートカードの
ようなリソースの限られたデバイス上でも動作する可搬性でアーキテクチャニュ
ートラルなコードをサポートするものである。

【００１４】

【発明の実施の形態】

コンパクトで安全なフォーマット内でオブジェクト指向のプログラムをリンク
するステップを示すための方法を説明する。この方法を用いると、前記プログラ
ムをダウンロード、リンクし、リソースの限られたデバイス上で実行することが
できる。リソースの限られたデバイスは一般に、メモリまたは計算性能すなわち
計算速度に制限があるデバイスと考えられる。以下に示す実装については、スマ
ートカードを参照して説明するが、本発明は、他の小さいすなわち小型のデバイ
スはもちろん、携帯電話、境界スキャンデバイス、フィールドプログラマブルデ
バイス、パーソナルデータアシスタント（ＰＤＡ）、ポケットベル（登録商標）を含み、それらに限定されない、リソースが限られた他のデバイスでも用いることができる。リソースの限られたデバイスのＲＡＭが１Ｋ、ＲＯＭが１６Ｋしかない場合もある。同様に、リソースの限られたデバイスには、３２ビット未満で設計されたアーキテクチャに基づいているものもある。例えば、本発明と共に用いることのできるリソースの限られたデバイスには、３２ビットのアーキテクチャでなく、８ビットもしくは１６ビットのアーキテクチャに基づいているものもある。

【００１５】図１によると、スマートカード４０のようなリソースの限られたデバイスのた
めのアプレットの開発は、Ｊａｖａプログラムの開発と同様の方法で始まる。換
言すると、開発者は、１つまたは複数のＪａｖａクラスを書き、Ｊａｖａコンパ
イラでソースコードをコンパイルして１つまたは複数のクラスファイル１０を生
成する。例えばアプレットは、カード４０の環境をエミュレートするシミュレー
ションツールを用いるワークステーション上で実行、試験、デバックを行うこと
ができる。アプレットがカード４０にダウンロードされる準備がなされると、ク
ラスファイル１０は、コンバータ１４によって変換アプレット（ＣＡＰ）ファイ
ル１６にコンバートされる。コンバータ１４は、デスクトップコンピュータによ
って実行されるＪａｖａアプリケーションでよい。コンバータ１４は、コンバー
トされるクラスファイル１０に加えて、１つまたは複数のエクスポートファイル
１２をインプットとして受け入れることができる。エクスポートファイル１２は
、コンバートされたクラスによってインポートされたパッケージの内容のための
名前情報やリンク情報を含む。

【００１６】一般に、ＣＡＰファイル１６は、１つのＪａｖａパッケージ内で定義されたク
ラスとインターフェースすべてを含み、８ビットバイトのストリームによって表
される。１６ビットと３２ビットのクオンティティは、２もしくは４つ連続した
８ビットバイトで読み込むことにより、それぞれ構築される。特に、ＣＡＰファ
イル１６は、メソッドコンポーネント２０とは別個にパッケージングされた定数
プールコンポーネント（すなわち「定数プール」）を含む。定数プール１８は、
プログラムがスマートカード４０にリンクされるかダウンロードされる際、もし
くはスマートカードによる実行時にリゾルブされるメソッドおよびフィールドリ
ファレンスを含む様々な種類のコンスタントを含むことができる。メソッドコン
ポーネント２０は、スマートカード４０にダウンロードされた後にスマートカー
ドによって実行されるアプリケーションの命令を特定する。

【００１７】コンバートの後、ＣＡＰファイル１６は、ハードドライブ、フロッピディスク
、光記憶媒体、フラッシュメモリもしくはその他の適切な媒体などのコンピュー
タ読み取り可能な媒体１７に記憶させることができる。また、コンピュータ読み
取り可能な媒体は、例えばネットワークデータ伝送などの搬送波や無線（ＲＦ）
データリンクの形態を取っていてもよい。

【００１８】次に、ＣＡＰファイル１６は、周辺のカードアクセプタンスデバイス（ＣＡＤ
）２４を備えたデスクトップコンピュータなどのターミナル２２にコピーもしく
は転送することができる。ＣＡＤ２４により、スマートカード４０に情報を書き
込むこと、およびそこから取り出すことが可能となる。ＣＡＤ２４は、スマート
カード４０を挿入することのできるカードポート（示さない）を備える。挿入す
ると、スマートカード４０の接触表面とコネクタとの接触により電圧が供給され
、スマートカードとの通信が可能となるのだが、他の実装として遠隔通信も可能
である。また、ターミナル２２は、伝送のためのＣＡＰファイル１６をカード４
０にロードするインストレーションツール２６を含む。スマートカード４０は、
プログラム、データ、その他の通信を供給するための接触を可能とする入出力（
Ｉ／Ｏ）ポート４２を備える。また、カード４０は、ＣＡＰファイル１６の内容
を受信し、カード４０での実行のためにアプレットを準備するためのインストレ
ーションツール４６を含む。インストレーションツール４６は、例えば、Ｊａｖ
ａプログラムとして実装し、カード４０上で実行することができる。また、カー
ド４０は、ＲＡＭ５０のような揮発性メモリなどのメモリを備える。また、カー
ド４０は、ＲＯＭ５２や、ＥＥＰＲＯＭ５４のような不揮発性メモリを備える。
コントローラ４４によって準備されたアプレットは、ＥＥＰＲＯＭ５４に記憶す
ることができる。

【００１９】１つの実装では、マイクロプロセッサ４８上で実行されているバーチャルマシ
ン４９によって、アプレットが実行される。バーチャルマシン４９は、Ｊａｖａ
カードバーチャルマシンと呼ぶことができ、ＣＡＰファイル１６のロードや処理
をする必要はない。Ｊａｖａカードバーチャルマシン４９は、どちらかといえば
ＣＡＰファイル１６の一部として以前に記憶されたアプレットを実行する。Ｊａ
ｖａカードバーチャルマシン４９とインストレーションツール４６との間で機能
を分けることにより、バーチャルマシンとインストレーションツールの両方を比
較的小型にすることが可能である。

【００２０】一般に、スマートカード４０のようにリソースの限られたプラットフォームの
ために書かれた実装やアプレットは、Ｊａｖａプラットフォームパッケージのた
めの標準の規則に従う。ＪａｖａバーチャルマシンとＪａｖａプログラミング言
語については、Ｔ．Ｌｉｎｄｈｏｌｍｅｔａｌ．「ＴｈｅＪａｖａＶｉ
ｒｔｕａｌＭａｃｈｉｎｅＳｐｅｃｉｆｉｃａｔｉｏｎ（Ｊａｖａバーチャ
ルマシン仕様）」（１９９７）、Ｋ．Ａｒｎｏｌｄｅｔａｌ．「ＴｈｅＪ
ａｖａＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅＳｅｃｏｎｄＥｄｉｔ
ｉｏｎ（Ｊａｖａプログラミング言語第２版）」（１９９８）に記述されてお
り、それらは完全に参照することによりここに組み込まれる。スマートカードプ
ラットフォームのためのアプリケーションプログラミングインターフェース（Ａ
ＰＩ）のクラスは、パッケージ指定を含むＪａｖａソースファイルとして書くこ
とができる。パッケージは、多数のコンパイルユニットを含み、独自の名前を持
つ。クラス、フィールド、メソッドへのアクセスを確認、制御するために、パッ
ケージメカニズムが用いられる。ＪａｖａカードＡＰＩにより、Ｊａｖａカード
が使用可能なあるプラットフォーム用に書かれたアプリケーションをＪａｖａカ
ードが使用可能な他のプラットフォームで動作させることが可能となる。さらに
、ＪａｖａカードＡＰＩは、ＩＳＯ７８１６などの正式な国際基準やＥｕｒｏｐ
ａｙ／ＭａｓｔｅｒＣａｒｄ／Ｖｉｓａ（ＥＭＶ）などの業界基準と互換性が
ある。

【００２１】マイクロプロセッサ４８上で動作するバーチャルマシン４９は、スマートカー
ド４０上でバイトコードを実行するための１つの実装として説明されているが、
他の実装では、特定用途向け集積回路（ＡＳＩＣ）またはハードウェアとファー
ムウェアの組み合わせを代わりに用いることができる。

【００２２】図１によると、コントローラ４４は、ＣＡＰファイル１６の内容を受け取り、
プロセッサ４８によって実行されるアプレットを準備するためにインストレーシ
ョンツール４６を用いる。インストレーションツール４６は、例えば、カード４
０上で実行するために適切にコンバートされたＪａｖａプログラムとして実装す
ることができる。以下の説明では、コントローラ４４が、マイクロプロセッサ４
８上で実行されているバーチャルマシンプログラム４９からなることとする。バ
ーチャルマシン９はＣＡＰファイル１６のロードや処理をする必要はない。どち
らかといえばＪａｖａカードバーチャルマシン４９は、ＣＡＰファイル１６内の
アプレットコードを実行する。バーチャルマシン４９とインストレーションツー
ル４６との間で機能を分けることにより、バーチャルマシンとインストレーショ
ンツールの両方を比較的小型にすることが可能である。他の実装では、例えば、
特定用途向け集積回路（ＡＳＩＣ）としてコントローラ４４をハードウェアに組
み込んだり、ハードウェアとファームウェアの組み合わせとして実装したりする
ことができる。

【００２３】スマートカードプラットフォームは、リソースの限られた他のデバイスにも同
様に用いることが可能であり、クラスインスタンスとクラスアレイ両方を含む動
的に作られたオブジェクトをサポートする。クラスは、単一の既存クラスのエク
ステンションまたはサブクラスとして実装され、フィールドと呼ばれる変数だけ
でなくメソッドもそのメンバである。メソッドは、呼び出すことができ、決まっ
た数の値を引数として通過させる実行可能なコードを記述している。また、クラ
スはＪａｖａインターフェースを実装することができる。インターフェースは、
メンバがコンスタントメソッドとａｂｓｔｒａｃｔメソッドである参照型である
。バーチャルマシン４９は、ＪａｖａカードＡＰＩと支援機能を含むランタイム
システムへのアクセスを提供するインタープリタやネイティブな実装を含んでい
てもよい。

【００２４】図２に示すように、図１のカード４０を受けるカードアクセプタンスデバイス
２４がコンピュータ２２１に備えられている。コンピュータ２２は、サーバ４７
など複数の他の計算機と通信するネットワーク４５に接続されていてもよい。カ
ードを備えたデバイスによりネットワークを通じてスマートカードにデータやソ
フトウェアをロードすることが可能である。このようなダウンロードには、様々
な電子商取引やその他の用途に関するデジタルキャッシュやその他の情報だけで
なく、スマートカードにロードされるアプレットやその他のプログラムも含まれ
る。カードアクセプタンスデバイスやスマートカードの処理エレメントを制御す
るのに用いられる命令やデータは、揮発性もしくは不揮発性のメモリに記憶して
もよいし、例えば命令やデータを含む搬送波などの通信リンクから直接受信して
もよい。さらに、例えば、ネットワーク４５は、インターネットやその他のネッ
トワークのようなＬＡＮもしくはＷＡＮであってもよい。

【００２５】図３は、スマートカード４０にロードされたプログラムパッケージ（アプリケ
ーションプログラムインターフェース（ＡＰＩ）とプログラムアプレット両方を
含む）の間の典型的な階層の従属関係を示す図である。アプリケーションは、ス
マートカード４０に漸次ロードされ、カード上でリンクされて実行される。その
結果、スマートカード４０には、工場でプログラムされた機能に加えて追加の機
能がアップデートされる。図では、Ｊａｖａ言語フレームワーク５０とＪａｖａ
カードフレームワーク５２は、ＪａｖａカードＡＰＩのレベルに存在する。Ｊａ
ｖａカードＡＰＩレベルより上には、１つもしくは複数のカスタムフレームワー
ク５４の存在するカスタムＡＰＩレベルがある。カスタムフレームワーク５４は
、様々なソフトウェア開発キット（ＳＤＫ）により価値を付加された１つもしく
は複数のプロバイダによって供給され、既存のフレームワークまたはその他のＡ
ＰＩを拡張することができる。最高レベルは、様々なアプレット５６，５８，６
０が存在するアプリケーションレベルである。

【００２６】図３に示すように、パッケージは、同じＡＰＩレベルの他のパッケージに依存
したり、低いＡＰＩレベルのパッケージから依存されたりしてもよい。例えば、
アプレット５８は、アプレット５８のプログラムエレメントを参照することが可
能であり、Ｊａｖａカードフレームワーク５２は、Ｊａｖａ言語フレームワーク
５０から依存されることが可能である。さらに、カスタムＡＰＩレベルのカスタ
ムフレームワーク５４とアプレット５８および６０は、Ｊａｖａカードフレーム
ワークから依存される参照を持っていてもよい。同様に、アプレット５６および
５８は、カスタムフレームワーク５４から依存される参照を持っていてもよい。
また、アプレット５６とカスタムフレームワーク５４は、Ｊａｖａ言語フレーム
ワーク５０から依存されてもよい。図３の例は線形的な依存を示しているが、適
切なコンバータ１４とインストレーションツール４６を用いて循環的な依存のよ
うな非線形的な依存をサポートしてもよい。

【００２７】例えばＪａｖａアプリケーションからＣＡＰファイル７４への一連のクラスフ
ァイルのコンバートは一般に、スマートカード４０でのインストールの準備の際
にデスクトップコンピュータ上で行うことができる。デスクトップコンピュータ
２２は一般に、典型的なスマートカード４０ほどリソースは限られていない。さ
らに、コンバートの演算は、他の適切なプラットフォームでも同様に行うことが
できる。

【００２８】図４は、パッケージをコンバートするためのシステムを示す。そのシステムは
、スマートカード４０にダウンロードするための準備を行う際にアプレットやラ
イブラリを定義することができる。コンバータ７２は、アプレットの機能を定義
する１つまたは複数のクラスファイル７０からデータ入力を受け取る。次に、コ
ンバータ７２は、ダウンロードに適したＪａｖａＣＡＰファイル７４を生成する
。

【００２９】以下でさらに詳細に論じているように、ＣＡＰファイル７４は、そのパッケー
ジ内のエレメントへの参照をリゾルブするためのエクスポートコンポーネント８
２を含む。それらのエレメントは、他のパッケージによって参照されてもよい。
エクスポートコンポーネント８２は、クラス、メソッド、フィールドなどのｓｔ
ａｔｉｃアイテムのためのエントリを含む。インスタンスフィールド、バーチャ
ルメソッド、インターフェースなどのダイナミックなアイテムへの参照は、エク
スポートコンポーネント内に与えられる必要はないが、以下に説明するプロセス
にしたがって処理することができる。

【００３０】リソースの限られたデバイスでは、アイテムを表すためにユニコード文字列を
用いるため、メモリとプロセッサのリソースが消費される。ストリングにより、
エクスポートコンポーネント８２は、トークンすなわち単一の数値をＣＡＰファ
イル７４内の他のコンポーネントに定義されたエレメントに対してマッピングす
る。エクスポートコンポーネント内のこれらのエレメントを表すのに用いられる
トークン値は、対応するエクスポートファイル８０内で発行された数値と一致す
る。

【００３１】さらに詳細には、ＣＡＰファイル７４は特に、ヘッダコンポーネント７６、定
数プール７８、メソッドコンポーネント８０、エクスポートコンポーネント７８
を含む。定数プール７８は通例、１つまたは複数のクラス、フィールド、メソッ
ド参照を含み、その結果、一般に、パッケージの定数プール７８を通じて間接的
にプログラムエレメントやアイテムへの参照がなされる。メソッドコンポーネン
ト８０は、ＣＡＰファイル７４を代表とするアプレットパッケージによって実装
されたメソッドすべてを含む。メソッド参照は、メソッドコンポーネントに位置
するメソッドになる。クラスとｓｔａｔｉｃフィールドの参照はそれぞれ、クラ
スコンポーネントとｓｔａｔｉｃフィールドコンポーネント内のロケーションに
なる。

【００３２】エクスポートコンポーネント７８は、トークン値８４を持つ１つまたは複数の
エントリと、ＣＡＰファイルＡ７４に定義されたパッケージ内でそのプログラム
エレメントが検索される場所を記述するプログラムエレメントリンク情報８６と
を含む。リンク情報は、カードの内部表現ではなく、ＣＡＰファイル７４の内容
に固有のものである。それ故、このコンポーネントは、カード固有の専用もしく
は保護情報を記述しない。

【００３３】また、コンバータ７２は、クラスファイルをＣＡＰファイル７４にコンバート
する際に、エクスポートファイル８０を生成することができる。ＣＡＰファイル
各々に対して１つのエクスポートファイルが生成される。エクスポートファイル
８０は通例、ＣＡＰファイル７４のプログラムエレメントのための記号名９０を
持つ１つまたは複数のエントリとそれに対応するトークン値９２を含む。エクス
ポートファイル８０は、クラスファイルのパッケージの外部アクセス可能なプロ
グラムエレメント各々についての情報とＣＡＰファイル７４内のプログラム情報
を提供する。それらの情報は、第２のパッケージによって第２のＣＡＰファイル
（以下で説明する）に参照（インポート）されることが可能である。例えば、エ
クスポートファイル８０は、１つのＪａｖａパッケージに定義されたｐｕｂｌｉ
ｃクラスおよびインターフェースすべてに対する参照と、それらのクラスとイン
ターフェースに定義されたｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄフィールドお
よびメソッドすべてを含む。また、エクスポートファイル８０は、トークンに対
するこれらのプログラムエレメントまたはアイテムのマッピングを含む。それは
、パッケージのコンバートの際に、トークンにインポートされたアイテムの名前
のマッピングに用いることができる。エクスポートファイルは、アプレットやそ
れに関するライブラリの専有または独自の詳細を開示しない。それ故、別個に開
発された様々なアプリケーションをリソースの限られたデバイスにロードし、専
用の保護情報を侵害することなしに互いにコンポーネントを共有できる。エクス
ポートファイル８０は、アプレットやそれに関するライブラリの専有または独自
の詳細を開示しないので、別個に開発されたアプリケーションをカード４０にロ
ードし、専用の保護情報を侵害することなしにエクスポートされたエレメントを
互いに共有できる。

【００３４】図３および４を参照すると、ＪａｖａカードフレームワークＡＰＩ５２を含む
多数のクラスファイル７０がコンバートされていた場合には、コンバート中に生
成されたエクスポートファイル８０により、別個にコンバートされた他のアプレ
ットプログラムは、ＪａｖａカードフレームワークＡＰＩのアイテムを外部参照
するためにどのトークンを用いるかを認識することができる。例えば、アプレッ
トがフレームワーククラスＰＩＮを参照する場合、Ｊａｖａカードフレームワー
クのためのエクスポートファイル８０は、それぞれのトークンと共にクラスＪａ
ｖａカードフレームワークＰＩＮのためのエントリを含む。コンバータ７２は、
新しいアプレットのＣＡＰファイルの定数プール内にトークンを配置し、フレー
ムワーク内のそのクラスへのリゾルブされていない参照を表す。以下に説明する
ように、アプレットの実行中、フレームワークＡＰＩパッケージのエクスポート
コンポーネント７８内に参照されたアイテムを位置指定してエレメントリンク情
報を取り出すために、トークンを用いることができる。例えば、メソッドのリン
ク情報は、パッケージのメソッドコンポーネント８０に含まれる適切なメソッド
を位置指定するための情報を提供することができる。

【００３５】図５は、クラスファイル９４の第２のパッケージをコンバートするコンバータ
７２を示している。それらのクラスファイル９４は、第１のパッケージ７０（図
４）のクラスファイルからエレメントをインポートする。例えば、第２のパッケ
ージは、例えば以前にコンバートされたＪａｖａカードフレームワークライブラ
リパッケージに含まれるクラスに依存する一連のアプレットクラスでよい。コン
バータ７２は、クラスファイル９４と、以前にコンバートされたパッケージの１
つまたは複数のエクスポートファイル８０からデータを入力される。コンバータ
７２は、例えばスマートカード４０へのダウンロードに適したＣＡＰファイル１
００を生成する。

【００３６】第２のパッケージのためのＣＡＰファイルＢ１００は、アプレットクラスによ
って参照される全パッケージのリストを含むインポートコンポーネント１０４を
含む。そのような外部のパッケージ参照それぞれは、内部パッケージトークンと
そのパッケージのための外部単一アプリケーション識別子（ＡＩＤ）との間のマ
ッピング１０６を含む。参照された外部パッケージを簡単に識別し、その結果と
してアプレットの表現のフットプリントサイズを削減するために、ＣＡＰファイ
ル１００内の他のコンポーネントで、各パッケージトークンが用いられる。

【００３７】また、ＣＡＰファイル１００は特に、ヘッダコンポーネント１０２、インポー
トコンポーネント１０４、定数プール１０８を含む。定数プール１０８は、１つ
または複数のクラス参照１１０を含む。クラス参照は、対応するパッケージトー
クンとクラストークンを持つ各クラス参照をマッピングし、それによって、対応
する外部パッケージとそのパッケージ内のクラスに対して指定されたクラスをマ
ッピングする。これらのトークンの使用については、以下でさらに説明する。ま
た、定数プール１０８は、対応するパッケージトークン、クラストークン、メソ
ッドトークンを持つ各メソッド参照を同様にマッピングする１つまたは複数のメ
ソッド参照１１２を含む。また、定数プール１０８は、各々がそのパッケージト
ークン、クラストークン、フィールドトークンをそれぞれ持つフィールド参照１
１４を含む。

【００３８】一般に、プログラムエレメントもしくはアイテムへの参照は、各パッケージの
定数プール１０８を通じて間接的になされる。他のパッケージ内でのアイテムへ
の参照は、外部のものとしてみなされ、トークンで表される。同じＣＡＰファイ
ルのアイテムへの参照は、内部のものとしてみなされ、トークンもしくは（ＣＡ
Ｐファイル内のロケーションへのポインタなどの）別の内部フォーマットのいず
れかで表すことができる。例えば、クラスへの外部参照１１０は、パッケージト
ークンとクラストークンから成っている。それらのトークンが合わさって、ある
外部パッケージのあるクラスを指定する。クラスへの内部参照は、ＣＡＰファイ
ル内のクラス構造のロケーションへのポインタでよい。あるいは、外部トークン
システムを内部的に同じように用いてもよい。外部参照１１２〜１１４は、パッ
ケージトークン、クラストークン、ｓｔａｔｉｃフィールドもしくはｓｔａｔｉ
ｃメソッドのためのトークンを持つｓｔａｔｉｃクラスメンバ（フィールドもし
くはメソッド）を参照する。ｓｔａｔｉｃクラスメンバへの内部参照は、ＣＡＰ
ファイル内のアイテムのロケーションへのポインタでよいが、トークンシステム
を用いることもできる。インスタンスフィールド、バーチャルメソッド、インタ
ーフェースメソッドへの参照は、クラス参照と適切な型のトークンから成る。そ
のクラス参照は、参照が外部参照であるか内部参照であるかを示す。

【００３９】ＣＡＰファイル内の外部参照は、カード上でトークンの形からＪａｖａカード
バーチャルマシンで用いられる内部表現へとリゾルブされることが可能である。
トークンは、それを定義するパッケージに照らしてのみリゾルブすることができ
る。エクスポートファイルがｅｘｔｅｒｎａｌｌｙｖｉｓｉｂｌｅパッケージ
名からトークンへマッピングすると、トークンからリゾルブされた参照へマッピ
ングするカード上の各パッケージのための一連のリンク情報が生成される。この
ように、コンバータ９７は、クラスファイル９２とエクスポートファイル９４の
両方を処理し、リソースの限られたデバイスにアプレットをダウンロードするの
に適切なイメージを作成し、第１のパッケージへの参照（リンク）をリゾルブす
る。

【００４０】図４および図５で実行された前処理の後、図４のＣＡＰファイルを含むスマー
トカード４０もしくはリソースの限られたデバイスに、図５のＣＡＰファイルを
ダウンロードすることができる。図６および図７は、スマートカード４０もしく
は小型のデバイス上のｓｔａｔｉｃエレメントに対して、トークンに基づくリン
クがなされる方法を、より詳細に示したものである。ｓｔａｔｉｃエレメントは
、コンバート処理中にその正確な表現がコンバータによって識別可能なエレメン
トを含む。

【００４１】図６において、パッケージＰ２のイメージ２００を、例えばＣＡＰファイルＢ
１００からカード４０にロードし、実行前もしくは実行中に前のパッケージＰ１
にリンクさせることができる。パッケージＰ２（２００）内のプログラムエレメ
ントは、すでにイメージ１７４として（ＣＡＰファイルＡ７４の）カード４０上
に存在する外部パッケージＰ１内のメソッドや他のデータへの参照を含むことが
できる。イメージ１７４は特に、ヘッダコンポーネント１７６、定数プール１７
８、メソッドコンポーネント１８０、エクスポートされたｓｔａｔｉｃアイテム
１８５すべてに対するトークンのリストを含むエクスポートコンポーネント１８
２を含む。外部パッケージへの参照のリゾリューションを支援するために、パッ
ケージレジストリ１２０がカード４０上で作成され、パッケージＰ２のイメージ
２００が必要とするメソッドを含むパッケージＰ１のイメージ１７４を含めて、
１つまたは複数のパッケージを位置指定するのに用いられる情報を提供する。

【００４２】パッケージＰ２のイメージ２００は特に、ヘッダコンポーネント２０２、イン
ポートコンポーネント２０４、定数プール２０８、メソッドコンポーネント２１
６、ＣＡＰファイルＢ１００内のそれぞれのコンポーネント１０２、１０４、１
０８、１１６に関するすべてのコンポーネントを含む。これらのコンポーネント
の一般的な構成は、ＣＡＰファイルに関して上述している。通例、メソッドコン
ポーネント２１６は、「ｎｅｗ」（２１８）、「ｉｎｖｏｋｅｓｔａｔｉｃ」（
２２０）、「ｇｅｔｓｔａｔｉｃ」（２２２）のようなプログラム参照を、それ
ぞれの呼び出されたクラス参照、メソッド参照、フィールド参照と共に含む。

【００４３】図７は、図６のパッケージＰ２（２００）のためのリンクプロセス１４０を示
す。メソッドコンポーネント２１６内の実行メソッドが、外部パッケージ（パッ
ケージ１）内に位置指定されたメソッドコンポーネント１８０内で、例えばＭｅ
ｔｈｏｄＴなどのメソッドを呼び出す際には、リンクが必要になる（ステップ
１４２）。オペランドとして命令に提供されたインデックスを用いて、プロセス
１４０は、定数プール２０８にマッチングメソッド参照２１２を位置指定して取
り出す（ステップ１４４）。以下に説明するように、メソッド参照は、外部パッ
ケージのメソッドを位置指定するのに用いられるパッケージトークン、クラスト
ークン、メソッドトークンからなる。次に、プロセス１４０は、インポートコン
ポーネント２０４を試験し、取り出されたパッケージトークンに基づいて外部パ
ッケージＰ１の単一のＡＩＤを検索する（１４６）。次に、パッケージレジスト
リ１２０が試験され、ＡＩＤに基づいてパッケージＰ１のロケーションが検索さ
れる（ステップ１４８）。パッケージＰ１のイメージ１７４がパッケージレジス
トリから検索されると、イメージ１７４のエクスポートコンポーネント１８２が
検索され、指定されたクラストークンを持つクラスが位置指定される（ステップ
１５０）。次に、要求されたメソッド、例えばＭｅｔｈｏｄＴのためのプログ
ラムリンク情報が、ステップ１５０で検索されたクラスに関するメソッドのリス
トを検索することにより検索され、指定されたメソッドトークン（ここでは、パ
ッケージＰ１（１７４）のＭｅｔｈｏｄＴに関するメソッドトークンＹ）を持
つメソッドが位置指定される（ステップ１５２）。最後に、指定されたメソッド
、例えばＭｅｔｈｏｄＴのメソッドコンポーネント１８０内でのロケーション
が、エクスポートコンポーネント１８２のメソッドに提供されたリンク情報に基
づいて決定される（ステップ１５４）。

【００４４】図７のプロセスを用いて、パッケージをカードにダウンロードし、バーチャル
マシンによって実行される準備を行うことができる。このプロセスは、「インス
トレーション」と呼ばれる。（カード上でデータを受け取る際やデータを記憶す
る際に）処理やリンクの実行命令が異なる様々なインストレーションプロセスを
用いることができる。これらのインストレーションプロセスは、カード上の利用
可能なリソースに基づいて最適化することができる。１つの実装では、リンクが
起こらず、データが受け取られると、直ちに記憶される。コードの変換もしくは
実行時に、外部参照のリゾリューションが起こる。そのように、すべての一時リ
ンク情報が永久的に記憶されるため、この実装は、比較的大きい（制限の少ない
）小型デバイスで用いられる。

【００４５】上で論じたように、ＣＡＰファイル内のアイテムを識別し、リソースの限られ
たデバイス上の参照をリゾルブするために、Ｊａｖａクラスファイルで用いられ
るユニコードストリングの代わりに、トークンが用いられる。ＡＰＩのためのト
ークンは、ＡＰＩのデベロッパによって割り当てられ、そのＡＰＩのためのパッ
ケージエクスポートファイル内で発行される。名前対トークンのマッピングが発
行されるので、ＡＰＩデベロッパは、本発明の制約内でトークン用の任意の配列
を選ぶことができる。

【００４６】図６および図７は、ｓｔａｔｉｃアイテム、すなわちクラス、ｓｔａｔｉｃフ
ィールド、ｓｔａｔｉｃメソッドへの参照のリゾリューションを示している。こ
れらのアイテムの実装は、コンパイルおよびコンバート中に完全に位置指定可能
である。逆に、コンパイルおよびコンバート中に、インスタンスフィールドへの
参照、バーチャルメソッド、インターフェースメソッドは、その実装に静的に束
縛されない。それらのアイテムは、実行時にインスタンスへの参照と共にのみ用
いることができる付加的な情報を必要とする。これらのタイプへの参照のリゾリ
ューションは、図３２〜３６の参照に記述されている。

【００４７】バーチャルメソッドのためのトークンの割り当てにより、オブジェクト指向の
クラス階層内の関係が準備される。バーチャルメソッドテーブル、インターフェ
ーステーブルへのインデックスとして、バーチャルメソッドとインターフェース
のためのトークンが用いられる。そのカードプラットフォームは、リソースの限
られたデバイスＶＭの実装に最も有用な内部表現へトークンをリゾルブすること
ができる。

【００４８】いくつかのトークンは、インデックスにリゾルブされてもよい。例えば、イン
スタンスフィールドトークンは、クラスインスタンスへのインデックスにリゾル
ブされてもよい。そのようなクラスでは、トークン値は、リゾルブされたインデ
ックスの値と異なりそれに関連がないことがある。

【００４９】パケージ内の各種のアイテムは、その種類のトークン用の独自の独立したスコ
ープを持っている。各種の参照のためのトークンレンジのサンプルと割り当てル
ールを以下の表に示す。トークンのレンジと割り当ては他のものでもよい。

【００５０】

【表１】

【００５１】図８〜図１６は、参照を表現した図である。図８〜図１０はインポートされた
エレメントへの参照を示し、図１１〜図１６は内部アイテムへの参照を示してお
り、トークンを使用したものもある。

【００５２】図８は、外部クラスへのクラス参照１８０を示している。図８のクラス参照は
、パッケージトークンとクラストークンとを備える。図９は、外部フィールド参
照の表現を示している。外部フィールド参照１８２は、パッケージトークンと、
クラストークンと、フィールドトークンとを備える。図１０は、外部メソッド参
照１８４の表現を示している。外部参照１８４は、パッケージトークンと、クラ
ストークンと、メソッドトークンとを備える。ここで、バーチャルメソッドでは
メソッドトークンのハイビットがゼロに設定されることに注意が必要である。ハ
イビットを設定するということは、このメソッドが、定義されるパッケージの外
側からアクセス可能であることを示している。ハイビットは最も重要なビットで
良く、例えばバイト中の７番目のビット、ワード中の１５番目のビット、あるい
は３バイトユニット中の２３番目のビット等で良い。

【００５３】パッケージトークンのハイビットは、インポートされたパッケージを示すよう
に設定される。これは、外部と内部の参照を区別するために使用される。図１１
〜図１６に示されるように、外部エレメントへの参照のハイビットはゼロに設定
される。図１１〜図１６のフォーマットは、特定の場合にトークンの使用を内部
アイテムまで拡張させた例である。

【００５４】図１１は、内部クラス参照１８６の表現を示している。内部クラス参照１８６
は、クラスコンポーネント内のクラス情報構造へのオフセットを備える。図１２
は、内部フィールドのためのｓｔａｔｉｃフィールド参照１８８の表現を示して
いる。このように、ｓｔａｔｉｃフィールド参照１８８は、ゼロに設定されたフ
ィールドと、ｓｔａｔｉｃフィールドイメージ内のｓｔａｔｉｃフィールドへの
オフセットを含むフィールドとを備える。図１３は、内部メソッドのためのｓｔ
ａｔｉｃメソッド参照１９０の表現を示している。Ｓｔａｔｉｃメソッド参照１
９０は、ゼロに設定された埋め込みのフィールドを備えることによって、参照と
、インポートされたメソッド参照とを同サイズにしている。Ｓｔａｔｉｃメソッ
ド参照１９０は、また、メソッドコンポーネント内のｓｔａｔｉｃメソッドへの
オフセットに関する情報を提供するフィールドも備える。

【００５５】図１４は、内部フィールドのための、インスタンスフィールド参照１９２の表
現を示している。図１４において、インスタンスフィールド参照１９２は、クラ
スコンポーネント内のクラス情報へのオフセットと、フィールドトークンとを備
える。図１５は、内部メソッドのための、ｐｕｂｌｉｃまたはｐｒｏｔｅｃｔｅ
ｄなメソッドへのバーチャルメソッド参照１９４を示している。バーチャルメソ
ッド参照１９４は、クラスコンポーネント内のクラス情報構造へのオフセットを
備える。これは、外部からアクセス可能なバーチャルメソッドを示し、さらに図
１０のフォーマットに一致させるために、クリアされる。バーチャルメソッド参
照１９４は、メソッドトークンも備える。

【００５６】最後に、図１６は、内部メソッドのための、ｐａｃｋａｇｅｖｉｓｉｂｌｅ
メソッドへのバーチャルメソッド参照１９６の表現を示している。バーチャルメ
ソッド参照１９６は、クラスコンポーネントおよびクラス情報構造へのオフセッ
トを備える。このフィールドは、参照のスコープがパッケージの内部であること
を示すように設定される。参照１９６は、メソッドトークンも備える。

【００５７】図１７〜図３１は、トークンを割り当てるため、そしてバーチャルメソッドテ
ーブルおよびインターフェースメソッドテーブルを構築するためのプロセスを示
したフローチャートである。これらのプロセスは、上述したように、コンバータ
７２によって実行することができる。先ず、図１７には、パッケージトークンを
割り当てるためのプロセス２３０が示される。一般に、ＣＡＰファイル内からの
パッケージ参照は、ＣＡＰファイル内でのみ使用される割り当てトークンである
。

【００５８】プロセス２３０は、先ず、インポートされたパッケージのリストを取得する（
ステップ２３１）。このリストはどんな順序であっても良い。次に、プロセス２
３０は、インポートされているパッケージの数が、例えば１２７等の所定の閾値
を超えるか否かを決定する。この場合の１２７という限界値は、ハイビットを予
約した状態で、パッケージトークンを８ビットで表現するために使用される。イ
ンポートされたパッケージの数が、例えば１２７等の所定の閾値を超える場合、
このプロセスは失敗する（ステップ２０５）。

【００５９】あるいは、プロセス２３０は、カレントトークン値をゼロに初期化する（ステ
ップ２３３）。次に、プロセス２３０は、カレントパッケージをリスト中の第１
のパッケージに初期化する（ステップ２３４）。次いで、カレントパッケージが
ｎｕｌｌであるか否かをチェックする（ステップ２３５）。カレントパッケージ
がｎｕｌｌでない場合、プロセス２３０は、カレントトークンをカレントパッケ
ージに割り当てる（ステップ２３６）。次に、プロセス２３０は、カレントトー
クン値を１だけ増分させ（ステップ２３７）、カレントパッケージをリスト中の
次のパッケージに設定する（ステップ２３８）。

【００６０】ステップ２３５では、カレントパッケージがｎｕｌｌであり、インポートされ
たパッケージはもう残されていないことが示された場合に、プロセス２３０は、
インポートコンポーネント内にトークンを記録して（ステップ２３９）終了する
。インポートされたパッケージ内のアイテムへの参照は、インポートコンポーネ
ント内に記録されたトークン値を使用して行われる。

【００６１】図１８には、クラスおよびインターフェースのトークンを割り当てるためのプ
ロセス２４０が示される。プロセス２４０は、先ず、ｐｕｂｌｉｃなクラスおよ
びインターフェースからなる任意順序のリストを取得する（ステップ２４１）。
次に、クラスおよびインターフェースの数が、８ビットで表現できる最大のクラ
ス数である２５６等の所定の値を超えるか否かをチェックする（ステップ２４２
）。所定の値を超える場合、プロセス２４０は失敗する（ステップ２０５）。そ
うでない場合、プロセス２４０は、カレントトークン値をゼロに初期化する（ス
テップ２４３）。また、カレントアイテムを、ステップ２４１で取得されたリス
ト中の第１のクラスまたはインターフェースに初期化する（ステップ２４４）。
次に、プロセス２４０は、カレントアイテムがｎｕｌｌであるか否かを決定する
（ステップ２４５）。Ｎｕｌｌは、リストに、もうクラスまたはインターフェー
スが残されていないことを示す。カレントアイテムがｎｕｌｌでない場合、プロ
セス２４０は、クラスまたはインターフェースであるカレントアイテムに、カレ
ントトークン値を割り当てる（ステップ２４６）。次に、カレントトークン値を
１だけ増分させ（ステップ２４７）、カレントアイテムをリスト中の次のクラス
またはインターフェースに設定した後（ステップ２４８）、ステップ２４５にル
ープバックする。ステップ２４５では、カレントアイテムがｎｕｌｌであり、リ
ストにはもうクラスまたはインターフェースが残されていないことが示された場
合に、プロセス２４０は、エクスポートコンポーネントテーブル内にトークン値
を記録する（ステップ２４９）。プロセス２４０は、さらに、エクスポートファ
イル内でトークン値を発行して（ステップ２５１）終了する。

【００６２】図１９および図２０は、ｓｔａｔｉｃフィールドのトークンを扱ったものであ
り、このうち図２０は、コンパイルタイムコンスタントをインラインすることに
よって、図１９を最適化したものである。パッケージ内のｅｘｔｅｒｎａｌｌｙ
ｖｉｓｉｂｌｅなｓｔａｔｉｃフィールドは、割り当てされたｐｕｂｌｉｃト
ークンである。Ｐａｃｋａｇｅｖｉｓｉｂｌｅでｐｒｉｖａｔｅなｓｔａｔｉ
ｃフィールドは、割り当てされたトークンではない。図２０は、プロセス２５０
を最適化したものであるプロセス２８０を示す。この最適化において、トークン
は、コンパイルタイムコンスタントに初期化されたｆｉｎａｌなｓｔａｔｉｃフ
ィールドに割り当てられていない。この場合のフィールドは、カード上にはリン
クされない。

【００６３】図１９には、ｓｔａｔｉｃフィールドのトークンをｐｕｂｌｉｃなクラスまた
はインターフェース内で割り当てるためのプロセス２５０が示される。プロセス
２５０は、先ず、ｐｕｂｌｉｃなクラスまたはインターフェース内のｐｕｂｌｉ
ｃおよびｐｒｏｔｅｃｔｅｄなｓｔａｔｉｃフィールドからなる任意順序のリス
トを取得する（ステップ２５２）。次に、プロセス２５０は、カレントトークン
値をゼロに設定し（ステップ２５４）、カレントフィールドをリスト中の第1の
ｓｔａｔｉｃフィールドに初期化する（ステップ２５６）。続いて、カレントフ
ィールドがｎｕｌｌであるか否かを決定する（ステップ２５８）。Ｎｕｌｌとは
、もうフィールドが残されていないことを示す。カレントフィールドがｎｕｌｌ
でない場合、プロセス２５０は、カレントトークン値をカレントフィールドに割
り当て（ステップ２６０）、カレントトークン値を１だけ増分させる（ステップ
２６２）。次いで、プロセス２５０は、カレントフィールドをリスト中の次のｓ
ｔａｔｉｃフィールドに設定した後（ステップ２６４）、ステップ２５８にルー
プバックする。

【００６４】ステップ２５８では、カレントフィールドがｎｕｌｌであり、もうフィールド
は残されていないことが示された場合に、プロセス２５０は、カレントトークン
が、８ビットで表現できる最大のトークン数である２５５等の所定の値を超える
か否かをチェックする（ステップ２６６）。所定の値を超える場合、プロセス２
５０は失敗する（ステップ２０５）。そうでない場合、プロセス２５０は、もし
エクスポートコンポーネントが生成されるならば、エクスポートコンポーネント
テーブル内にトークン値を記録する（ステップ２６８）。最後に、プロセス２５
０は、エクスポートファイル内でトークン値を発行する（ステップ２７０）。

【００６５】図２０には、ｐｕｂｌｉｃなクラスまたはインターフェース内におけるｓｔａ
ｔｉｃフィールドトークンの割り当てを最適化するためのプロセス２８０が示さ
れる。この最適化では、コンパイルタイムコンスタントを排除し、バイトコード
内にインラインされているコンスタントで参照を置き換えることによって、メモ
リの消費量を減らす。プロセス２８０は、先ず、ｐｕｂｌｉｃなクラスまたはイ
ンターフェース内のｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなｓｔａｔｉｃフィ
ールドのリストを取得する（ステップ２８２）。次に、プロセス２８０は、カレ
ントトークン値をゼロに設定し（ステップ２８４）、カレントフィールドをリス
ト中の第１のｓｔａｔｉｃフィールドに初期化する（ステップ２８６）。続いて
、カレントフィールドがｎｕｌｌである（もうフィールドは残されていない）か
否かを決定する（ステップ２８８）。カレントフィールドがｎｕｌｌでない場合
、プロセス２８０は、カレントフィールドがコンパイルタイムコンスタントであ
るか否かを決定する（ステップ２９０）。コンパイルタイムコンスタントである
場合、プロセス２８０は、カレントフィールドのトークン値として例えば0xFF等
の値を割り当てる（ステップ２９６）。あるいは、カレントフィールドがコンパ
イルタイムコンスタントでない場合、プロセス２８０は、カレントフィールドに
カレントトークン値を割り当てて（ステップ２９２）、カレントトークン値を１
だけ増分させる（ステップ２９４）。ステップ２９４および２９６からのプロセ
ス２８０では、カレントフィールドをリスト中の次のｓｔａｔｉｃフィールドに
設定した後（ステップ２９８）、ステップ２８８にループバックし、トークンの
処理を続行する。

【００６６】ステップ２８８では、カレントフィールドがｎｕｌｌであり、フィールドがも
う残されていないことが示された場合に、プロセスは、カレントトークンが、８
ビットで表現できる最大の数である２５５等の所定の値を超えるか否かをチェッ
クする（ステップ３００）。所定の値を超える場合、プロセス２８０は失敗する
（ステップ２０５）。そうでない場合は、もしエクスポートするならば、トーク
ン値をエクスポートコンポーネント内に記録する（ステップ３０２）。次いで、
エクスポートファイル内で、コンパイルタイムコンスタントとともにトークン値
を発行し（ステップ３０４）、参照中のパッケージがそれぞれの値にインライン
できるようにした後、終了する。

【００６７】図２１には、ｐｕｂｌｉｃクラス内でｓｔａｔｉｃメソッドのトークンを割り
当てるためのプロセス３１０が示されている。プロセス３１０は、先ず、ｐｕｂ
ｌｉｃクラス内のｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなｓｔａｔｉｃメソッ
ドおよびコンストラクタのリストを取得する（ステップ３１２）。プロセス３１
０は、次に、ｓｔａｔｉｃメソッドの数が、例えば２５６等の所定の値を超える
か否かを決定する（ステップ３１４）。所定の値を超えない場合、プロセスは、
トークン値をゼロに設定し（ステップ３１６）、カレンドメソッドをリスト中の
第１のｓｔａｔｉｃメソッドに初期化する（ステップ３１８）。次に、プロセス
３１０は、カレントメソッドがｎｕｌｌである（もう他のメソッドは残されてい
ない）か否かをチェックする（ステップ３２０）。カレントメソッドｎｕｌｌで
ない場合、プロセス３１０は、カレントトークン値をカレントｓｔａｔｉｃメソ
ッドに割り当てて（ステップ３２２）、カレントトークン値を１だけ増分させる
（ステップ３２４）。プロセス３１０は、次いで、カレントメソッドをリスト中
の次のｓｔａｔｉｃメソッドに設定した後（ステップ３２６）、ステップ３２０
にループバックする。

【００６８】ステップ３２０において、カレントフィールドがｎｕｌｌである（メソッドは
もう残されていない）場合、プロセスは、トークン値をエクスポートコンポーネ
ント内に記録し（ステップ３２８）、トークン値をエクスポートファイル内で発
行した後（ステップ３３０）、終了する。

【００６９】図２２および図２３は、インスタンスフィールドトークンの割り当てスキーム
に関する。図２２は、フィールドトークンを割り当てるための一般的なプロセス
を示し、図２３は、最適化されたプロセスの１つを示しており、トークンの割り
当てを、内部（またはｐａｃｋａｇｅｖｉｓｉｂｌｅおよびｐｒｉｖａｔｅな
）フィールドならびにタイプ参照のグループフィールドに拡張し、インスタンス
内のオフセットへと容易にトークンをマップすることを可能にしている。

【００７０】図２２には、インスタンスフィールドトークンをｐｕｂｌｉｃクラス内で割り
当てるためのプロセス３４０が示される。先ず、プロセス３４０は、ｐｕｂｌｉ
ｃクラス内のｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなインスタンスフィールド
のリストを取得する（ステップ３４２）。次いで、インスタンスフィールドの数
が例えば２５６等の所定値を超えるか否かをチェックし（ステップ３４４）、超
える場合は失敗する（ステップ２０５）。そうでない場合、プロセス３４０は、
カレントトークン値をゼロに設定し（ステップ３４６）、カレントフィールドを
リスト中の第１のフィールドに初期化する（ステップ３４８）。次に、プロセス
３４０は、カレントフィールドがｎｕｌｌであるか否かをチェックする（ステッ
プ３５０）。カレントフィールドがｎｕｌｌでない場合、プロセス３４０は、カ
レントトークン値をカレントインスタンスフィールドに割り当て（ステップ３５
２）、カレントトークン値を１だけ増分させる（ステップ３５４）。ステップ３
５４からは、カレントフィールドをリスト中の次のインスタンスフィールドに設
定した後（ステップ３６０）、ステップ３５０にループバックする。ステップ３
５０からは、カレントフィールドがｎｕｌｌである場合に、エクスポートファイ
ル内でトークン値を発行して（ステップ３６２）終了する。

【００７１】図２２の一般的なアプローチを最適化するに当たって様々な要因が考慮される
。トークンの順序は一般に柔軟であるので、トークンの配列は特定の実装形態に
適用することが可能である。図２３は、以下の実施例で示されるように、コンス
トレインドな割り当てスキームを説明したものである。

【００７２】

【表２】

【００７３】図２３には、上述したインスタンスフィールトトークンの割り当てを最適化す
るためのプロセス３７０が示される。上述したように、プロセス３７０は、先ず
、クラス内の全インスタンスフィールドのリストを取得する（ステップ３７２）
。次に、プロセス３７０は、番号付けされたインスタンスフィールドの数が、例
えば２５６等の所定の値を超えるか否かをチェックする（ステップ３７４）。超
える場合、プロセス３７０は失敗し（ステップ２０５）、超えない場合は、第１
にｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなプリミティブ型を、第２にｐｕｂｌ
ｉｃおよびｐｒｏｔｅｃｔｅｄな参照型を、第３にｐａｃｋａｇｅおよびｐｒｉ
ｖａｔｅな参照型を、そして最後にｐａｃｋａｇｅおよびｐｒｉｖａｔｅなプリ
ミティブ型を含むカテゴリに、リストをソートする（ステップ３７６）。トーク
ン値はゼロに設定され（ステップ３７８）、カレントフィールドはリスト中の第
１のインスタンスフィールドに初期化される（ステップ３８０）。次に、プロセ
ス３７０は、カレントフィールドがｎｕｌｌであるか否かをチェックする（ステ
ップ３８２）。カレントフィールドがｎｕｌｌでない場合、プロセスは、カレン
トトークン値をカレントフィールドに割り当て（ステップ３８４）、カレントト
ークン値を１だけ増分させる（ステップ３８６）。次に、プロセス３７０は、カ
レントフィールドがｉｎｔｅｇｅｒ型であるか否かを決定する（ステップ３８８
）。Ｉｎｔｅｇｅｒ型では、２つのスロットを使用することによって、インスタ
ンスに対してトークンを容易にマップすることを可能にしている。カレントフィ
ールドがｉｎｔｅｇｅｒ型である場合は、カレントトークン値が１だけ増分され
る（ステップ３９０）。ステップ３８８からは、カレントフィールドをリスト中
の次のインスタンスフィールドに設定した後（ステップ３９２）、ステップ３８
２にループバックする。

【００７４】ステップ３８２からのプロセス３７０は、カレントフィールドがｎｕｌｌであ
る場合に、ｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなインスタンスフィールドの
トークン値をエクスポートファイル内で発行して（ステップ３９４）終了する。

【００７５】図２４および図２５では、バーチャルメソッドのためのトークンを割り当てる
。図２４は、バーチャルメソッドトークンを割り当てるための一般的なスキーム
を示し、図２５は、トークンの割り当てをｐａｃｋａｇｅｖｉｓｉｂｌｅバー
チャルメソッドに拡張した場合を示す。

【００７６】図２４および図２５には、バーチャルメソッドトークンを割り当てるためのプ
ロセスが示される。一般に、パッケージ内で定義されたバーチャルメソッドは、
エクスポート可能トークンまたは内部トークンのいずれかを割り当てられる。エ
クスポート可能なトークンは、ｐｕｂｌｉｃおよびｐｒｏｔｅｃｔｅｄなバーチ
ャルメソッドに割り当てられ、この場合、トークンのハイビットはゼロである。
内部トークンは、ｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドに割り当
てられ、この場合、トークンのハイビットは１である。ハイビットは保存される
ので、これらのトークンは０〜１２７の範囲（両端を含む）に渡る。

【００７７】あるクラス内における、導入されたｅｘｔｅｒｎａｌｌｙｖｉｓｉｂｌｅバ
ーチャルメソッドのためのエクスポート可能トークンは、そのクラスのスーパー
クラスにおけるエクスポート可能バーチャルメソッドトークンの最大番号より１
つ大きい番号から順に番号付けられる。あるメソッドが、そのクラスのスーパー
クラス内に実装されたメソッドをオーバーライドする場合、そのメソッドは、そ
のスーパークラス内の対応するメソッドと同一番号のトークンを使用するので、
オーバーライドしたメソッドを、オーバーライドされた元のメソッドに関連して
いると識別することができる。

【００７８】内部のバーチャルメソッドトークンは、エクスポート可能なバーチャルメソッ
ドトークンとは異なる方法で割り当てられる。あるクラスおよびそのスーパーク
ラスが同一のパッケージ内で定義されている場合、そのクラスにおける、導入さ
れたｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドのためのトークンは、
そのクラスのスーパークラスにおける内部バーチャルメソッドの最大の番号より
１つ大きい番号から順に番号付けられる。そのクラスとスーパークラスとが異な
るパッケージ内で定義されている場合、そのクラスにおける導入されたｐａｃｋ
ａｇｅｖｉｓｉｂｌｅバーチャルメソッドは、ゼロから順に番号付けられる。
あるメソッドが、クラスのスーパークラス内に実装されたメソッドをオーバーラ
イドする場合、そのメソッドは、そのスーパークラス内における対応するメソッ
ドと同一番号のトークンを使用する。背景知識として、Ｊａｖａプログラミング
言語は、ｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドのオーバーライド
が、そのクラスとスーパークラスとがともに同じパッケージ内で定義されている
場合にのみ可能であることが指摘される。バーチャルメソッドトークンを含むバ
イトのハイビットは、それが内部トークンであることを示すように、常に１に設
定されている。クラス内における導入されたｐａｃｋａｇｅバーチャルメソッド
トークンの順序は指定されていない。

【００７９】図２４において、プロセス４００は、先ず、クラス内のｐｕｂｌｉｃおよびｐ
ｒｏｔｅｃｔｅｄなバーチャルメソッドのリストを取得する（ステップ４０２）
。次いで、プロセス４００は、このクラスがスーパークラスを有するか否かをチ
ェックする（ステップ４０４）。スーパークラスを有する場合、プロセス４００
はさらに、そのスーパークラスが同一のパッケージ内にあるか否かをチェックす
る（ステップ４０６）。ステップ４０６において、スーパークラスが同一のパッ
ケージ内にある場合は、そのスーパークラスを検出し（ステップ４０８）、その
スーパークラスのバーチャルメソッドおよびトークンを取得する（ステップ４１
２）。バーチャルメソッドのセットは、スーパークラスの全スーパークラスを定
義したものを含む。ステップ４０６において、スーパークラスが同一のパッケー
ジ内に含まれない場合は、プロセス４００は、インポートされたパッケージのエ
クスポートファイル内でスーパークラスを検出し（ステップ４１０）、ステップ
４１２に進む。ステップ４１２からのプロセス４００は、カレントトークン値を
最大のスーパークラスバーチャルメソッドトークンに初期化し、その値を１だけ
増分させる（ステップ４１４）ことによって、階層内でトークンが衝突しないよ
うにする。

【００８０】ステップ４０４において、クラスがスーパークラスを有さない場合、プロセス
４００は、カレントトークン値をゼロに初期化する（ステップ４１６）。ステッ
プ４１４またはステップ４１６からのプロセス４００は、カレントメソッドをリ
スト中の第１のバーチャルメソッドに初期化する（ステップ４１８）。次に、プ
ロセス４００は、カレントメソッドがｎｕｌｌであるか否かを決定する（ステッ
プ４２０）。カレントメソッドｎｕｌｌでない場合、プロセスは、カレンドバー
チャルメソッドがスーパークラスによって定義されるか否かを決定する（ステッ
プ４２２）。カレントメソッドがｎｕｌｌである場合、メソッドはオーバーライ
ドメソッドであり、スーパークラス内のオーバーライドされた元のメソッドに割
り当てられたものと同一のトークン値をカレントメソッドに割り当てた後（ステ
ップ４２４）、ステップ４２０にループバックする。

【００８１】ステップ４２２において、カレントバーチャルメソッドがスーパークラスによ
って定義されない場合、そのメソッドは導入されたメソッドである。この場合の
プロセス４００は、カレントトークン値をカレントメソッドに割り当て（ステッ
プ４２６）、カレントトークン値を１だけ増分させる（ステップ４２８）。プロ
セス４００は、次いで、カレントメソッドをリスト中の次のメソッドに設定した
後（ステップ４３０）、ステップ４２０にループバックする。ステップ４２０に
おいて、カレントメソッドがｎｕｌｌである場合、プロセス４００は、カレント
トークン値が例えば１２７等の所定の値を超えるか否かを決定する（ステップ４
３２）。所定の値を超える場合、プロセス４００は失敗する（ステップ２０５）
。そうでなくてトークン値が１２７以下である場合、プロセス４００は、継承さ
れたメソッドおよびそれらのトークン値とともに、トークン値をエクスポートフ
ァイル内で発行した後（ステップ４３４）、終了する。図２４のプロセスは、図
２５に示すように、ｐａｃｋａｇｅｖｉｓｉｂｌｅクラス内でｐｕｂｌｉｃお
よびｐｒｏｔｅｃｔｅｄなバーチャルメソッドにトークンを割り当てる際にも使
用することができる。

【００８２】図２５には、トークンの割り当てをクラス内のｐａｃｋａｇｅｖｉｓｉｂｌ
ｅバーチャルメソッドに拡張するためのプロセス４４０が示される。プロセス４
４０は、先ず、クラス内のｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッド
のリストを取得する（ステップ４４２）。次いで、そのクラスがスーパークラス
を有するか否かをチェックする（ステップ４４４）。スーパークラスを有する場
合、プロセスはさらに、そのスーパークラスが同一のパッケージ内にあるか否か
をチェックする（ステップ４４６）。同一のパッケージ内にある場合は、その同
一のパッケージからスーパークラスを検出して（ステップ４４８）、そのスーパ
ークラスのｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドおよびトークン
を取得した後（ステップ４５０）、カレントトークン値を、そのスーパークラス
における最大のバーチャルメソッドトークンに１を加えた値に初期化することに
よって（ステップ４５２）、パッケージにスコープされた階層内でトークンが衝
突することを回避する。こうすることによって、スーパークラス内で既に割り当
てられたトークン値が、導入されたメソッドで再使用されないようにする。ここ
で、ステップ４５０は、同一パッケージ内の全スーパークラスに対して再帰的で
あることに注意が必要である。

【００８３】ステップ４４４からは、クラスがスーパークラスを有さない場合に、またはス
テップ４４６からは、スーパークラスが同一のパッケージ内にない場合に、プロ
セス４４０は、カレントトークン値をゼロに設定する（ステップ４５４）。特に
、スーパークラスが同一のパッケージ内にない場合、そのスーパークラスのｐａ
ｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドはアクセス不可能であるので、
ステップ４５４には含まれない。これらの可能なメソッドは、図９Ｄ−２および
９Ｄ−３で述べたように、バーチャルメソッドへの参照をリゾルブする際に説明
される。

【００８４】ステップ４５２またはステップ４５４からのプロセス４４０は、カレントメソ
ッドをリスト中の第１のバーチャルメソッドに初期化する（ステップ４５６）。
次に、プロセス４４０は、カレントメソッドがｎｕｌｌであるか否かを決定する
（ステップ４５８）。カレントメソッドがｎｕｌｌでない場合、プロセス４４０
は、カレンドバーチャルメソッドがスーパークラスによって定義されるか否かを
決定する（ステップ４６０）。この場合のメソッドはオーバーライドメソッドで
ある。カレントメソッドがｎｕｌｌである場合、プロセス４４０は、スーパーク
ラス内のオーバーライドされた元のメソッドに割り当てられたものと同じトーク
ン値をカレントメソッドに割り当てた後（ステップ４６２）、ステップ４５８に
ループバックする。

【００８５】ステップ４６０において、カレントバーチャルメソッドがスーパークラスによ
って定義されない場合、そのメソッドは導入されたメソッドである。この場合の
プロセス４４０は、カレントトークン値をカレントメソッドに割り当てて、ハイ
ビットを１に設定する（ステップ４６４）。バーチャルメソッドトークンのハイ
ビットは、そのバーチャルメソッドトークンがｐｕｂｌｉｃであるかｐｒｉｖａ
ｔｅであるかを決定するために使用される。次に、プロセス４４０は、カレント
トークン値を１だけ増分させ（ステップ４６６）、カレントメソッドをリスト中
の次のメソッドに設定した後（ステップ４６８）、ステップ４５８にループバッ
クする。

【００８６】ステップ４５８においてカレントメソッドがｎｕｌｌである場合、プロセス４
４０は、ステップ４７０において、カレントトークン値が例えば１２７（ハイビ
ットを保持した状態で８ビットで表現可能な最大の値）等の値を超えるか否かを
決定する上述した値を超える場合、プロセス４４０は失敗する（ステップ２０５
）。そうでなくてカレントトークン値が範囲内である場合、プロセス４４０は終
了する。ここで、ｐａｃｋａｇｅｖｉｓｉｂｌｅバーチャルメソッドのための
トークンは、内部で使用されるのであってエクスポートはされないことに注意が
必要である。

【００８７】バーチャルメソッド参照は、実行中にのみリゾルブすることができる。バーチ
ャルメソッドテーブルによって、カードは、どのメソッドを呼び出すかをトーク
ンおよびメソッドクラスのインスタンスに基づいて決定することが可能になる。
トークン値は、バーチャルメソッドテーブルに対するインデックスとして使用さ
れる。図２６は、クラス内でｐｕｂｌｉｃバーチャルメソッドテーブルを構築す
るためのプロセス４８０を示している。先ず、クラス内のｐｕｂｌｉｃおよびｐ
ｒｏｔｅｃｔｅｄなバーチャルメソッドのリストが取得される（ステップ４８２
）。次に、プロセス４８０は、スーパークラスのバーチャルメソッドおよびトー
クンを取得する（ステップ４８４）。ステップ４８４は再帰的であり、このクラ
スの全スーパークラスを含む。次に、プロセス４８０は、テーブルを作成し、ト
ークン値によってバーチャルメソッドを順序付け（ステップ４８６）、重複した
バーチャルメソッドを排除する。重複は、オーバーライドされたメソッドに関し
て生成される。この場合、カレントクラス内で定義されたメソッドが、スーパー
クラス内で定義されたものに代わってメソッドテーブル内で表現される。次いで
、プロセス４８０は、ステップ４８８において、カウントを最大のバーチャルメ
ソッドトークンクラスに設定し、クラスコンポーネント内にテーブルおよびカウ
ントを記録した後（ステップ４９０）、終了する。

【００８８】図２７には、クラス内のｐｕｂｌｉｃバーチャルメソッドテーブルの構築を最
適化するプロセス５００が示される。プロセス５００は、スーパークラス内のバ
ーチャルメソッドテーブルのうち重複するエレメントを除去することによって、
バーチャルメソッドテーブルの格納に必要なサイズを小さくしている。

【００８９】プロセス５００は、先ず、あるクラス内のｐｕｂｌｉｃおよびｐｒｏｔｅｃｔ
ｅｄなバーチャルメソッドのリストを取得する（ステップ５０２）。次に、スー
パークラスのバーチャルメソッドおよびトークンを取得する（ステップ５０４）
。ステップ５０４は再帰的であり、このクラスの全スーパークラスを含む。次に
、プロセス５００は、ステップ５０２および５０４において取得されたバーチャ
ルメソッドを、トークン値によって順序付けることによって、テーブルを初期化
する（ステップ５０６）。このプロセスは、少なくとも１つのエントリを有する
ことを想定している。次に、プロセス５００は、カウントを、最大のバーチャル
メソッドトークンに１を加えた数に初期化する（ステップ５０８）。プロセス５
００は、また、ベースカウントをゼロに設定する（ステップ５１０）。次に、プ
ロセス５００は、カウントが正であるか否かをチェックする（ステップ５１２）
。カウントが正である場合、プロセスは、テーブルの第１のエントリがカレント
クラスによって定義されるか否かをチェックする（ステップ５１４）。カウント
が正でない場合、プロセスは、そのメソッドをテーブルから除去し、残りのメソ
ッドをテーブルの上位へとシフトさせる（ステップ５１８）。次に、プロセス５
００は、カウントを１だけ減分させ（ステップ５２０）、ベースカウントを１だ
け増分させた後（ステップ５２２）、ステップ５１２にループバックする。

【００９０】ステップ５１４において、第１のエントリがカレントクラス内で定義される場
合、またはステップ５１２においてカウントがゼロである場合、プロセス５００
は、そのクラスコンポーネントに、テーブル、カウント、およびベースを記録し
た後（ステップ５１６）、終了する。

【００９１】図２８および図２９は、ｐｕｂｌｉｃインターフェース内でｉｎｔｅｒｆａｃ
ｅメソッドトークンを割り当てるためのプロセス５２４を示す。特に、図２９は
、図２８のステップ５２６をより詳細に示したものである。

【００９２】図２８において、プロセス５２４は、ｐｕｂｌｉｃインターフェース内でｉｎ
ｔｅｒｆａｃｅメソッドトークンを割り当てるものである。プロセス５２４は、
先ず、ｐｕｂｌｉｃインターフェース内のｉｎｔｅｒｆａｃｅメソッドのセット
を取得する。次に、プロセス５２４は、このインターフェースのスーパーインタ
ーフェースのリストを取得する（ステップ５２６）。この動作は、図２９におい
てより詳細に定義されている。プロセス５２４は、次いで、インターフェースお
よびそのスーパーインターフェースによって定義されるメソッドのセットをマー
ジする（ステップ５２７）。次に、プロセス５２４は、２５６を超える数のメソ
ッドが存在するか否かをチェックする（ステップ５２９）。２５６を超える場合
、プロセス５２４は失敗する（ステップ２０５）。そうでなくて２５６以下であ
る場合、プロセス５２４は、カレントトークン値をゼロに設定し（ステップ５３
０）、カレントメソッドをメソッドセット中の第１のメソッドに初期化する（ス
テップ５３２）。次に、プロセス５２４は、カレントメソッドがｎｕｌｌである
か否かを決定する（ステップ５３３）。カレンドメソッドがｎｕｌｌでない場合
、プロセス５２４は、カレントトークン値をカレントインターフェースメソッド
に割り当てて（ステップ５３４）、カレントトークン値を１だけ増分させた後（
ステップ５３５）、カレントメソッドをセット中の次のメソッドに設定し（ステ
ップ５３６）、ステップ５３３にループバックする。

【００９３】ステップ５３３からのプロセス５２４は、カレントメソッドがｎｕｌｌである
場合に、インターフェースに関連付けられたスーパーインターフェースのリスト
と、メソッドトークン値とを、エクスポートファイル内で発行して（ステップ５
３７）終了する。

【００９４】図２９には、図２８のステップ５２６によるプロセスがより詳細に示されてい
る。図２９のプロセスでは、先ず、インターフェースを選択する（ステップ６８
２）。次に、このインターフェースによって継承されたインターフェースのリス
トを取得し（ステップ６８４）、カレントインターフェースをリスト中の第１の
インターフェースに設定する（ステップ６８６）。図２９のプロセスは、次に、
結果セットを空のセットに初期化する（ステップ６８８）。図２９のプロセスは
、ステップ６８８からは、インターフェースを結果セットに繰り返し加えていく
。これは、カレントインターフェースがｎｕｌｌであるか否かをチェックするこ
とによって完了する（ステップ６９０）。カレントインターフェースがｎｕｌｌ
であることは、すなわち、処理するべきインターフェースがもう存在しないこと
を示す。次に、プロセスは、カレントインターフェースのスーパーインターフェ
ースのセットを取得する（ステップ６９２）。ステップ６９２は、ステップ５２
６のプロセスを再帰的に呼び出す。

【００９５】ステップ６９２を完了するに当たり、図２９のプロセスは、スーパーインター
フェースのセットを結果セットに追加し（ステップ６９４）、カレントインター
フェースを結果セットに追加する（ステップ６９６）。プロセスは、次に、カレ
ントインターフェースを次のインターフェースに設定し（ステップ６９８）、ス
テップ６９０にループバックした後、全インターフェースの処理を続行する。ス
テップ６９０からの図２９のプロセスは、カレントインターフェースがｎｕｌｌ
である場合に、結果セットを戻して終了する。

【００９６】インターフェーステーブルは、クラスによって直接実装される各インターフェ
ースおよび直接実装されるこれらインターフェースの全スーパーインターフェー
スのためのエントリを含む。インターフェーステーブル内の各エントリは、イン
ターフェースの識別と、インターフェースメソッドテーブルとを含む。テーブル
は、インターフェースメソッド宣言を、クラス内での実装に対してマップする。

【００９７】図３０および図３１は、クラスのインターフェーステーブルを構築するための
プロセス７００を示している。特に、図３1は、図３０のステップ７０８をより
詳細に示したものである。

【００９８】図３０には、インターフェーステーブルを構築するためのプロセス７００が示
されている。先ず、プロセス７００は、カレントクラスによって実装される、ス
ーパーインターフェースを含む（ステップ５２６を参照）インターフェースのリ
ストを取得する（ステップ７０２）。次に、プロセス７００は、カレントインタ
ーフェースをこのセット中の第１のインターフェースに設定する（ステップ７０
４）。プロセス７００は、次いで、カレントインターフェースがｎｕｌｌである
か否かをチェックする。カレントインターフェースがｎｕｌｌであることは、す
なわち、カレントインターフェースが終わったことを示す。カレントインターフ
ェースがｎｕｌｌでない場合、プロセス７００は、図３1で詳細に示すように、
カレントインターフェースのためのインターフェースメソッドテーブルを、この
クラスのために構築する（ステップ７０８）。次に、プロセス７００は、カレン
トインターフェースを次のインターフェースに設定した後（ステップ７１０）、
ステップ７０６にループバックする。

【００９９】ステップ７０６からのプロセス７００は、カレントインターフェースがｎｕｌ
ｌである場合に、クラスコンポーネント内のインターフェースメソッドテーブル
とともにインターフェースを記録した後（ステップ７１２）、終了する。

【０１００】図３1には、ステップ７０８によるプロセスがより詳細に示される。このプロ
セスは、先ず、クラスのためのバーチャルメソッドテーブルを取得し（ステップ
７２２）、継承されたメソッドを含む、インターフェースメソッドおよびそのイ
ンターフェースのためのトークンを取得する（ステップ７２４）。次に、図３1
のプロセスは、トークン値によってメソッドを順序付けることによって、インタ
ーフェースメソッドテーブルを初期化する（ステップ７２６）。次に、プロセス
は、カレントメソッドをインターフェースメソッドテーブル中の第１のメソッド
に設定する（ステップ７２８）。プロセス７２８からのプロセスは、カレントメ
ソッドがｎｕｌｌであるか否かをチェックする（ステップ７３０）。カレントメ
ソッドがｎｕｌｌであることは、すなわち、カレントメソッドが終わったことを
示す。カレントメソッドがｎｕｌｌでない場合、図３1のプロセスは、バーチャ
ルメソッドテーブル内でインターフェースメソッドの実装を検出する（ステップ
７３２）。次に、プロセスは、バーチャルメソッドのトークン値を、インターフ
ェースメソッドテーブル内のカレントメソッドの位置に記録する（ステップ７３
４）。次いで、カレントメソッドをカレントインターフェース中の次のメソッド
に設定した後（ステップ７３６）、ステップ７３０にループバックする。ステッ
プ７３０では、カレントメソッドがｎｕｌｌである場合に、図３1のプロセスを
終了する。

【０１０１】続く図３２〜９Ｃでは、実行中におけるエレメントのダイナミックバインディ
ング（動的束縛）を説明する。これらの図は、ダイナミックエレメントへの参照
のリゾリューションを示したものである。コンパイル、変換、およびトークンの
割り当て時においては、インスタンスフィールド、バーチャルメソッド、および
インターフェースメソッドへの参照を、特定の実装にリゾルブすることはできず
、そのアイテムのａｂｓｔｒａｃｔディスクリプションにリゾルブすることしか
できない。

【０１０２】インスタンスフィールドの場合は、クラス定義のスコープ内でトークンが割り
当てられる。クラスのインスタンスは、そのクラスによって定義されるフィール
ドだけでなく、そのクラスの全スーパークラスによって定義されるフィールドも
全て含む。トークンは、インスタンス内におけるフィールドのロケーションを示
すものではない。これは、トークンが、インスタンスの特定のレイアウトを反映
することも、スーパークラスによって定義されたｐｒｉｖａｔｅおよびｐａｃｋ
ａｇｅｖｉｓｉｂｌｅなフィールドのロケーションを説明することもできない
ためである。

【０１０３】バーチャルメソッドの場合は、コンパイル時および変換時において、名前およ
び型シグネチャ、ならびにこのようなメソッドを実装する階層内のクラスが既知
である。しかしながら、厳密な実装は、実行時、すなわちメソッドが呼び出され
るインスタンスの特定のクラスを決定することが可能になる時まで知ることはで
きない。例えば、クラスＡおよびそのスーパークラスＢが、ともにメソッド定義
Ｍを実装するとする。この場合、コンパイルタイム型Ｂのインスタンス上にメソ
ッドＭを呼び出した結果、クラスＡまたはクラスＢの実装の実行が引き起こされ
るか否かは、実行時まで知ることはできない。

【０１０４】実行中において、バーチャルメソッドの呼び出しを適切にディスパッチする手
段を提供するため、バーチャルメソッドトークンの割り当てを、クラス階層内に
スコープして行う。すなわち、スーパークラス継承チェーンに事前に導入された
メソッドをオーバーライドするサブクラスのメソッドは、オーバーライドされる
元のメソッドと同じトークン値を有さなければならない。また、導入されたメソ
ッド（スーパークラス内で定義されたメソッドをオーバーライドするのではない
メソッド）は、継承チェーン内で固有のトークン値を有さなければならない。各
クラスに対してバーチャルメソッドテーブルを定義することによって、バーチャ
ルメソッドトークンを特定の実装へとマッピングするための手段が提供される。

【０１０５】インターフェースメソッドは、特定の実装を実行時まで知ることができないと
いう点において、バーチャルメソッドと類似しているが、複数のインターフェー
スから継承可能であるという点が異なる。インターフェースの多重継承は、バー
チャルメソッドトークンの割り当て方に関して問題を生じる。複数の定義は全て
異なる値を有し得るので、２つ以上のインターフェースに導入されたメソッドを
オーバーライドするクラスメソッドは、オーバーライドされた元のメソッドと同
じトークン値を必ずしも有する必要はない。したがって、特定のインターフェー
スに対する各メソッドセットは、他のインターフェースのメソッドのトークン値
に関係なくトークン値を割り当てられる。

【０１０６】インターフェース間ではトークン値を共有しないので、インターフェースメソ
ッドの呼び出しを特定のメソッドの実装へとディスパッチするためには、追加情
報が必要になる。インターフェースメソッドトークンは、１つのインターフェー
スのスコープ内において固有であるので、インターフェースメソッドトークンお
よびインターフェース識別は、ともに、実行時にインスタンスのクラスによって
実装されるメソッドを決定するために必要である。各クラスに関して、インター
フェース識別をインターフェースメソッドテーブルに対してマップするインター
フェーステーブルが定義される。インターフェースメソッドテーブルは、そのイ
ンターフェースのためのインターフェースメソッドトークンを、そのクラスにお
けるメソッドの実装に対してマップする。

【０１０７】図３２〜図３６は、実行中にトークンをリゾルブするためのプロセスを示した
フローチャートである。図３２には、インスタンスフィールドをリゾルブするた
めのプロセス５８０が示される。先ず、プロセス５８０は、フィールドを含むイ
ンスタンスをランタイムスタックから取得する（ステップ５８２）。次に、プロ
セス５８０は、そのフィールドに関連付けられたトークンを決定し、そのトーク
ンをインデックスに対してマップする（ステップ５８４）。インデックスに対す
るトークンのマッピングでは、インスタンスフィールド型情報の検査が必要とさ
れる。この動作は、さらに、スーパークラスのインスタンスのサイズによってト
ークン値を調整する必要もある。最後に、プロセス５８０は、インデックスを使
用してインスタンス内でフィールドの表現を検出した後（ステップ５８６）、終
了する。

【０１０８】図３３には、ｐｕｂｌｉｃまたはｐｒｏｔｅｃｔｅｄなバーチャルメソッドへ
の参照をリゾルブするためのプロセス６２０が示される。先ず、プロセス６２０
は、あるクラスのインスタンスをランタイムスタックから取得し（ステップ６２
１）、そのインスタンスのクラスを決定する（ステップ６２２）。次に、プロセ
ス６２０は、そのクラスのｐｕｂｌｉｃバーチャルメソッドテーブルにアクセス
し（ステップ６２４）、メソッドトークンをインデックスとして使用して、メソ
ッドテーブルエントリを取得する（ステップ６２６）。最後に、プロセス６２０
は、エントリのコンテンツに基づいて、バーチャルメソッドテーブル内でメソッ
ドを検出および実行した後（ステップ６２８）、終了する。

【０１０９】図３４には、任意のバーチャルメソッド（ｐａｃｋａｇｅｖｉｓｉｂｌｅの
ものを含む）への参照をリゾルブするためのプロセス６００が示される。先ず、
プロセス６００は、あるクラスのインスタンスをランタイムスタックから取得し
（ステップ６０１）、そのインスタンスのクラスを決定する（ステップ６０２）
。次に、プロセス６００は、メソッドトークンのハイビットが１に設定されてい
るか否かを決定する（ステップ６０４）。１に設定されていない場合、プロセス
６００は、ｐｕｂｌｉｃバーチャルメソッドテーブルを取得し（ステップ６０６
）、バーチャルメソッドテーブルへのインデックスとしてメソッドトークンを使
用する（ステップ６０８）。ステップ６０４からのプロセス６００では、メソッ
ドトークンのハイビットが１に等しい場合に、ハイビットをゼロに設定し（ステ
ップ６１０）、ｐａｃｋａｇｅバーチャルメソッドテーブルを取得した後（ステ
ップ６１２）、ステップ６０８に進む。最後に、プロセス６００は、エントリの
コンテンツに基づいて、バーチャルメソッドテーブル内でメソッドを検出および
実行した後（ステップ６１４）、終了する。

【０１１０】図３５には、図２７で説明した最適化されたバーチャルメソッドテーブルを使
用し、任意のバーチャルメソッドへの参照をリゾルブするための、最適化された
プロセス６７０が示される。先ず、プロセス６７０は、あるクラスのインスタン
スをランタイムスタックから取得し（ステップ６７１）、カレントクラスを、そ
のインスタンスのクラスになるように設定する（ステップ６７２）。メソッドテ
ーブルインデックスは、メソッドトークン値に初期化される（ステップ６７４）
。次に、プロセス６７０は、メソッドトークンのハイビットが１に等しいか否か
を決定する（ステップ６７６）。ハイビットが１でない場合、プロセス６７０は
、ベース値を、カレントクラスのｐｕｂｌｉｃメソッドテーブルのベースに設定
する（ステップ６７８）。次に、メソッドテーブルを、カレントクラスのｐｕｂ
ｌｉｃバーチャルメソッドテーブルに設定する（ステップ６８０）。次に、プロ
セス６７０は、メソッドテーブルインデックスがベース値未満であるか否かを決
定し（ステップ６８２）、もしベース値未満である場合は、カレントクラスを、
そのカレントクラスのスーパークラスになるように設定する（ステップ６８４）
。プロセス６７０は、ステップ６８４からステップ６７６にループバックして処
理を続行する。

【０１１１】ステップ６７６において、ハイビットが１に等しい場合、プロセス６７０は、
メソッドテーブルインデックスのハイビットをゼロに設定する（ステップ６９０
）。プロセスは、さらに、ベース値をカレントクラスのｐａｃｋａｇｅメソッド
テーブルベースに設定し（ステップ６９２）、メソッドテーブルをカレントクラ
スのｐａｃｋａｇｅメソッドテーブルに設定した後（ステップ６９４）、ステッ
プ６８２へと続く。

【０１１２】ステップ６８２において、メソッドテーブルインデックスがベースより大きい
場合、プロセス６７０は、メソッドテーブルインデックスにベース値を加えたも
のを使用することによって、メソッドテーブルエントリを取得する（ステップ６
８６）。次に、プロセス６７０は、エントリのコンテンツに基づいて、カレント
クラスのメソッドテーブル内でメソッドを検出する（ステップ６８８）。続いて
、プロセス６７０は終了する。

【０１１３】図３６には、インターフェースメソッド参照をリゾルブするためのプロセス６
５０が示される。先ず、プロセス６５０は、あるクラスのインスタンスをランタ
イムスタックから取得し（ステップ６５１）、カレントクラスを、そのインスタ
ンスのクラスに設定する（ステップ６５２）。次に、プロセス６５０は、カレン
トクラスのインターフェーステーブル内で、所定のインターフェースをサーチす
る（ステップ６５４）。次に、プロセスは、インターフェースが検出されたか否
かを決定する（ステップ６５６）。検出されていない場合は、カレントクラスを
カレントクラスのスーパークラスに設定した後（ステップ６６０）、ステップ６
５４にループバックする。

【０１１４】ステップ６５６において、所定のインターフェースが検出された場合、プロセ
ス６５０は、カレントクラス内の対応するインターフェースメソッドテーブルを
取得する（ステップ６６２）。次に、テーブル内のエントリから、インデックス
がインターフェースメソッドトークンに等しいバーチャルメソッドトークンを取
得する（ステップ６６４）。次に、プロセス６５０は、このインスタンスのクラ
スのｐｕｂｌｉｃバーチャルメソッドテーブルを取得する（ステップ６６６）。
プロセス６５０は、テーブル内のエントリから、バーチャルメソッドトークンに
関連付けられたバーチャルメソッドロケーションを取得する（ステップ６６８）
。次に、プロセス６５０は、エントリのコンテンツに基づいて、バーチャルメソ
ッドテーブル内でメソッドを検出する（ステップ６６９）。こうしてプロセス６
５０は終了する。

【０１１５】以上では、スマートカードの実装に関連して本発明を説明したが、本発明は、
メモリ、計算力、または計算速度が限られたデバイスなどの、フットプリントが
小さい他のデバイスにも適用される。リソースが限られたこのようなデバイスと
しては、境界スキャンデバイス、フィールドプログラマブルデバイス、ポケット
ベル、および携帯電話等を含むことができる。本発明は、オブジェクトを共有す
るサーブレットを使用する場合に有利であることがわかる。また、特定のデスク
トップシステムにおいて本発明の技術を利用しても良い。

【０１１６】本発明は、また、これらの動作を実行するための装置に関する。この装置は、
必要な目的に応じて構築されても良いし、コンピュータに格納されたコンピュー
タプログラムによって選択的にアクティベイトまたは再構成される汎用コンピュ
ータであっても良い。ここで開示した手続きは、特定のコンピュータまたはその
他の装置のみに関連するものではない。ここで開示された内容にしたがって書か
れたプログラムとともに、様々な汎用マシンを使用しても良いし、必要なステッ
プを実行するために、より特殊化された装置を構築する方が好都合な場合もある
。これらの様々なマシンで必要とされる構造に関しては、本明細書の説明から知
ることができる。さらに、本発明に一致したバーチャルマシンが、『Java（登録
商標）Virtual Machine Specification（Ｊａｖａ（登録商標）バーチャルマシ
ン仕様）』に記述されたバーチャルマシン等の従来のバーチャルマシンを超える
機能を提供できることがわかる。

【０１１７】本発明には、Ｊａｖａ（登録商標）プログラミング言語およびプラットフォー
ムが適しているが、一定の特徴を有したあらゆる言語またはプラットフォームが
本発明の実現に適している。上述した特徴は、型の安全性、ポインタの安全性、
オブジェクト指向性、ダイナミックリンクであること、そしてバーチャルマシン
ベースであることを含む。特定の実装にこれら全ての特徴が現われる必要はない
。実施形態によっては、これらの特徴のうち１つまたはそれ以上の特徴を欠く言
語またはプラットフォームを利用しても良い。「バーチャルマシン」は、ビット
（バーチャルマシン）またはシリコン（リアル／物理マシン／特注集積回路）の
いずれで実装することも可能である。また、以上では、オブジェクト単位のセキ
ュリティを示す形で本発明を説明したが、クラス単位のセキュリティ等の他のア
プローチを利用することもできる。

【０１１８】本発明のシステムは、ハードウェアまたはコンピュータプログラム内で実装さ
れても良い。各コンピュータプログラムを、汎用または特殊目的のプログラマブ
ルなコンピュータによって読み出し可能なストレージメディアまたはデバイス（
例えば、ＣＤ−ＲＯＭ、ハードディスク、または磁気ディスケット）に格納する
ことによって、このストレージメディアまたはデバイスが、ここで開示した手続
きを実行する目的でコンピュータによって読み出された際に、コンピュータを構
成して動作させることが可能になる。また、コンピュータプログラムとともに構
成されたコンピュータ読み出し可能ストレージメディアとして、システムを実装
しても良い。このように構成されたストレージメディアは、コンピュータを、事
前に定義された特殊な方法で動作させる。

【０１１９】ここで言うプログラムとは、一般に、所望の結果を導く首尾一貫した一連のス
テップだと考えられる。これらのステップは、物理量の物理的操作を必要とする
。これらの量は、必然ではないものの、格納、転送、結合、比較、およびその他
の操作が可能な電気または磁気信号の形態をとるのが通常である。これらの信号
は、主に共通利用の理由から、ビット、値、エレメント、シンボル、文字、用語
、番号等々として引用されると好都合である。しかしながら、これらおよび類似
の用語は、適切な物理量に関連付けられるべきものであって、これらの物理量に
適用された便利なラベルに過ぎないことに、注意する必要がある。

【０１２０】以上では、実施形態に関連させて本発明の説明を行ったが、当業者ならば、添
付した特許請求の範囲の趣旨および範囲から逸脱しない範囲内で、形態および詳
細に関する上述したおよびその他の変更が可能であることを、理解することがで
きる。

【０１２１】その他の実施形態は、添付した特許請求の範囲の範囲に含まれる。

【図面の簡単な説明】

【図１】ハードウェアプラットフォームに依存しないコードのスマートカードへの変換
とロードを示す図。

【図２】図１のスマートカードと通信するコンピュータシステムを示す図。

【図３】パッケージ間の依存を示す図。

【図４】２つの変換器の動作を示す図。

【図５】２つの変換器の動作を示す図。

【図６】２つのパッケージとｓｔａｔｉｃ参照を決定するためのパッケージレジストリ
を示す図。

【図７】図６のパッケージに関するリンクプロセスを示すフローチャート。

【図８】様々なクラス、フィールド、メソッドの参照を示す図。

【図９】様々なクラス、フィールド、メソッドの参照を示す図。

【図１０】様々なクラス、フィールド、メソッドの参照を示す図。

【図１１】様々なクラス、フィールド、メソッドの参照を示す図。

【図１２】様々なクラス、フィールド、メソッドの参照を示す図。

【図１３】様々なクラス、フィールド、メソッドの参照を示す図。

【図１４】様々なクラス、フィールド、メソッドの参照を示す図。

【図１５】様々なクラス、フィールド、メソッドの参照を示す図。

【図１６】様々なクラス、フィールド、メソッドの参照を示す図。

【図１７】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図１８】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図１９】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２０】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２１】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２２】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２３】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２４】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２５】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２６】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２７】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２８】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図２９】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図３０】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図３１】トークンと割り当て、テーブルをサポートするプロセスを示すフローチャート
。

【図３２】インスタンスフィールドおよびメソッドに対してトークンを決定するプロセス
を示すフローチャート。

【図３３】インスタンスフィールドおよびメソッドに対してトークンを決定するプロセス
を示すフローチャート。

【図３４】インスタンスフィールドおよびメソッドに対してトークンを決定するプロセス
を示すフローチャート。

【図３５】インスタンスフィールドおよびメソッドに対してトークンを決定するプロセス
を示すフローチャート。

【図３６】インスタンスフィールドおよびメソッドに対してトークンを決定するプロセス
を示すフローチャート。

【符号の説明】

９…バーチャルマシン１０…クラスファイル１２…エクスポートファイル１４…コンバータ１６…変換アプレットファイル１７…コンピュータ読み取り可能な媒体１８…定数プールコンポーネント２０…メソッドコンポーネント２２…ターミナル２４…カードアクセプタンスデバイス２６…インストレーションツール４０…スマートカード４２…入出力４４…コントローラ４５…ネットワーク４６…インストレーションツール４８…マイクロプロセッサ４９…Ｊａｖａカードバーチャルマシン５０…Ｊａｖａ言語フレームワーク５２…ＲＯＭ５２…Ｊａｖａカードフレームワーク５４…ＥＥＰＲＯＭ５４…カスタムフレームワーク５６…アプレット１５８…アプレット２５９…ＲＡＭ６０…アプレット３７０…クラスファイル７２…コンバータ７４…ＣＡＰファイル７８…定数プール７８…エクスポートコンポーネント８０…エクスポートファイル８０…メソッドコンポーネント８２…エクスポートコンポーネント８４…トークン値８６…プログラムエレメントリンク情報９０…記号名９２…トークン値９２…クラスファイル９４…クラスファイル９４…エクスポートファイル９７…コンバータ１００…ＣＡＰファイル１０２…ヘッダコンポーネント１０４…インポートコンポーネント１０４…インポートコンポーネント１０６…マッピング１０８…定数プール１０８…定数プール１１０…クラス参照１１２…メソッド参照１１４…ｓｔａｔｉｃフィールド参照１２０…パッケージレジストリ１４０…リンクプロセス１７４…Ｐ１のイメージ１７６…ヘッダコンポーネント１７８…定数プール１８０…メソッドコンポーネント１８０…外部クラス参照１８２…エクスポートコンポーネント１８２…外部フィールド参照１８４…外部メソッド参照１８５…トークンのリスト１８６…内部クラス参照１８８…ｓｔａｔｉｃフィールド参照１９０…ｓｔａｔｉｃメソッド参照１９２…インスタンスフィールド参照１９４…バーチャルメソッド参照１９６…バーチャルメソッド参照２００…Ｐ２のイメージ２０２…ヘッダコンポーネント２０４…インポートコンポーネント２０８…定数プール２１６…メソッドコンポーネント

───────────────────────────────────────────────────── フロントページの続き (81)指定国ＥＰ(ＡＴ，ＢＥ，ＣＨ，ＣＹ，ＤＥ，ＤＫ，ＥＳ，ＦＩ，ＦＲ，ＧＢ，ＧＲ，ＩＥ，ＩＴ，ＬＵ，ＭＣ，ＮＬ，ＰＴ，ＳＥ)，ＯＡ(ＢＦ，ＢＪ，ＣＦ，ＣＧ，ＣＩ，ＣＭ，ＧＡ，ＧＮ，ＧＷ，ＭＬ，ＭＲ，ＮＥ，ＳＮ，ＴＤ，ＴＧ)，ＡＰ(ＧＨ，ＧＭ，ＫＥ，ＬＳ，ＭＷ，ＳＤ，ＳＬ，ＳＺ，ＴＺ，ＵＧ，ＺＷ )，ＥＡ(ＡＭ，ＡＺ，ＢＹ，ＫＧ，ＫＺ，ＭＤ，ＲＵ，ＴＪ，ＴＭ)，ＡＥ，ＡＬ，ＡＭ，ＡＴ，ＡＵ，ＡＺ，ＢＡ，ＢＢ，ＢＧ，ＢＲ，ＢＹ，ＣＡ，ＣＨ，ＣＮ，ＣＲ，ＣＵ，ＣＺ，ＤＥ，ＤＫ，ＤＭ，ＥＥ，ＥＳ，ＦＩ，ＧＢ，ＧＤ，ＧＥ，ＧＨ，ＧＭ，ＨＲ，ＨＵ，ＩＤ，ＩＬ，ＩＮ，ＩＳ，ＪＰ，ＫＥ，ＫＧ，ＫＰ，ＫＲ，ＫＺ，ＬＣ，ＬＫ，ＬＲ，ＬＳ，ＬＴ，ＬＵ，ＬＶ，ＭＡ，ＭＤ，ＭＧ，ＭＫ，ＭＮ，ＭＷ，ＭＸ，ＮＯ，ＮＺ，ＰＬ，ＰＴ，ＲＯ，ＲＵ，ＳＤ，ＳＥ，ＳＧ，ＳＩ，ＳＫ，ＳＬ，ＴＪ，ＴＭ，ＴＲ，ＴＴ，ＴＺ，ＵＡ，ＵＧ，ＵＺ，ＶＮ，ＹＵ，ＺＡ，ＺＷ (72)発明者シュワーベ・ジュディス・イー．アメリカ合衆国カリフォルニア州94401 サン・マテオ，＃2708，イースト・サード・アベニュー，1600 (72)発明者ササー・ジョシュア・ビー．アメリカ合衆国カリフォルニア州94114 サン・フランシスコ，ドーランド・ストリート，216 Ｆターム(参考） 5B035 AA01 BB09 CA11 5B076 BA00 BA01 BA10 BB11 BB17

Claims

【特許請求の範囲】

【請求項１】少なくとも１つの参照可能なアイテムを持つ少なくとも１つ
のパッケージに分割可能なコードをリソースの限られたコンピュータにダウンロ
ードするための方法であって、前記パッケージを形成するステップと、対応するトークンに対する前記参照可能なアイテムのマッピングを形成するス
テップと、前記パッケージと前記マッピングを提供するステップと、を含む、方法。
【請求項２】請求項１の方法であって、前記マッピングのステップはさら
に、１つまたは複数のトークン型を生成するステップを含み、１つのトークン型
はパッケージ、クラス、ｓｔａｔｉｃフィールド、ｓｔａｔｉｃメソッド、イン
スタンスフィールド、バーチャルメソッドの１つに関連する内部トークン型であ
る、方法。
【請求項３】請求項１の方法であって、前記マッピングのステップはさら
に、１つまたは複数のトークン型を生成するステップを含み、１つのトークン型
はインスタンスフィールド、バーチャルメソッド、インターフェースメソッドの
１つに関連する外部トークン型である、方法。
【請求項４】前記いずれかの請求項に記載の方法であって、前記パッケー
ジは１つまたは複数の参照型を含む、方法。
【請求項５】請求項４の方法であって、前記参照型の１つは以下のグルー
プから選択される、方法。インポートされたクラスのためのクラス参照、インポートされたフィールドのためのフィールド参照、インポートされたメソッドのためのメソッド参照、内部クラスのためのクラス参照、内部フィールドのためのｓｔａｔｉｃフィールド参照、内部メソッドのためのｓｔａｔｉｃメソッド参照、内部フィールドのためのインスタンスフィールド参照、バーチャルメソッド参照、ｐａｃｋａｇｅｖｉｓｉｂｌｅメソッドへのバーチャルメソッド参照。
【請求項６】前記いずれかの請求項に記載の方法であってさらに、パッケ
ージトークン、クラストークン、インターフェーストークン、ｓｔａｔｉｃフィ
ールドトークン、ｓｔａｔｉｃメソッドトークン、インスタンスフィールドトー
クン、ｐｕｂｌｉｃバーチャルメソッドトークン、インターフェースメソッドト
ークンの１つを割り当てるステップを含む、方法。
【請求項７】請求項６の方法であって、ｓｔａｔｉｃフィールドトークン
はコンスタントに割り当てられない、方法。
【請求項８】請求項６の方法であって、前記割り当てられたトークンはフ
ィールドトークンであり、前記方法はさらに、クラスのインスタンスフィールド
のリストを決定するステップと、前記リストを１つもしくは複数のカテゴリに分
類するステップとを含む、方法。
【請求項９】請求項８の方法であって、前記リストは複数のカテゴリに分
類され、少なくとも２つの前記カテゴリは以下のグループから選択される、方法
。ｐｒｉｖａｔｅ、ｐｒｏｔｅｃｔｅｄプリミティブ型、ｐｒｏｔｅｃｔｅｄ参
照型、パッケージ、ｐｒｉｖａｔｅ参照型、ｐｒｉｖａｔｅプリミティブ型。
【請求項１０】請求項１の方法であってさらに、クラスインターフェース
用のインターフェーステーブルとインターフェースメソッドテーブルの１つを構
築するステップを含む、方法。
【請求項１１】請求項１の方法であってさらに、少なくとも１つのメタデ
ータと１つまたは複数のトークンを含むエクスポートファイルを含む、方法。
【請求項１２】請求項１の方法であって、前記参照可能なアイテムはメタ
データによって記述され、前記メタデータはパッケージ、クラス、フィールド、
メソッドの１つに関連する、方法。
【請求項１３】請求項１の方法であって、前記パッケージは、１つまたは複数のアイテムを参照する実行可能なコンポーネントと、前記１つまたは複数のアイテムへの参照をリゾルブするためのエクスポートコ
ンポーネントと、を含む、方法。
【請求項１４】ＣＡＰファイルを生成するための方法であって、少なくとも１つはクラスに属する１つまたは複数の前記ＣＡＰファイル内のア
イテムへの参照をリゾルブするステップと、前記ＣＡＰファイルに関するエクスポートコンポーネントを生成するステップ
と、前記クラスのためのインターフェーステーブルを構築するステップと、を含む、方法。
【請求項１５】請求項５０の方法であって、前記テーブルはバーチャルメ
ソッド、インターフェース、フィールドの１つに関する情報を含む、方法。
【請求項１６】少なくとも１つの外部アイテムへの参照を持つ少なくとも
１つのパッケージに分割可能であり、リソースの限られたコンピュータにダウン
ロードされたコードをリンクするための方法であって、前記パッケージを受け取るステップと、トークンへの前記参照可能なアイテムの前記対応する参照されたアイテムに対
するマッピングを受け取るステップと、前記マッピングを用いて前記パッケージをリンクするステップと、を含む、方法。
【請求項１７】スマートカードであって、プロセッサと、前記プロセッサに接続されたメモリと、前記プロセッサに接続され、トークンを用いて第２のパッケージ内のアイテム
を参照するバイトコードを含む第１のパッケージをダウンロードすることが可能
であるインターフェースと、前記アイテムへの前記参照をリゾルブし、前記第１および第２のパッケージの
前記バイトコードをリンクするために、前記メモリに記憶されたインストーラと
、前記リンクされたバイトコードを実行するためのバーチャルマシンと、を備える、スマートカード。
【請求項１８】リソースの限られたデバイスであって、プロセッサと、前記プロセッサに接続され、トークンを用いて第２のパッケージ内のアイテム
を参照するコードを含む第１のパッケージをダウンロードすることが可能である
メモリデバイスと、前記トークンを用いて前記アイテムへの前記参照をリゾルブし、前記第１およ
び第２のパッケージの前記コードをリンクするためのインストーラと、前記リンクされたコードを実行するためのバーチャルマシンと、を備える、デバイス。
【請求項１９】請求項１７または１８のスマートカードであって、前記ア
イテムはテーブルに示されたクラスインターフェースを用いて参照される、スマ
ートカード。
【請求項２０】請求項１７〜１９いずれか記載のスマートカードであって
、前記アイテムはメソッドである、スマートカード。
【請求項２１】請求項１７〜２０いずれか記載のスマートカードであって
さらに、前記プロセッサによって実行されるオペレーティングシステムを備える
、スマートカード。
【請求項２２】請求項１７〜２１いずれか記載のスマートカードであって
、前記パッケージはライブラリとアプレットの１つである、スマートカード。
【請求項２３】請求項１７または１８のスマートカードであってさらに、
リモートプロセッサ上で動作し、前記インターフェースを通しての伝送に適合し
た１つまたは複数のパッケージにアプレットを変換するコンバータを備える、ス
マートカード。
【請求項２４】１つまたは複数の参照可能なアイテムを持つ１つまたは複
数のパッケージに分割可能であり、リソースの限られたコンピュータにダウンロ
ードされたアーキテクチャニュートラルなコードをリンクするための方法であっ
て、対応する１つまたは複数のトークンに前記１つまたは複数の参照可能なアイテ
ムをマッピングするステップと、ランタイムモードに該当する前記トークンを配列するステップと、前記パッケージを前記リソースの限られたコンピュータにダウンロードするス
テップと、前記配列されたトークンを用いて前記パッケージを実行可能なコードにリンク
するステップと、を含む、方法。
【請求項２５】請求項２４の方法であって、さらに、遠隔のコンピュータに記憶されたエクスポートファイル内に前記マッピングを
記述するステップと、前記エクスポートファイルに基づき、前記遠隔のコンピュータ上で前記パッケ
ージを生成するステップと、を含む、方法。
【請求項２６】請求項２５の方法であって、さらに、各パッケージにトー
クンを割り当てるステップを含む、方法。
【請求項２７】請求項２５の方法であって、さらに、１つまたは複数のｐ
ｒｉｖａｔｅインターフェースクラスとインターフェースに対してトークンを割
り当てるステップを含む、方法。
【請求項２８】請求項２７の方法であって、さらに、各々のｐｕｂｌｉｃ
ｓｔａｔｉｃフィールド、ｓｔａｔｉｃメソッド、インスタンスフィールド、
バーチャルメソッド、インターフェースメソッドに対してトークンを割り当てる
ステップを含む、方法。
【請求項２９】請求項２５の方法であって、さらに、前記エクスポートフ
ァイル内で前記トークンを発行するステップを含む、方法。
【請求項３０】請求項２７の方法であって、さらに、インプリメンテーシ
ョンメソッドトークンに対してインターフェースメソッドトークンをマッピング
するステップを含む、方法。
【請求項３１】請求項３０の方法であって、前記アイテムはクラスインタ
ーフェースであり、さらに、前記クラスに実装された各インターフェースのため
のインターフェースメソッドのリストを生成するステップを含む、方法。
【請求項３２】請求項３１の方法であって、さらに、前記クラスもしくはスーパークラス内でのメソッドの実装を位置指定するステ
ップと、前記メソッドに関するトークンを取得するステップと、前記インプリメンテーションメソッドと前記インターフェースメソッドトーク
ンを関連付けるステップと、を含む、方法。
【請求項３３】請求項２５の方法であって、前記生成ステップは、さらに
、クラスファイルと前記エクスポートファイルをダウンロード可能なファイルに
変換するステップを含み、前記ダウンロードファイルは変換されたアプレットフ
ァイルとライブラリファイルの１つである、方法。
【請求項３４】請求項３３の方法であって、さらに、前記パッケージをイ
ンストールするステップを含む、方法。
【請求項３５】請求項２４の方法であって、前記リンクステップは前記ダ
ウンロードステップ中に実行される、方法。
【請求項３６】請求項３５の方法であって、前記リンクステップは部分リ
ンクステップを含む、方法。
【請求項３７】請求項２４の方法であって、前記リンクステップは１つの
連続的な動作で実行される、方法。
【請求項３８】請求項２４の方法であって、さらに、前記ランタイムモー
ドで前記実行可能なコードを実行するステップを含む、方法。
【請求項３９】請求項３８の方法であって、前記リンクステップは前記実
行前に実行される、方法。
【請求項４０】請求項３８の方法であって、前記実行ステップと前記リン
クステップは同時に実行される、方法。
【請求項４１】１つまたは複数の参照可能なアイテムを持つ１つまたは複
数のパッケージに分割可能であり、リソースの限られたコンピュータにダウンロ
ードされたアーキテクチャニュートラルなコードをリンクするための命令を運ぶ
搬送波であって、以下の命令を含む搬送波。対応する１つまたは複数のトークンに前記１つまたは複数の参照可能なアイテ
ムをマッピングする命令と、ランタイムモードに該当する前記トークンを配列する命令と、前記パッケージを前記リソースの限られたコンピュータにダウンロードする命
令と、前記配列されたトークンを用いて前記パッケージを実行可能なコードにリンクす
る命令。
【請求項４２】１つまたは複数の参照可能なアイテムを持つ１つまたは複
数のパッケージに分割可能であり、リソースの限られたコンピュータにダウンロ
ードされたアーキテクチャニュートラルなコードをリンクするためのコンピュー
タに実装されたシステムであって、以下の命令を含むシステム。対応する１つまたは複数のトークンに前記１つまたは複数の参照可能なアイテ
ムをマッピングする命令と、ランタイムモードに該当する前記トークンを配列する命令と、前記パッケージを前記リソースの限られたコンピュータにダウンロードする命
令と、前記配列されたトークンを用いて前記パッケージを実行可能なコードにリンク
する命令。