JPH0877117A - デジタル署名を用いた進行オブジェクト指向型プログラムの有効利用方法および装置 - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】 オブジェクト指向型プログラミングを進行型
プログラムと組合せ、強化する。 【構成】 進行型プログラムを送受信するために少なく
とも一つの次のあて先又は受信者を決定することができ
る命令及び関連データのシーケンス、並びに次の受信者
又はあて先に対してプログラムが決定したすべての関連
データを有することにより、受信者であるコンピュータ
ユーザがオブジェクトを事前に知らなくても、オブジェ
クトが一方のコンピュータユーザから他方のユーザへ最
も効率よく送信されるように、データがプログラムとよ
り密接に結合される。また、セルブロックは、例えばデ
ィスクに記憶されたデータ構造で、（関連する）オブジ
ェクトインスタンスの集合体を反映しており、実行が一
時中断されているが、後に同一又は異なるプラットホー
ムにおいて再実行が可能である。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、主としてオブジェクト
指向型プログラムの制御のもとでデジタルコンピュータ
を操作する装置および方法に関する。より特定的には、
デジタル署名法を用いた特有の進行オブジェクト指向型
プログラムを有効に利用する方法および装置に関する。

【０００２】

【関連出願】本願は、１９９２年４月６日に出願の許可
された米国出願番号第０７／８６３，５５２号の出願、
名称は「進行型プログラムの作成、処理および使用方法
ならびにその装置」（以下「進行型プログラム出願」と
する）と、米国出願番号第０７／８８３，８６８号の出
願、名称は「プログラム許可情報を用いたコンピュータ
システム方法および装置」（以下「プログラム許可情報
出願」とする）に関連する。

【０００３】

【従来の技術】「Ｃ言語」や「スモールトーク」等の既
存のオブジェクト指向型言語を用いたオブジェクト指向
型プログラミングにおいては、プログラマはオブジェク
ト「データ型」（または「クラス」）を定義することが
できる。「データ型」とはデータ構造であって、あるデ
ータ型をどう処理するかを知っているプログラムとそれ
ぞれ関連している。オブジェクト指向型プログラミング
によって、プログラムを変更することなく、既存のプロ
グラムを再使用したり拡張したりすることが可能にな
る。オブジェクト指向型プログラミングのこの特性は
「継承特性」として知られており、他の（より基本的
な）データクラスの「拡張子」として引き出される新規
のデータ型クラスを定義することができる。

【０００４】拡張子クラスは、既存の（「ベース」）ク
ラスとは異なる新規のデータ型用の（オブジェクトの
「メソッド」として周知の）関数を定義するだけでよ
い。このようなメソッドは全く新しいものであってもよ
いし、またはベースクラス用に定義されているメソッド
に（それを置き換えるか、または拡大することによっ
て）取って代わってもよい。このように、新規の関数を
付け加えるか、または既存の関数に取って代わる（変更
する）ことにより、既存のデータクラスの新規の変種作
成を容易にする。

【０００５】オブジェクト指向型法の中には「多重継
承」を認めるものもある。「多重継承」においては、１
つ以上の「ベース」クラスが存在することができ、規定
のクラスがその「ベース」クラスから特性を継承する。
本発明は、多重継承の可能な使用法を考察している。規
定のクラス列とは、ベースクラスとベースクラス列の集
合体セットである。

【０００６】より慣用的な「手続型」プログラミング法
を使用すると、異なるデータ型は、そのデータ型用に定
義された処理規則に基づくそれぞれ異なる方法で処理さ
れる。オブジェクト指向型プログラミングは、異なった
処理法を提供する。プログラマが定義したオブジェクト
データ型またはクラスの個々の実現値は、そのクラスの
「インスタンス」として知られている。いったんクラス
を定義すると、そのデータ型は、再度プログラミングを
しなくても、異なるプログラム内で何度も繰り返し使用
することができる。

【０００７】それぞれのデータ型用にクラスプログラム
を定義すると、そのデータ型のインスタンスに対して適
用されうる関数が定義される。プログラムは、オブジェ
クトの特定のインスタンスと共にそのオブジェクトメソ
ッドの内の１つ（すなわち、あるデータ型のインスタン
スに対して適用されうる関数）を呼び出すことによっ
て、オブジェクトを使用する。その後、そのメソッドが
データのある特定のインスタンスを処理する。

【０００８】このように、同一のメソッド名を異なるデ
ータ型クラスにおいて違うように実現しうることが、オ
ブジェクト指向型プログラミング法の利点の１つであ
る。アプリケーションプログラムはデータ上の「総称」
操作が正確にはどのように実現されているかに関知せ
ず、それを実行することができる。このことにより、デ
ータ型の新規の種類（クラス）を最小限の変更で、これ
らのデータ型を使用しているアプリケーションプログラ
ム（もしあれば）に付け加えることができる。

【０００９】これらの「メソッド」を実行するための論
理は、それぞれのデータクラスにいったん組み込まれ
る。このように、異なるデータ型がそれぞれのデータ型
に適した方法で特定の関数を実現することを可能にする
ことにより、プログラムがそのようなデータ型を使用す
る方法が容易になる。

【００１０】オブジェクト指向型プログラミングは、上
記のように、プログラムを区分するための異なる手法を
提供している。それは多くの異なる複合アプリケーショ
ン領域において非常に有効である。オブジェクト指向型
プログラミングにおいては、データは一般的には隔離さ
れたビットストリームとしては扱われず、むしろそのデ
ータを管理しているプログラムに結合される。

【００１１】オブジェクト指向型法のこの特性、つまり
特定の関数を様々なデータ型上で異なるように動作させ
る能力は、「多義性」として知られている。

【００１２】多義性は、データが何を表現しているかに
関知せず、プログラムがそのデータ上に対して動作する
ことを可能にする。オブジェクト指向型法の多義的特性
は、関数があるデータ型に対して適切に実行されるよう
に、そのデータ型によって異なる方法で特定の操作が実
現できるようにする。多義性の例としては、例えば、
「乗算」操作がある。実スカラデータ型に対しては、２
つのスカラが共に算術的に掛けられる。しかし、マトリ
ックスデータ型に対しては、その「乗算」メソッドが実
現され、より複雑な「マトリックス」乗法がなされる。
これらをオブジェクトとして扱うことによって、プログ
ラムデザイナは特定のオペランドが実数であるのかまた
はマトリックスであるのかを気にすることなく、乗法を
使用することができる。そして将来、例えば、新たにプ
ログラミングをしなくても、異なる乗算機構を有する新
規の「複素数」データ型を、既存のプログラムに導入す
ることができる。

【００１３】オブジェクト指向型法の例として、他にグ
ラフィックディスプレイに関するオブジェクトを含んで
もよい。そのようなオブジェクトの大半は「クイック」
クリックメソッドを備えている。そのメソッドは、マウ
スポインタがオブジェクトと関連するグラフィックイメ
ージ上にある時、またはユーザがマウスのスイッチをク
リックした時は必ず呼び出される。

【００１４】ボタンのグループのグラフィックディスプ
レイを考えると、各「ボタン」グラフィックは、「ボタ
ン」クラスの個々のインスタンスによって表現され、制
御されてもよい。データフィールド等の他の型のグラフ
ィックアイテムは、それぞれの独自のクラスのインスタ
ンスと共に制御される。「アイコン」を、「ボタン」の
特殊なクラスであって、追加の性質または変更された性
質を備える「ボタン」として扱うことが可能である。

【００１５】「アイコン」クラスを「ボタン」の拡張子
として開発する際に、独自の「アイコン」クラス定義用
に特別に供給されるメソッドルーチン以外は、「ボタ
ン」用の全てのメソッドルーチンがその「アイコン」ク
ラスに対して有効である。ユーザがマウスのスイッチを
クリックすると、システムはマウスが位置すると思われ
るアイテムを決定し、そのグラフィックアイテムに関連
するオブジェクトインスタンス用の「クリック」メソッ
ドを呼び出す。

【００１６】「内容を上にスクロールする」とか「この
オブジェクトを削除する」、「内容を印刷する」、「マ
ウスボタンを操作する、つまり要求をクリックする」等
の異なる関数が、含んでいる特定のグラフィックオブジ
ェクトによって違うように解釈される。許可可能な関数
はデータが使用されるごとに定義されるのではなく、デ
ータが定義される時に作成される。

【００１７】本発明は、上述したような従来のオブジェ
クト指向型プログラミング法に比べて、より一層強力に
拡大されたオブジェクト指向型プログラミング法に従っ
て、デジタルコンピュータを操作する装置および方法を
提供することを目的とする。

【００１８】

【本願発明の概要および効果】すなわち、本発明は、自
動化された業務処理を効率的に行うフレームワークを構
築する非常に拡大されたオブジェクト指向型プログラミ
ング法に向けられる。本発明のオブジェクト指向型プロ
グラミング法は、全体として本件で明白に援用している
前述の進行型プログラム特許出願に記載の、本出願人の
「進行型プログラム法」において特に有効である。

【００１９】進行型プログラムとはデジタルデータ構造
であり、命令および関連データのシーケンスを含む。そ
のシーケンスは進行型プログラムを受信したり、次の受
信者またはあて先に送信するプログラムによって決定さ
れた全ての関連データと共にそのシーケンス自身を送信
する、少なくとも一つの次のあて先または受信者を決定
することができる。本件に記載の方法を用いると、デー
タがプログラムにより密接に結合され、そのため受信者
であるコンピュータユーザにオブジェクトを事前に知ら
れることなく、一方のコンピュータユーザから他のユー
ザへと最も効率的にそのオブジェクトを転送することが
できるようになる。

【００２０】本発明は、データを組み立て、オブジェク
トとして最も高い安全性で保持し、記憶し、そしてコン
ピュータユーザから他のユーザへと送信することを可能
にする。

【００２１】また、本発明は、再使用可能なプログラミ
ングプールを効率的に作成することにより、今まで以上
に効率的にアプリケーションプログラムを開発すること
を可能にする。

【００２２】本発明はオブジェクト「セル」を利用して
いる。セルとは、例えばディスク上に記憶されたデータ
構造であり、実行が一時中断されているが、後に同一ま
たは異なるプラットフォームにおいて再実行が可能な
（関連する）オブジェクトインスタンスの集まりを示し
ている。オブジェクトインスタンスの集まりは、記憶す
るため、または他のコンピュータユーザへ送信するのに
都合がよいようにセル（または「電子フォーム」）に集
めることができ、インスタンスは各クラス定義に不明確
でないように結合される。

【００２３】本発明は、基礎となるオブジェクトインス
タンス値と共に電子フォームの一部として送信されてい
る、データクラス定義プログラムを用いて任意のオブジ
ェクト指向型データクラス構成素から電子フォームを構
築することができる。

【００２４】また、本発明はセル（電子フォーム）を作
成および使用するために改良されたツールを作成するの
で、オブジェクト指向技術を用いて電子フォームを定義
することが可能となり、全てのユーザが全てのオブジェ
クトクラス定義プログラムの互換ライブラリおよびその
クラスの同一同期バージョンを保持することを要求しな
くとも、そのようなフォームを種々のコンピュータユー
ザ間で容易に送信することができるようになる。

【００２５】このように、本発明は、受信者が必要な全
てのオブジェクトクラスを持っているか否か、またはそ
のようなクラスが特定のデータ転送に適切に対応するバ
ージョンを反映するかどうかを気にすることなく、その
ようなセルを電子メールを通して他のユーザに転送でき
るようにする。そのセルは、他のセルによってオブジェ
クトとして呼び出すことができる。

【００２６】本発明は安全性および一貫性を保証するデ
ジタル署名法を提供し、それによりユーザは、セルに挿
入されたオブジェクトクラスの一部がユーザのシステム
またはデータの安全性、或いは一貫性を失わせるか、破
壊するか、または危うくする可能性のある破壊的な「ト
ロイの木馬」プログラムであるかもしれないという危険
性を負うことなく、オブジェクトの集まりから構成され
る電子フォーム（すなわちセル）を受信および実行する
ことができる。

【００２７】関連のあるクラス定義プログラムを見つけ
出すために、オブジェクトインスタンス自身の中には印
が記憶されている。その印には例えば、そのオブジェク
トクラスインスタンスの名前がある。

【００２８】本件では、セルに記憶されているデータイ
ンスタンスを、それぞれのオブジェクトクラスプログラ
ムに結合させる特有の方法が説明されている。この方法
によって、セルが次の実行を開始して記憶装置から再格
納される際に、正しくかつ互換性のあるクラス定義プロ
グラムが既存のインスタンスデータ上で確実に動作す
る。

【００２９】これにより、クラスプログラムの変更され
た「ライブラリ」またはテンプレートバージョンが、よ
り以前のインスタンスデータ上に不本意に動作すること
ができないことを保証することによって、または（たと
えそのユーザの内の一人が適した名前を有するクラスプ
ログラムを持っていたとしても）セルが様々なユーザ
（受信者）によって異なる時間に起動されている際に、
クラスプログラムの正しくない他のバージョンが不本意
に使用されないこと（そして混乱や損害を生じさせるこ
とのないこと）を保証することによって、一貫性を提供
する。インスタンスとクラス間の明確な結合は、次の様
なさまざまな方法で供給されうる。

【００３０】・クラス定義、すなわち（そのクラスプロ
グラム論理がソースコード内にあろうと、疑符号内にあ
ろうと、または機械コード内にあろうと）クラスプログ
ラム論理自身をそのセルデータ構造の一部として含める
ことにより、そのセル内のオブジェクトインスタンスを
クラスに結合させる方法。

【００３１】・クラスプログラム定義用のソース命令
（またはその正規バージョン）、コンパイルの結果生じ
た擬符号（ｐコード）命令、またはコンパイルの結果生
じた機械言語コードの内の少なくとも１つの（暗号）ハ
ッシュをセルに含めることにより、そのセル内のオブジ
ェクトインスタンスをクラスに結合させる方法。

【００３２】この結合は、各インスタンスと正しい対応
クラスプログラムとを明確に関係付け、そのため、同一
名を有する他のクラスか、またはそのクラスの（古すぎ
るか、もしくは新しすぎるために）適切でないバージョ
ンが不本意に選択されて、セルが再格納される際にイン
スタンスデータの既存のバージョン上で動作する可能性
がなくなる。このことは、重要で機密性を有する関数を
実行するクラスプログラムに対して、特に有効である。
このように、インスタンスが作成される際に、クラス定
義の仕様によって決定された既存のインスタンスを損な
ったり、乱したりすることなく、「マスタ」クラス定義
を変更することができる。

【００３３】本発明に従って、セルが記憶されてから
（恐らく他のユーザによって）再使用される間に、その
セルの重要部分を偶然に、または故意に変更することが
できないように、セルの重要部分にデジタル署名がなさ
れてもよい。しかし、セルの重要でない部分にはデジタ
ル署名はなされず、重要でない情報または別の方法で確
認することのできる情報を任意に含めたり、除外したり
するよう調節できるようになっている。このようにし
て、オブジェクトプログラムクラス定義を改ざんできな
いようにするため、それらをデジタル署名形式で記憶す
ることができる。状況によっては、必ずしも全てのオブ
ジェクトクラス定義プログラムにデジタル署名する必要
はなく、重要な操作を実行するもの（例えば、ファイル
へのアクセス等、もしくはアセンブリ言語、Ｃ言語、ま
たは直接解釈プログラムの管理外で実行する、他のモジ
ュールで書き込まれた外部プログラムの呼出し等）のみ
に署名するだけでよいこともある。

【００３４】そのような重要部分とは一般的に、それぞ
れの重要なオブジェクトクラスプログラム定義の少なく
とも一つの互換バージョンに、少なくとも不明確でない
ように結合されて連結しており、通常そのプログラムの
バージョンのハッシュ値を含むデータおよびオブジェク
トの構造および値を含む。

【００３５】本発明は、各クラスが実行することができ
る操作または関数を決定する許可に関連して、各クラス
に更にデジタル署名をすることができるようにしてい
る。この許可は、前述の現在出願中の米国出願番号第０
７／８８３，８６８号の出願、「プログラム許可情報を
用いたコンピュータシステム方法および装置」に記載の
プログラム許可情報データ構造によって定義される。当
該出願は本件に明示的に援用されている。

【００３６】これにより、不正なセルまたは害のあるセ
ルを自動的に検出することができる。また、これは信頼
性のない（インスタンス）が（プログラムの故障または
故意の悪戯によって）損害をもたらすような可能性を持
たないことを保証し、安全性を提供する。また、信頼性
のあるクラスと信頼性のないクラスの混合クラスに対す
る手段を提供する。その手段は、より強力なクラスに関
連する無害なまたは制限された関数を供給するために、
臨時のインスタンス（およびクラス）を使用する能力を
提供し、信頼性のないクラスが秘密裡には何もできない
ことを保証する。また、これにより、信頼性のある状態
において信頼性のないコードを動作させることのでき
る、モリスインタネットのウィルスまたは寄生虫と類似
するオブジェクト指向のウィルス等を予防することもで
きる。

【００３７】この手法を用いると、セルにデジタル署名
をした後、そのセルの一貫性を損なうことなく、クラス
のイメージ（ソースであれ、ｐコードであれ、他のもの
であっても）をセルに挿入したりまたは削除したりする
ことができる。

【００３８】また、本発明は、クラスプログラムのバー
ジョンが、そのクラスプログラムの異なるバージョンに
よって作成されたインスタンスを処理することができる
ような手法を提供する。これは、データインスタンスを
作成した（または最後にデータインスタンスを操作し
た）クラスプログラムのバージョンに、データインスタ
ンスを関連させることにより実施することができる。ま
た、クラスプログラムの各バージョンが、それぞれが支
援するデータバージョンのセットを指定できるようにす
ることによっても実施可能である。

【００３９】本発明は既存のセルを修復またはアップグ
レードする手法を提供する。それにより、たとえ既存の
セルがデジタル署名されていたとしても、一貫性を損な
うことなく、そのセルによって記憶または参照されてい
るクラス定義を抽出し、修正（または訂正）された定義
に置き換えることができる。

【００４０】本発明は、様々なオブジェクトから構成さ
れるセル（電子フォーム）を、同一または他のコンピュ
ータ上で実行させるために記憶し、復元することのでき
る手法を提供する。

【００４１】本発明は、セル全体を他のセルによってオ
ブジェクトとして呼び出し、処理することを可能にす
る。このことによりデータのクロスマージ、およびセル
からセルへの処理が可能になる。また、その中でセル同
士が対話をする、複雑なセルシステムを処理する手段も
可能になる。本発明によって、セルが電子メールまたは
他のサービスを通して、ユーザからユーザへセル自身を
送信させることができるようになる。本発明は、他のセ
ル内にセルを含むことを可能にし、また同様に、セルが
後に内部のセルを再び分離するができるようにする。本
発明はまた、その内部のオブジェクトの隔離された部分
を隔離し、サブセルを作成するために使用することを可
能にする。

【００４２】本発明は、様々なクラスを、異なる言語
（例えば、「ＢＡＳＩＣ」および「ＲＥＸＸ」等）で書
き込み、共通のオブジェクトセルに結合させる方法を教
示する。また、１つのプログラミング言語を用いて定義
されたクラスを、別の言語で書き込まれたクラスから拡
張することができるようにするために、ＲＥＸＸおよび
ＢＡＳＩＣ等の本質的に異なる言語を結合する方法を教
示する。

【００４３】本発明の別の側面としては、プログラムが
オブジェクトを作成、処理、操作することができ、その
オブジェクトに対してクラス、メソッド、またはその両
方のいずれかがプログラムの指定またはコンパイルの後
に別々に動的に決定される。このことが可能なのは、ク
ラスおよびメソッド名をストリング値によって制御し、
あらゆる入力、決定およびストリング操作に基づいて、
そのクラスおよびメソッド名を動的に決定できるからで
ある。

【００４４】それゆえに、オブジェクトを名前に正確に
基づいて作成してもよい。作成の方法は、ユーザによっ
てデータとして入力したり、実行時間値に基づいて動的
に計算したり、またはファイルから読み出してもよい。
本発明の別の側面として、クラスが使用される実行時に
クラス結合が実行されることが挙げられる。そのことに
より、様々なクラスを「実行可能な」モジュールに結合
させるために、特殊な「リンケージエディタ」を作成す
る必要がなくなる。

【００４５】本発明は、オブジェクト指向型プログラム
を進行型プログラムと組み合わせ、オブジェクト指向技
術を用いて進行型プログラムを構築することができる。
そのことによって、進行型プログラムをオブジェクトと
して（他の進行型プログラムによって）処理することが
できるようになる。

【００４６】本発明においては、進行型オブジェクトを
用いてデジタル署名を使用することができる。それによ
り、関連するクラス（プログラム）定義が改ざんされた
り、操作されたり、または変更されることができないよ
うになる。本発明は、安全性および一貫性を守る目的か
ら、特定のオブジェクトクラスのインスタンスおよび実
行可能な処理の型によって処理することができるコンピ
ュータおよびデータ資源を制限するために、デジタル署
名技術を使用する。

【００４７】本発明は、コンピュータユーザのネットワ
ークにおいて、受信者が自分のデータが故意に傷つけら
れたり、危うくされる危険性を負うことなく、送信され
たオブジェクトインスタンス内の少なくとも１つのメソ
ッドを安全に実行することができるように、複数のオブ
ジェクトインスタンスを含むデータを交換することを可
能にしている。

【００４８】本発明の特徴の１つに、データ変数が特定
のオブジェクトクラスに本来的には結合されないプログ
ラムの開発がある。本発明は、いかなるオブジェクトク
ラスをも（プログラムが書き込まれた時点では、考慮に
入れられていなかったクラスさえも）反映できるよう
に、プログラムの実行中に、変数のクラスを自由に変更
することができるプログラムをプログラマが開発できる
ようにする。

【００４９】本プログラミング発明の別の特徴として、
同一オブジェクトの異なるインスタンスが、関連するデ
ータフィールドの本質的に異なるセットを処理すること
が挙げられる。

【００５０】本発明の別の特徴は、通常幾つかのクラス
と関連している相互に関連するインスタンスの集まり
を、実行状態から退避されたデータファイルに書き込む
ことができることが本発明の別の特徴である。これはイ
ンスタンスのクラスを定義するプログラム自身を、退避
されたデータファイルに不明確でないように結合するこ
とによってなされる。本発明においては、そのような退
避されたデータファイルを「セル」と呼ぶ。

【００５１】本発明は、全てのインスタンス、そのイン
スタンスと関連するデータ、およびそのインスタンスと
関連するプログラムが正確に復元されるようにセルを適
切に再格納し、それによりセル全体の実行処理が将来ま
た開始できるようにする。

【００５２】本発明の特徴は、セルをオブジェクトその
ものとして扱うことができることであり、そのためセル
の退避時にセルと関連した実行状態を、後になってから
も呼び出すことができる。

【００５３】本発明の実施例では、各セル内には１つの
特定のオブジェクトインスタンスがあり、セルの「フェ
ース」と見なされる。セルに対してメソッドを実行させ
る要求を行うと、フェースインスタンスのメソッドが起
動する。このため、セルは多くの構成素インスタンスを
含んでもよいが、セル全体の活動に対する要求を処理す
る責任はフェースインスタンスにある。

【００５４】本発明の特徴は、クラスを定義する言語は
１つのコンピュータ型のみに特定されておらず、広い範
囲の異なるコンピュータアーキテクチャおよびオペレー
ティングシステムでその言語を処理し、解釈しうること
である。

【００５５】本発明には、オブジェクトクラスを定義す
る実際の論理を記憶されたセルの一部として記憶および
搬送できるという特徴がある。このことは少なくとも次
のような２つの利点を提供する。

【００５６】第一に、たとえ関連するクラス定義プログ
ラムが変更されても、セルは一貫性を保持することであ
る。クラス定義をインスタンスに不明確にしか結合して
いない他の技術においては、プログラムを変更する（ま
たは「改善する」）のは危険である。なぜなら新規のプ
ログラムを用いて「古い」データを処理することによ
り、プログラムに機能障害をもたらしたり、または間違
った結果や誤解を招くような結果をもたらす傾向がある
のと同様に、上記のような変更が既存のデータ変数に対
して異なる意味を与えたり、新規の変数を導入したり、
または古い変数を削除したりする可能性があるからであ
る。

【００５７】第二に、クラス定義プログラムが他の一方
のコンピュータにおいて適応可能であるか否か、および
受信者のコンピュータ上の参照クラスプログラムがセル
内に組み込まれたデータインスタンスと互換性があるか
否かを気にすることなく、セルを一方のコンピュータに
送信し、そこでセルを実行させることができることであ
る。

【００５８】本発明の特徴は、少なくとも１つの関連す
るクラス定義の論理を、関連するプログラムのハッシュ
によって、記憶されたセル内で独特の方法で識別するこ
とができることである。これにより、プログラム定義自
身を記憶するのとは異なる目的を果たすことができる。

【００５９】本発明は、各セルにおいてクラスプログラ
ムを複写せずに、より小さなスペース内にセルを記憶で
きるようにし、更にそのプログラムのイメージを記憶し
なくても、厳密な一貫性を依然として保証する。このこ
とは、セルの再格納中に、つまり実際のハッシュが再計
算され、期待ハッシュと比較される際に行われる。

【００６０】本発明は、ソフトウェアを（故意に、偶然
に、または悪意から）変更しても、それが不本意にも間
違って実行されることは決してないことを保証し、更に
本発明では、頻繁に使用するクラスを、多くのセルにお
いて繰り返し複写する記憶オーバヘッドを要求しない。

【００６１】ある企業から広く販売されるような、よく
使用されるクラスには、プログラム自身の送信を抑制す
るのが合理的である。そこで、間違ったクラスプログラ
ムが使用されることすらできないようにすることによっ
て一貫性を保証するために、そのクラスプログラムのハ
ッシュが役立つ。クラスプログラムが格納されるとき
は、そのハッシュがいつも計算され、期待値と比較され
る。

【００６２】セルがクラス定義イメージを含んでおら
ず、そのハッシュと一致する利用可能なイメージが再格
納時にない場合は、そのハッシュを使用して正しいクラ
ス定義を見つけ、それを発見した際にその正確さを確認
することができる。この方策は、正しい定義がオフライ
ンのアーカイブされた記憶からたとえ復元したとしても
有効である。いったん全ての正しいクラス定義が復元さ
れ、オンラインで利用可能になれば、そのセルの再実行
を開始することが可能になる。

【００６３】

【実施例】以下に挙げる図面の詳細な説明を参照するこ
とにより、本発明の前述の特徴および利点、およびその
他の特徴および利点がより明確になるであろう。

【００６４】図１は、本発明に関連して使用しうる典型
的な通信システムを表したブロック図である。当該シス
テムには通信路１２があり、その上で端末装置Ａ，Ｂ，
…Ｎ間の通信が行われる。通信路１２は例えば、電話線
等のように安全が保証されていない通信路であってもよ
い。端末装置Ａ，Ｂ…Ｎは、例えば（メインメモリ付）
処理装置２を有するＩＢＭパソコン互換コンピュータで
もよく、それは従来のキーボードおよびＣＲＴディスプ
レイ４に結合されている。メインメモリ付処理装置２
は、不揮発性記憶装置７にも結合されており、その記憶
装置７はディスク記憶装置であってもよい。各端末装置
Ａ，Ｂ…Ｎは、従来のＩＢＭパソコン通信ボード（図示
せず）も備えており、それは従来のモデム（それぞれ
６，８，１０）に結合される際に、端末装置に進行型プ
ログラムを含むメッセージを送受信させることができ
る。

【００６５】本件で使用し、本件に援用している進行型
プログラム出願、出願番号第０７／８６３，５５２号で
詳細に説明しているように、進行型プログラムはデジタ
ルデータ構造であり、命令および関連データのシーケン
スを含んでいる。そのシーケンスは、進行型プログラム
を受信するため、およびプログラムによって決定されて
いる全ての関連データと共に自分自身をも次の受信者ま
たはあて先に送信するための少なくとも次の一つのあて
先または受信者を決定することができる。進行型プログ
ラムのデータ構造の例は、進行型プログラム出願の図２
に示されている。進行型プログラム実行時に利用するデ
ータ構造、および進行型プログラムを実行するためのソ
フトウェアについては、進行型プログラム出願で説明し
ており、本件に援用している。

【００６６】各端末装置Ａ，Ｂ…Ｎは、メッセージを生
成することができ、また、通信路１２（または通信路１
２に接続されうる通信ネットワーク（図示せず））に接
続されている他の端末装置にメッセージを送信する際
に、進行型プログラム内に本来備わっている論理、デー
タおよび関数を格納し、実行するために必要等のような
デジタル署名操作でも実施することができる。本願で明
示的に援用されている本発明者の米国特許番号第４，８
６８，８７７号、第５，００５，２００号および第５，
００１，７５２号に記載の、拡大されたデジタル署名お
よび証明法をこの場合に用いてもよい。代わりに、より
慣用的なデジタル署名法を利用してもよい。

【００６７】オブジェクト指向型プログラミング技術を
拡大した本発明は特に、本出願人の許可された出願、出
願番号第０７／８６３，５５２号に記載の進行型プログ
ラム法を促進するのに大変適しており、またそのように
設計されている。しかし、本発明はまた、アプリケーシ
ョンプログラムを効率的に生成する能力を拡大してお
り、一人のコンピュータユーザに限定して使用しさえす
れば、非常に有効である。

【００６８】本発明は離散型ファイル、または「セル」
と呼ばれる電子フォームを利用している。これらのセル
はオブジェクトの集合体を表しており、それらは本質的
に独立しているものであって、その実行が一時中断さ
れ、ファイルとして記憶されることのできるインスタン
スの集まりである。その後セルをメインコンピュータメ
モリに（同一または他のユーザによって）再格納するこ
とができ、（そのメインコンピュータメモリにおいて）
次に指定されたメソッドで実行を再開することができ
る。

【００６９】好ましい実施例においては、データクラス
がＲＥＸＸ、または周知のＢＡＳＩＣ言語等の高級プロ
グラミング言語の修正されたバージョンで定義される。
これらの言語は、手続型高級プログラミング言語から、
本件で記載しているような特有のオブジェクト指向型拡
張子に変換されてきた。高級言語のそのオブジェクト指
向型拡張子は、プログラムのクラスを定義し、（もしあ
れば）ベースクラスを指定する方法を提供する。クラス
は、そのベースクラスから（継承によって）拡張され、
プログラム変数の有効範囲を区別するために（多義性に
より）特定のクラスに関連する様々なメソッドを定義
し、また他のオブジェクトインスタンスを容易に作成
し、呼び出し、処理する。

【００７０】セルはデータのセット、つまり電子フォー
ムと見なすことができ、それはその情報と関連する全て
のプログラムを本来それ自身の中に含んでおり、その情
報の操作を管理している。セル内には単一の変数として
扱うことのできる、プログラムの集まりを含むことがで
きる。例えばセルは、関連するクラスを有するオブジェ
クトである名前およびアドレスフィールドを含むことが
できる。その関連するプログラムは、名前およびアドレ
スフィールドに対して操作すべき様々な異なる操作を定
義する。アドレスデータ等の変数はセルに結合されてお
り、そのセルを操作する規則を知っているプログラミン
グ情報を含んでいる。そのため、より高い水準において
は、データがその基礎となる情報をどのように管理して
いるかを気にせずに、変数名を参照することによっての
みデータを処理することができる。このようにして、個
々のオブジェクトに複雑な処理をゆだねることによっ
て、システム全体を簡潔にすることができる。

【００７１】インスタンスを変数として識別することに
より、プログラムを含む複雑なデータ構造をインスタン
ス指示子を通して操作することができる。インスタンス
変数はオブジェクトインスタンス全体を参照するための
機構である。

【００７２】記憶されたセルはディスク上に記憶された
ファイルである。記憶されたセルは、内部制御ブロック
「セルブロック」およびオペレーティングシステムの解
釈／実行プログラムによって実行中に使用される付随の
ブロックを作成するために用いられる。

【００７３】新規の所得税関連オブジェクトクラスを本
発明の手法に従って書き込む作業を考慮すると、本発明
の操作方法をよりよく説明できる。オブジェクトクラス
プログラムは、必要な作業を実行するための他の既存の
プログラムを呼び出す文を含んでいる。

【００７４】この例においては、作成された「セル」は
所得税を扱うために設計される電子フォームと見なすこ
とができる。所得税計算を実行するプログラムおよび生
成形式は、既存の所得税生成ルーチンを呼び出してもよ
い。初めに、解釈／実行プログラム（Ｉ／Ｅ）が所得税
クラスを実行するよう指示される。そのクラスは既存の
データを有するセルではなく、単なるプログラムである
ので、Ｉ／Ｅはそのクラスをコンパイルし（それが既に
ｐコードに形式的にコンパイルされていない場合）、そ
してその後新規のセルを作成する。プログラムはコンパ
イルされ、主記憶装置に格納される。解釈プログラムは
その後、後に詳細に説明するようにプログラム向けのク
ラスブロックを組み立てる。そのクラスは、例えば「１
０４０フォーム」を生成することによって定義してもよ
い。解釈プログラム内のルーチンは、クラスのこの最初
のインスタンス用のセルブロックを作成し、セル実行の
準備を行い、そしてその「１０４０フォーム」クラスの
「作成」メソッドを実行する。

【００７５】１０４０フォームに加えてさらに関連する
フォームを作成する必要のある場合は、前記クラスにお
けるメソッドの実行中に、他のクラスを呼び出して、新
規のインスタンスを生成してもよい。追加のフォームを
生成することにより、関連するインスタンスを生成する
ために必要な他のプログラムをさらに主記憶装置に記憶
するようにしてもよい。

【００７６】所得税申告の性質上、それぞれ作成すべき
様々なインスタンスを有する様々な種類のクラスがあり
うる。そのようなインスタンスはそれぞれ、本発明の手
法によって自動的に処理される。

【００７７】関数名または「メソッド」名は、関連する
各クラスインスタンスによってそれぞれ異なったように
取り扱ってもよい。例えば、支払うべき純所得税額を決
定する要求を考えてみると、関連する各クラスおよびイ
ンスタンスに対して、異なる純所得税額が生成される
が、そのような情報を集めるために必要なのは一つの関
数要求だけである。セルに関連する各インスタンスは、
ある手法に基づいて、純所得税額を計算することができ
る。その手法は、各インスタンス内部では知られている
が、高レベルＤの「１０４０フォーム」メインプログラ
ムクラスには知られていないものである。

【００７８】これらの各インスタンスは完全に異なる関
連する変数を有しうるが、高いレベルにおいては、プロ
グラムが「支払うべき純税額」といった１つの変数名を
使用して、必要な全ての情報を得ることができる。異な
るフォームを生成する関連プログラムは全て、セルを記
憶する際にそのセルに書き込まれる。その後、そのよう
に記憶されたセルを独立型モジュールとして、遠隔地の
会計士のもとに電子送信することができる。

【００７９】会計士は記憶され送信されてきたセルを受
信すると、それを解釈／実行プログラムを用いて実行さ
せる。そこでそのプログラムは、実行されているのはク
ラスではなくセルであると決定するか、或いはセルが実
行されていると決定する。当該セルは既に実行され送信
されているので、実行プログラムはその既存のセルを、
「セルブロック」として識別されている内部制御ブロッ
クデータ構造として、会計士のコンピュータのメインメ
モリに格納させる。また、他の内部制御ブロックも生成
される。このことについては後に詳しく説明する。

【００８０】会計士のコンピュータで実行が始まると、
後に説明するように、フォーム生成プログラムが「再起
動」モードで実行される。会計士のシステム内で実行し
ているルーチンは、支払うべき純税額を計算するための
適切な税金フォームを表示するために必要な処理を実行
する。

【００８１】好ましいデータ構造を述べる前にまず、後
の詳細な説明を理解する際に役立つ定義および概念を幾
つか見てみる。

【００８２】本件に記載の実施例においては、各オブジ
ェクトクラスは別々のソース定義（例えば、コンピュー
タディレクトリ内の別々のファイル）として定義され
る。もしくは離散型ｐコードに予めコンパイルされ、そ
れはまた個別のエンティティとして残る。本実施例のケ
ースではないが、将来考慮されることとしては、一つの
ソース定義またはｐコード定義内に幾つかのクラスを含
めることが可能であろう。

【００８３】ソースコードまたはｐコードのいずれのケ
ースにおいても、一貫性を保証するために、もしくは明
瞭なプログラム許可を定義するために、クラス定義にデ
ジタル署名をすることができる。実施例によっては、ク
ラスにデジタル署名し、特定の公開鍵または証書によっ
て認証するか、または証書階層内の特定の鍵または証書
をそのクラスに持たせるだけで十分である。また別の方
法としては、本件に援用している本発明者のプログラム
許可出願、出願番号第０７／８８３，８６８号に記載し
ているような、より広範囲の許可管理機構を使用するこ
とも可能であろう。

【００８４】本件に記載の例は、ＲＥＸＸプログラミン
グ言語、つまりＩＢＭのシステムのアプリケーションア
ーキテクチャ（ＳＡＡ）標準に基づいている。複数のプ
ログラミング言語を盛り込んむという本発明のこれらの
側面においては、本件に記載の実施例は標準的な「ＢＡ
ＳＩＣ」言語を使用している。前述のように、その標準
的な言語は、新規のプログラミング属性および新規の組
み込み関数と共に拡張され、本発明に従ってオブジェク
ト指向型プログラミングを促進する。当然ながら、この
決定は変更することが可能であり、他の言語または追加
の言語を使用することができる。

【００８５】オブジェクト指向型拡張子の幾つかは新し
い種類のデータ、すなわちインスタンス参照値を含んで
いる。ＲＥＸＸ言語は１種類のデータ、つまりストリン
グのみを定義する。ストリングに対しては、例えば割り
当て、連結、演算等の標準操作が行われる（演算操作に
おいては、数値を反映するストリングのみが用いられう
る）。

【００８６】本件に記載の実施例においては、インスタ
ンス値はストリングとは基本的に異なるものとして扱わ
れ、通常のストリング値（演算オペランドもしくはスト
リングオペランド等）として扱われると、インスタンス
値は許可されない。しかしながら、インスタンス値は、
例えば割り当て文の中に引数やパラメータとして現れる
ことができる。本発明の他の実施例では、ストリング値
が期待されているところにインスタンス値が現れたとき
は、必ず、そのインスタンスに対する特定の（もしくは
デフォルトの）メソッドが無条件に呼び出され、ストリ
ングを生成する。同様に、インスタンス値が現れてスト
リング値が一般的に許可されない、例えばメソッド呼び
出し等の場所もある。

【００８７】変数はいかなる時でも、そのデフォルト
（ＲＥＸＸにおいては、それは一般的にはその名前のス
トリング値である）、ストリング値、またはインスタン
ス値を収容することができる。変数には異なる時に異な
る種類の値を割り当てることができる。このことは全体
的に柔軟なものであり、プログラムの論理のみによって
決定される。変数を使用する際には、その変数の現在値
だけが有効である。

【００８８】変数は、「オブジェクト」型の組み込み関
数（「新規」、「再格納」等）、インスタンス値を有す
る他の変数、ケーブルによって渡されたパラメータ値と
してインスタンス値を再吟味する他の関数、もしくはＲ
ＥＸＸの場合はパーズ文からの割り当てによってインス
タンス値を確保する。

【００８９】好ましい実施態様においては、プログラム
変数は四つの異なるプール（従来のＲＥＸＸおよびＢＡ
ＳＩＣはそのような変数プールの特定の概念を持たな
い）の内の一つに属することができる。

【００９０】グローバルは、特定のセル内の全てのイン
スタンスと関連する変数を定義する。グローバル変数
は、変数がグローバルであると宣言していれば、いかな
るクラスからも（そのセル内にある）全てのインスタン
スへアクセスすることができる。各セルはそれ自身のグ
ローバルプールを有する。本発明の実施例においては、
（サブ）セル内にあるインスタンスは、そのセルに対す
るグローバルプールへのみアクセスし、スーパーセルの
グローバルプールへはアクセスできない。一つのセル内
に適切に含まれているインスタンスもまた、サブセルの
グローバルプールへアクセスできない。本発明の他の実
施例では、上記とは異なる操作が可能である。

【００９１】シェアードは、特定のインスタンスと関連
する変数を定義するが、この変数をシェアードとして宣
言しているインスタンスの列内の全てのクラス間で共用
される（異なるインスタンスはそれぞれ、この変数の独
自の実現値を有している）。

【００９２】プライベートは、特定のインスタンスと関
連している。プライベート変数はプライベートを宣言し
ているインスタンスおよびクラス定義内にのみアクセス
できる（当該インスタンス列内の他のクラスへはアクセ
スできない）。同一列内の異なるクラスでさえ、この変
数独自の実現値を有しうる。

【００９３】ローカルは、特定のインスタンスの特定の
現在の実行と関連している。ローカル変数は各メソッド
の実行を開始する際には定義されておらず、そのメソッ
ドが完了した際に破棄される。同一のインスタンス内の
幾つかのインスタンスが同時に起動している場合、各イ
ンスタンスはローカル変数の独自のバージョンを有して
いる。

【００９４】変数のプールが指定されていない場合は、
それはローカルである。変数をドロップする（ＲＥＸＸ
スタイル）ことによって、またはその変数値を再び割り
当てることによって、何時でも変数を明示的に破棄する
ことが可能である。しかしながら、各変数はまた、それ
ぞれが関連している特定のオブジェクトエンティティが
破棄される際に破棄される。

【００９５】ローカル変数は各メソッド実行後に破棄さ
れる。プライベートおよびシェアード変数はメソッド実
行後も保存されるが、そのインスタンスが削除されるか
または壊された時には破棄される。グローバル変数はセ
ルが削除された時にのみ破棄される。

【００９６】グローバル変数のみが一つ以上のインスタ
ンスによってアクセスすることができる（当然ながら、
インスタンス値を含む値はパラメータとしてインスタン
ス間で引き渡され、引数として受取られる）。

【００９７】新しいオブジェクト指向型文には以下のも
のが追加されている。クラス―このプログラムおよび他
の特性によって定義されているデータクラスの名前を明
確に指定する。グローバル―グローバルプールから変数
を指定する。シェアード―その継承階層内の全クラス間
にある、このインスタンス内で共用するべき変数を指定
する。変数は、シェアードである旨を規定している同一
のインスタンス（階層）内のクラス間でのみ共用され
る。プライベート―プライベートプール内の変数を指定
する。メソッド―メソッドの起動およびそのメソッドの
特性を指定する。その特性には、他のメソッドが規定の
インスタンスに対して既に稼働している場合、このイン
スタンス向けにそのメソッドの入力が許可されるかどう
かが含まれている。

【００９８】好ましい実施態様においては、各オブジェ
クトインスタンスは、２＋Ｎまでの異なる永久的なデー
タプール（そこでは、Ｎはインスタンスクラス列におけ
るクラス定義の数である）に関連する複合データ構造で
ある。当該データプールにはグローバルプール（当該セ
ル用）や、シェアードプール（当該インスタンス用）お
よびＮ個のプライベートプール（当該プールクラスに関
連した継承列内にある各クラス用）がある。

【００９９】さらに、特定のメソッドがインスタンスに
対して稼働している場合は、その実行に関連する追加の
ローカルプールがある。好ましい実施例においては、イ
ンスタンスに対して同時実行が行われる可能性を認めて
いる。同一メソッドの同時実行に関してさえもその可能
性を認めており、この場合、それぞれの同時実行に対し
て特有のローカルプールがある（しかし、同一のプライ
ベート、シェアードおよびグローバル変数は全ての同時
実行に対して使用される）。

【０１００】図２は、「セルブロック」１１データ構造
の実施態様を表している。セルブロック１１は、実行す
るために図１のメインメモリ２に格納される際には、セ
ルのルートである。セルブロック１１は、次のセルブロ
ックを指し示すポインタである「次セル」フィールド１
２を含んでおり、その次セルブロックはサブジェクトセ
ルブロック１１によって呼び出される。そのようなポイ
ンタは、例えば、セルブロック１１を生成する１０４０
フォームが、米国連邦政府規定のフォーム１０４０に添
付される州所得税フォームを生成するために別のセルを
呼び出す際に使用される。（そして、１０４０セルが実
行される時に、連邦政府規定のフォーム１０４０が自動
的に呼び出される）。次のセルフィールドは、様々なセ
ルを一緒にリンクさせるために使用することができる。
当然ながら、次のセルフィールド内で入力する必要はな
い。

【０１０１】「グローバルプール」フィールド１４は、
グローバル変数のプールの起動を識別するフィールドで
あり、グローバル変数とは、先に定義したように、特定
のセル内の全てのインスタンスに関連する変数である。
例えば、所得税フォーム生成の例では、名前変数は全て
のインスタンスに適用できるグローバル変数である。配
偶者の有無もまた、グローバル変数であろう。

【０１０２】また、セルブロック１１は、名前によって
セルを識別する「セル識別子」フィールド１６を含んで
おり、要求があれば、バージョン番号を含むこともでき
る。セルブロック１１は、セルの「フェースインスタン
ス」フィールド１８を含んでいる。そのフェースインス
タンスフィールドは、図２に示すように、セルに対する
外部要求を処理するためのインスタンスを指し示すポイ
ンタを含んでいる。所得税の例においては、セルに対し
て支払うべき純所得税額に関する質問がなされた場合、
そのフェースインスタンスが所望される結果を提供する
ことによって、その要求に応える責任を負っている。こ
のことは、セル内に他のインスタンスを誘導することも
含む。フェースインスタンスは、プログラムならびにセ
ルに対する要求または質問を管理および処理するための
関連データをすべて含んでいる。

【０１０３】セルブロック１１はまた、ファイルおよび
証書タグを指し示すポインタ１９、およびセルに関連す
るプログラムを識別するセル（２０）用のクラスを指し
示すクラステーブルポインタを含んでいる。さらに、セ
ルブロック１１は、セル用のデジタル署名構造を指し示
すポインタであるセル署名フィールド２２を含んでい
る。このセル署名は、そのセルが記憶された際に引き出
されたデジタル署名である。セルブロックが格納された
後に、デジタル署名が認証される。セルブロック１１内
にあるセル署名の記憶機構は、要求があればそのデジタ
ル署名を表示し、誰がそのセルに署名したかを決定でき
るようになっている。

【０１０４】図３は、「クラスブロック」２３の内部制
御ブロックデータ構造を示す実施態様である。セルは一
般的に、関連する多くのクラスまたはプログラム部分を
備えている。作成された独自のクラスブロック構造２３
が、各プログラムに対して存在する。

【０１０５】好ましい実施態様においては、全てのクラ
スは一のプログラムに関連している。クラスブロック２
３の最初のフィールドは、クラスリンクフィールド２５
であり、セル内の他のクラスブロックにリンクしてい
る。次のフィールドは「親クラス」フィールド２４であ
る。このフィールドはクラスブロックを指し示すポイン
タであって、そのクラスブロックからクラスが拡張され
る。基本クラスは、他のクラスに依存していないクラス
である。しかしながら、他のクラスは基本クラスの関数
を拡張し、その基本特性を使用する。そのような基本ク
ラスとは例えば、ディスプレイウィンドウの矩形を構築
するプログラムである。そのプログラムは、ディスプレ
イスクリーン上に特定の高さ、幅および色調特徴を有す
る矩形を構築するよう機能する。

【０１０６】２番目のクラスはその矩形クラスの上に構
築されてもよい。例えば、「ボタン」クラスがあり、そ
れはウィンドウクラスの全ての特性を利用しているが、
さらに、多くの特性または拡張子も含んでいる。ボタン
クラスは、親ウィンドウ矩形クラスの特性を「継承」す
る。

【０１０７】レベル数フィールド２６の数は、その列に
含まれているクラスの数を規定する。先の例においては
クラスの数は２であり、例えば「ボタン」クラスおよび
ウィンドウ矩形クラスである。また、クラスブロック２
３はクラス名フィールド２８を含んでおり、それはクラ
スと、関連するプログラムのプログラムブロックを指し
示すポインタであるクラスプログラムフィールド３０と
を定義する。プログラムブロックは、格納されている全
てのプログラムのリストである。

【０１０８】クラスブロック２３はまた、「メソッドテ
ーブル」フィールド３２を含んでおり、それはクラスに
使用される有効なメソッドまたは関数のテーブルを指し
示すポインタである。このようにして、当該クラスによ
って実行しうる様々な操作または関数が識別される。そ
のクラス用のメソッドテーブルの各項目は、図３に記載
のフィールド３２で識別されている形式を有する。

【０１０９】実行すべきプログラムをコンパイルする
際、プログラムはより高速で実行されるようにｐコード
に分解される。メソッド項目テーブル３２は、関連する
クラスプログラムの特定のメソッドに対して、ｐコード
がどこで起動するかに関する識別子を提供する。このよ
うに特定のインスタンスが実行し、実行すべき有効なメ
ソッドの内の一つを要求すると、メッソドに高速かつ効
率的にアクセスおよび実行することができる。

【０１１０】図３に示すように、各メソッド項目はテー
ブル内の他の関連メソッドにリンクするための機構を含
んでいる。そのリンクは様々な方法によって為しうる
が、例えば平衡多方向探索樹を用いてもよい。また、テ
ーブルは実行が求められているメソッドの定義に関連す
るクラスブロックを指し示すポインタを含んでいる。例
えば、クラスウィンドウ矩形は、「ボタン」クラスで実
行されるべきメソッドの定義を含んでもよい。

【０１１１】メソッドテーブルはまた、関連するクラス
内のメソッドに対するｐコードの起動を決定するオフセ
ットを記憶する。メソッドテーブルの追加の項目として
は、メソッド名の長さおよびメソッドフィールド名等が
含まれる。

【０１１２】クラス許可フィールド３４は認証された許
可構造を指し示すポインタであり、それは本出願人の出
願中のプログラム許可情報出願、出願番号第０７／８６
３，５５２号に従って実行することのできる幾つかの操
作を定義する。クラスブロック２３はまた、処理可能な
インスタンスを作成するプログラムの最低レベルおよび
最高レベルの表示３６を含んでいる。

【０１１３】図４は、「プログラムブロック」内部制御
ブロック３７に対する典型的なデータ構造である。当該
プログラムブロックフィールドは、そのプログラムが現
在の実行中に他の情報の中のどこに位置しているかを識
別する。プログラムブロックデータ構造３７は、「次プ
ログラム」フィールド３８を含んでおり、それはサブジ
ェクトプログラムによって呼び出される次のプログラム
ブロックを指し示すポインタである。「次プログラム」
フィールド３８は、関連プログラムを一緒にリンクさせ
るための機構を提供する。また、プログラムブロックデ
ータ構造３７は、プログラム識別要素を指し示すポイン
タであるプログラム情報フィールド３９を含んでいる。
フィールド４２はブロック３７内に記憶されているｐコ
ードプログラムのサイズを定義する。プログラム言語を
識別する「プログラム型」フィールド４４も当該プログ
ラムブロックに含まれている。

【０１１４】フィールド４６および４８は、それぞれ、
ソースのハッシュおよびプログラムのコンパイルされた
ｐコードバージョンのハッシュを含んでいる。これらの
フィールドは、同一名を有するプログラムを確実に区別
するために使用してもよい。さらに、ハッシュをプログ
ラムに対するデジタル署名を認証するために使用しても
よい。また、プログラムブロック３７は、プログラムブ
ロックを参照しているクラスの数を識別するクラスカウ
ントフィールド４９、ならびにプログラム構造制御ブロ
ックおよびそのソースコードを指し示すポインタを識別
するプログラム使用フィールド５０を含む。フィールド
５１は、本出願人のプログラム許可情報出願に従って構
成される、認証された許可構造を指し示すポインタであ
る。

【０１１５】図５は、典型的な「プログラム構造」制御
ブロック５２である。プログラム制御ブロック３７はフ
ィールドを含んでおり、そのうちの幾つかは変化しうる
が、「プログラム構造」フィールドは、プログラムを実
行しているプラットフォームに拘わらず定数であり、デ
ィスク上に記憶された場合には、形式またはｐコードに
なる。

【０１１６】「プログラム構造」制御ブロック５２は、
プログラム構造フィールド５４の大きさを識別する５３
を含んでいる。プログラム構造フィールド５４は「プロ
グラム識別子」であり、特定のプログラムを識別するた
めに使用する名前を記憶する。また、当該プログラム構
造ブロックはフィールド５６を含んでおり、プログラム
に関連するメソッドおよびクラス名と、関連するメソッ
ドに対するｐコードの起動を識別するための関連ｐコー
ドオフセットのリストとを識別する。「プログラム構
造」ブロック５２は、また、「変数テーブル」フィール
ド５８および定数フィールド６０のテーブルも含んでい
る。

【０１１７】また、プログラム構造ブロック５２は、図
５に示すように、プログラムのｐコード命令６１を含ん
でいる。

【０１１８】図６は、典型的な「実行」内部制御ブロッ
ク６２である。実行制御ブロック６２は、その実行過程
における現状態の経過を追う。実行制御ブロック６２
は、次のｐコード命令を指し示すポインタである次命令
フィールド６４を含む。

【０１１９】実行制御ブロック６２はまた、関連するク
ラスブロックを指し示す「クラスポインタ」フィールド
６６を含んでいる。インスタンス実行フィールド６８
は、実行されている特定のインスタンスを指し示し、ロ
ーカルプールフィールド７０はローカル変数用のプール
を指し示す。メソッド開始以前には、ローカル変数は存
在しない。プログラムが実行されると、ローカルがスク
ラッチパッド型メモリに記憶され、当該実行ブロックが
これらのローカル変数がどこに常駐しているかを指し示
す。実行ブロック６２はまた、「前実行ブロック」フィ
ールド７２を含んでおり、それは現在の実行ブロックが
処理されるより先に制御されていた、前の実行ブロック
を指し示す。

【０１２０】出願人の進行型プログラム出願で概略を述
べているような詳細を盛り込むために、このブロックに
フィールドを追加することもできる。それらは、本発明
に必ずしも特有でない実行の他の側面（ＤＯブロックや
手続ブロック等）を用いて考えられている。

【０１２１】図７は、典型的な「インスタンス値」デー
タ構造７３である。インスタンスは、オブジェクトとし
てデータに結合しているプログラムを有する特定のデー
タである。例えば、インスタンスは純税額を決定するプ
ログラムに結合された、特定の所得税に対するデータで
あってもよい。

【０１２２】「インスタンス値」データ構造７３は「ク
ラス参照」フィールド７４を含み、「クラス参照」フィ
ールド７４はデータ構造７３内のインスタンス値を処理
するための特定のクラスプログラムを指し示す。また、
データ構造７３は「セル参照」フィールド７６を含んで
おり、それは（１つ以上のセルが呼び出された場合は）
インスタンス用の特定のセルブロックを指し示す。イン
スタンス値構造７３はまた、インスタンスが実行された
後にそのインスタンスをを削除するために使用される削
除保留フィールド７８を含んでいる。

【０１２３】インスタンス値データ構造７３はまた、当
該インスタンスに対して稼働中の実行ブロックの数を識
別する「実行カウント」フィールド８０、特定の「退
避」操作（図１１の説明参照）を識別する走査インジケ
ータフィールド８１、ならびに変数およびフェースイン
スタンスを含む当該ブロックを指し示すポインタの数を
識別する使用カウント８２を含む。当該制御ブロックを
指し示すポインタがない場合、そのデータ構造を削除す
べきであるという表示を出してもよい。

【０１２４】データ構造７３は「レベルカウント」フィ
ールド８４を含む。それは図３に関連して前述したよう
な継承特性のレベルを表示する、間連するクラスブロッ
ク内のレベルの数を識別する。データ構造７３はまた、
シェアード変数のメモリヘッドを指し示す「シェアード
プール」フィールド８６を含んでいる。この機構によ
り、データが一定のインスタンスクラス列内にあるプロ
グラム間で共用されるようになる。データ構造７３は、
また、図７に示す形式を有するプライベートプールフィ
ールド８８を含んでいる。プライベートプールフィール
ドは、インスタンスの列内にある特定のクラスとのみ関
連しているプライベート変数と関連している。

【０１２５】図８は典型的な「変数ブロック」データ構
造９０である。変数ブロックデータ構造９０は、システ
ム内の同一の変数プール内の他の変数ブロックへのリン
ケージである「リンク変数」フィールド９２を含む。フ
ィールド９３は、その変数値を与える値ブロックを指し
示すポインタである。フィールド９４は、修飾変数用の
プールヘッドを識別する。その変数名の長さおよび変数
名は、フィールド９５および９６においてそれぞれ指定
される。図９は、当該変数値を識別する典型的な値ブロ
ックデータ構造９７である。データ構造９７は、その変
数をストリングまたはインスタンスとして識別する、値
型フィールド９８を含んでいる。当該データ構造は、図
９に示すようなストリング（９９）およびインスタンス
（１００）に対する項目を含んでいる。

【０１２６】図１０は、典型的なマスタ領域ブロックデ
ータ構造１０１である。マスタ領域ブロックは全てのシ
ステム情報を収容し、「メインセル」１０２のような多
くのポインタを含んでいる。「メインセル」１０２は、
一次セルに対するセルブロック、メッセージ参照テーブ
ルを指し示すメッセージ参照１０３、全ての格納された
プログラムのテーブルを指し示すプログラムテーブル１
０４、実行スタック内の最新の実行ブロックを指し示す
「実行スタック」１０５、ならびに接続されたファイル
のリストおよび証書キャシュリストを指し示すポインタ
１０６および１０７を指し示す。

【０１２７】図１１は、本発明の典型的な実施例に従っ
てディスクに書き込まれた「記憶されたセル」１１を示
している。作成されてディスクに書き込まれたデータ形
式は、セルの現状（現在のセルまたは関連するセル）を
退避するためにクラスプログラム内から呼び出される組
み込み関数によって生成することができる。

【０１２８】また、退避は解釈／実行プログラムによっ
てユーザに供給される「環境」関数、例えば「プルダウ
ン」ファイルの動作バーフィールド上の選択肢である
「退避」等として、当該セルの「外部」から呼び出すこ
とができる。

【０１２９】セルは少なくとも２つのフェーズにおいて
記憶される。第一のフェーズは「印付け」フェーズであ
り、その中で記憶すべき全ての構造化構成要素セットが
決定される。構成要素にはセル（サブセル）や、変数プ
ール、変数、値、およびインスタンス等が含まれる。本
実施例では、ローカル変数も現実行タスク構造（すなわ
ち、実行ブロックによって表現されているような稼働中
メッソド）も、セルの一部として退避される。このこと
は、フェースセルがインスタンスの「再起動」メソッド
時に復元の一部として実行される方法と一致する。

【０１３０】「退避」関数を使用しているプログラム
は、上記の特殊な側面を考慮したものでなければならな
い。全実行スタックが一時（ローカル）変数と共にセル
内で退避されるという代替方法ももまた実行可能であ
り、現過程にわずかに変更を付け加えるだけでよい。そ
の方法では、全稼働中メソッドのローカルスタック（関
連するローカル一次変数プールを含む）を表示している
構造もセルに退避される。そのような方法は、本発明者
の進行型プログラム発明出願の記載の方法に類似してお
り、同様の考慮を行っている。

【０１３１】第一の走査フェーズにおいて特殊な「退
避」メソッドは、「復元」操作が最終的に円滑に行われ
るようにするのに必要とされる付随処理を実行するため
に、（当該メソッドを有しているクラスのインスタンス
に対して）呼び出される。そのような付随処理には、例
えばセルにはすぐには知られない現情報を視覚オブジェ
クト（恐らく、不完全な入力フィールドデータ等）から
引き出す処理等が含まれる。多くのインスタンスの状態
は自動的に退避される内部持続変数の値にのみ依存して
いるため、インスタンスの多くは特殊な条件を有してい
ないであろうと予想される。「退避」メソッドは、他の
稼働中のインスタンスの状態を呼び出したり、大きく変
更しないようにする義務を負っている。なぜなら、その
ようなインスタンスはそれぞれ、駆動された「退避」メ
ソッドを既に備えているからである。

【０１３２】「退避」メソッドが各インスタンスに対し
て駆動された後、インスタンスの変数（プライベートお
よびシェアードプール内のあらゆる変数ならびに参照さ
れているか、または参照されているステムに属するあら
ゆるグローバル変数）が調べられる。その後、当該変数
内で定義されているが、走査されていないインスタンス
は、各インスタンスが一度で正確にスケジュールされる
ようにスケジュールされ、現在の退避要求の通し番号で
印を付けられる。退避すべきセルのフェースインスタン
スの走査が開始され、次にその時生じる全（インスタン
ス）変数が反復的に走査される。

【０１３３】退避関数に対して指定されるインスタンス
は全て、その結果として生ずる退避セルのフェースイン
スタンスになる。走査フェーズで関連する変数を分析す
る際に、他のセル内のインスタンスを参照することが決
められた場合、これらのセルは作成されている新規記憶
セル内のサブセルとして含められる。このようにして、
最初のメインセルが先のサブセルの内の１つのサブセル
になり、先のサブセルが新規のメインセルになることが
可能である。このことは、一般に、セルがリンク間ポイ
ンタ変数を有している時に起こる。

【０１３４】その後第２の走査フェーズが、第一の走査
で印を付けられた変数および値の集合体セットを収集
し、そこから記憶されたセル（ファイル）構造を出す。

【０１３５】退避要求の一部として指定された選択肢に
よって、オブジェクトクラスプログラム定義の全てがフ
ァイルの一部として退避されたり、そのうちの幾つかが
ファイルの一部として退避されたり、または全く退避さ
れなかったりする。これらは認証または許可デジタル署
名構造が生じた全てのものと共に、ソースフォームもし
くはコンパイルされたフォームの内のいずれか（または
両方）に退避される。

【０１３６】退避されたデータは、セル認証に必要なも
のと、そうでないものの２つに分けられる。この場合、
認証は、セルを復元後実行が再び始まる際に正確に再構
築するために必要な情報にデジタル署名をするために使
用される。例えばクラスプログラム自身のイメージ等の
認証に必要でない情報には署名されない。なぜならば、
そのような情報は安全性を損なうことなく付け加えた
り、省略することができる「便利なもの」と考えられて
いるからである。しかしながら、様々なクラスプログラ
ムの識別は通常ハッシュを伴っており、正しいクラスが
実際に使用されていることを保証するために使用されて
いるので、重要である。セル内にクラスプログラムを任
意に含めることができることにより、所望する使用にと
って最適な方法でセルを記憶することができる。

【０１３７】セルはまた、追加のデータ構造を含んでも
よい。本件に記載の例においては、そのような追加情報
のセットが２つある。それは証書および外部ファイルで
あり、それらは特に組み込まれており、セルに結合され
る必要がある。

【０１３８】デジタル署名証書のリストは「共通証書キ
ャシュ」と呼ばれている。これらの証書は、データ構造
の少なくとも３つの異なるクラス上で実行される関連す
るデジタル署名である。 ・（認証および／または許可用の）クラスプログラム定
義 ・プログラム実行の一部として認証または許可されてき
たインスタンス内のデータ（例えば、ＡＮＳＩ（米国規
格協会） Ｘ１２８５０ 購入注文処理セット）。これ
らの署名はプログラム論理そのものによって、構築され
たデータ上に請求されており、その証書は共通証書キャ
シュに明示的に移すことができる。 ・送信中に認証されるセルの本体

【０１３９】証書を「共通証書キャッシュ」に組み合わ
せることによって、証書は複写されることなくセル内に
運ばれる。しかしながら、複写される可能性もある。例
えば、異なるオブジェクトプログラムクラスがしばしば
共通の信託者によって許可されたり、多くの異なるデー
タ署名が証書階層において一人のユーザに署名された
り、互いに親密な複数のユーザによって署名されたりす
る（そしてそのために多くの共通の証書が生じる）こと
がある。

【０１４０】セルの未認証部分に証書を位置指定するこ
とにより、セルの使用を明らかにするために証書付け加
えたり、削除したりすることができる。例えば、短期間
の局所記憶用のセルに証書を挿入する必要はない。なぜ
ならば、証明を過度に複写することによって記憶機構を
浪費することになるからである。しかしながら、セルが
長期のアーカイブに移動する場合や、他のユーザ（キャ
ッシュに関連する全ての証書を持っていないユーザ）に
セルを送信する場合には、セルに証書を挿入するのは妥
当である。

【０１４１】記憶したセル１つに対して１つの証書のキ
ャッシュを保守すると、各種の証明要素が使用カウント
を保守することになる。このために、各（サブ）セルは
要求する証書の要約を含む。証書の要約は、署名が作成
されるかまたは受け取られた時にキャシュを挿入するた
めの証書、および署名値が解放されるかまたは無用にな
った時にキャッシュを削除するための証書を有してい
る。クラスプログラムに属する署名用に同様の使用カウ
ントが保持されており、またセル自身に対してさえも同
様の使用カウントが保持されている。各証書要約は、証
書使用カウントのハッシュで構成されているにすぎな
い。

【０１４２】挿入されるデータのカテゴリーには他に、
セルに付け加えられた「外部」データファイルがある。
これを使用する目的及び機構は進行型プログラム出願に
詳細に記載されている。しかしながら、多重セルに関し
ては、いくつかのサブセルが「発生し」て、個別の記憶
されたセルエンティティーとして退避された場合に備え
て、（サブ）セルが様々なファイルを使用していること
に関するインディケータを保持することも望まれる。

【０１４３】セルの格納に関しては、フェースインスタ
ンス値およびグローバルプールを含む格納しようとする
ものすべてを走査および印付けすることが重要である。
プールに関しては、プール内のすべての変数を走査およ
び印付けする。変数に関しては、変数に関するすべての
値およびサブ変数を走査および印付けする。サブ変数
は、ステム変数の構成要素として「ＲＥＸＸ」内で発生
する。

【０１４４】値に関しては、ストリング値に対して値が
この格納処理中に見えるように表示する。インスタンス
値に関しては、この格納処理過程中に値が見え、かつこ
のインスタンスに関するクラスに対して「格納」という
メソッドを呼び出す（他で説明されている作成のための
「新」メソッドを伴うメソッド方法と同様の「優先」を
考慮に入れた多重メソッド方法を用いる）。このインス
タンスに関連するクラスを印付けし、インスタンスのク
ラス列内の各クラスと関連するシェアードプールおよび
プライベートプールを走査および印付けを行う。

【０１４５】クラスに関しては、デジタル署名済の（ま
たは帰属させられた）許可または認証を含むクラスプロ
グラム定義の印付けと、クラスのベースクラスがあれば
その走査および印付けとを行う。

【０１４６】印付けがなされたアイテムを格納するため
に、クラスの場合には、（現状において適切または決定
された）ソースコードおよび／またはｐコードのハッシ
ュが常に格納される。ソースコードまたはｐコードのイ
メージもしくはその両方のイメージを格納することも可
能であるが、それらは、好ましくは、全体的な認証を受
けないセルの部分に格納される。

【０１４７】また、解釈／実行プログラムのレベルおよ
び各クラスプログラムの適用バージョンのレベルも格納
される。これにより、置換しても既存インスタンス内の
データと機能上一致するならば、拡張／修正された置換
クラスに将来置換することが可能となる。

【０１４８】クラスに関連するいかなるデジタル署名、
証書および／または許可も格納することが望ましい場合
が多く、また、選択されたオプションおよび特定の実施
例の目的によっては、格納されたセルの認証または未認
証部分のどちらかの中にこれを格納するのが適当な場合
もある。

【０１４９】さらに、本件に援用されている本発明者の
上記進行型プログラムの出願に従って、格納されたセル
の一部として種々の他のファイルのコピーも格納するこ
とが望ましいであろう。

【０１５０】セルを格納する最終ステップとして、導入
選択または退避選択によって要求される場合には、セル
の重要な「認証された」部分がデジタル的に署名され
る。

【０１５１】進行オブジェクト指向型プログラムを送信
するには、（「セルを格納する」ことによって作成され
るであろう）格納されたセルのイメージを送信する。も
し（すべての）受信者が一定のクラス定義を有している
ことが知られていれば、格納された（および送信され
た）イメージ（これはより少量の送信されたイメージで
もよい）の中にクラス定義が含まれる必要はない。そう
でない場合には、一連の保存行為には、ソースコード、
ｐコードまたはその両方が含まれる（ソースコードを含
むことによって、異なるバージョンの解釈／実行プログ
ラムがクラスを再翻訳することが可能となり、異なるバ
ージョンの解釈／実行プログラムが互換性のないｐコー
ドを有する場合に便利となる）。

【０１５２】図１１に戻って、ディスク上に格納される
セル１１１は、セルを識別するセル識別フィールド１１
２を含む。例えば、セル識別によって、名前、例えばＸ
会社の購入注文が提供され、プログラムが、セルにアク
セスするためにファイルを走査してファイル名を引き出
すことができる。

【０１５３】図１１の１１４で示すように、後続の事項
すべては、所望するならば暗号化され、かつ圧縮形式で
格納され、セルに関連する特定のプログラムは、ディス
ク上のフィールド１１５に格納される（例えば、クラス
プログラム１，２，．．．Ｐを含む）。

【０１５４】図１１のラベル１１６で示すように、格納
されるセル内で後続の事項は、任意で認証されてもよ
い。従って、いったんこの事項がセル内に格納される
と、変更されれば、事項の明確なインテグリティに必ず
影響を与えるようになる。

【０１５５】フィールド１１７は、プログラム参照１か
らプログラム参照Ｎまでの「プログラム参照ベクトル」
のセットを含む。このようにして、すべてのプログラム
をディスク上に格納する代わりに、プログラムの明確な
参照を用いて、所望通りに、プログラムに対して後から
アクセスすることができるようにしてもよい。「プログ
ラム参照ベクトル」１１７は、各セルプログラムを明確
に識別し、必要があればプログラムライブラリからセル
プログラムに対してアクセスできるようになっている。

【０１５６】セル（またはサブセル）ベクトルフィール
ド１１８は、格納されたメインセルを定義し、１つの以
上のセルがファイルに関連して１つのメインセルが他の
サブセルを包含している場合には、サブセルも定義す
る。「データファイルベクトル」フィールド１２０は、
種々のファイル用のデータファイル仕様を含み、このデ
ータファイル仕様は、上記の進行型プログラム法に従っ
た進行型プログラム出願で用いられるプログラムを有し
ていてもよい。

【０１５７】「署名認証」フィールド１２２は、認証が
所望される場合に、プログラムセルを定義する署名認証
事項に関連する署名を格納するために用いられる。最後
に、フィールド１２３が、デジタル署名過程で用いられ
るいかなる証書をも保持する証書仕様のセットを格納す
る。

【０１５８】図１２から図２２は、格納されたセルの部
分を示す拡張データ構造をさら詳述するものである。図
１２に示すプログラムデータ構造１２４は、図１１に示
すクラスプログラム１からＰの拡大図である。プログラ
ムデータ構造１２４内の第１のフィールドは、「プログ
ラム日付」フィールド１２６で、プログラムが作成また
はコンパイルされた日付を定義しうる。

【０１５９】プログラム識別子フィールド１２８は、プ
ログラムに関連する名前である。「プログラム識別子」
１２８は、図１３で拡大して、後にさらに説明する。

【０１６０】「プログラム実行可能」フィールド１３０
は、プログラムが、ソースコード、ｐコード、またはそ
の両方で実行可能かどうかを特定し、プログラムモード
フィールド１３２を用いてプログラムがソースコードま
たはｐコードで実行可能かどうかを特定する。

【０１６１】プログラム自身は、図１２に示すソースコ
ードまたはｐコードでの実行可能イメージフィールド１
３３に常駐する。プログラム構造は、上述の図５で特定
したフォーマットで構成される。フィールド１３４で
は、生じうるプログラムの第２の実行可能イメージが、
ソースコードおよびｐコードが特定されていれば、格納
される。プログラム許可情報およびプログラム識別子の
デジタル署名が、フィールド１３６で格納される。前述
したように、プログラム許可情報は、本件で援用されて
いる出願人の出願中のプログラム許可情報特許出願に従
って用いられる。

【０１６２】プログラム識別子構造１２８は、プログラ
ミングの型（フィールド１３８）をプログラミング言語
を識別することによって識別する。

【０１６３】フィールド１４０は、オブジェクト識別子
が割り当てられたＸ．２０９プログラムを識別する。こ
のオブジェクト識別子は、容認された基準に従ってプロ
グラムを独自の方法で識別するＸ．２０９のプロトコル
に従った識別子である。プログラム名フィールド１４２
は、特定のプログラムをプログラム名で識別してユーザ
に表示する。

【０１６４】プログラム修正レベルフィールド１４４
は、プログラムの修正レベルを識別する。互換性フィー
ルド１４６は、互換データを作成する最下位から最上位
のプログラム修正の中で他の修正によって作成されたデ
ータと、プログラムがどの程度まで互換可能かを識別す
る。通常は、最上位の修正レベルは、最新の修正と一致
するであろうと思われる。しかしながら、もし最新のプ
ライベート変数、シェアード変数およびグローバル変数
が、将来改訂されるものと「上位」互換性を有すること
が予期される場合には、予定される将来の修正レベルは
除外することが可能である。さらに、プログラム識別子
構造１２８は、また、ソースプログラムフィールドのハ
ッシュ１４８およびｐコードプログラムフィールドのハ
ッシュ１５０も含む。

【０１６５】「プログラム参照」構造１５１は、図１１
に示すプログラム参照情報を拡大したものであって、図
１３の上述したプログラム識別子フィールド１２８を含
む。さらに、親クラスプログラムの「整数フィールド」
１５２は、１プログラムにつき１つ以上のクラスが許容
された実施例において互換可能として参照される親クラ
スプログラムのバージョンを識別した後、各クラス用に
定義された新たな構造に移動されなければならない。

【０１６６】図１５は、図１１で示す対応セルを拡張し
たセルデータ構造１１８の例である。セルを識別するセ
ル識別子１５６については、セル識別子の拡張バージョ
ンを示す図１８に関連して、後述する。

【０１６７】「インスタンスベクトル」フィールド１５
８は、セルに関連する各インスタンス毎に１つの入口を
有する。第１の入口は、このセルのフェースインスタン
スであるとみなされる。フィールド１６０は、（プログ
ラム参照ベクトル内に）索引を定義し、このインスタン
スと関連するクラスを含むプログラムを定義する。フィ
ールド１６２は、（１６０で識別される）プログラム内
のどのクラスかを識別する。１プログラムにつき１クラ
スを有するこの実施例では、このフィールドは余分であ
り、常に第１のクラスを定義する。インスタンスフィー
ルド１６４は、インスタンス内のシェアード変数を有す
る。フィールド１６６は、インスタンスの列内のクラス
と関連するプライベート変数プールのベクトルである。
フィールド１６７は、基本の（最も古い）クラスのプラ
イベートプールを定義し、フィールド１７０は、インス
タンスの列内の最も拡張された（最新の）クラスのプラ
イベートプールを定義する。

【０１６８】セルデータ構造１１８は、さらにグローバ
ル変数プールフィールド１７２を含む。さらに、セル１
１８は、データファイルタグ参照フィールド１７４を含
み、このフィールドは、上述の進行型プログラム関連出
願に関連した進行型プログラム関連において本発明が用
いられる場合のデータファイルの付加に関連する。この
データファイルタグフィールド１７４は、どのセルが関
連する付加データファイルを有するかを監視している。
証書フィールド１７６は、特定の（サブ）セル１１８と
ともに参照された証書を参照する。

【０１６９】図１６は、変数プールデータ構造１７８を
一般的に示すもので、プール内の変数１，２から最後の
変数まで（フィールド１７９から１８１まで）を含む。
この構造は、シェアード変数プール、プライベート変数
プールまたはグローバル変数プールと関連して用いられ
てもよい。

【０１７０】図１７は、変数構造１８２を示す。変数デ
ータ構造１８２は、変数を識別する変数名１８３と、変
数値フィールド１８４とを含む。本発明に従えば、変数
は、値としてのストリングまたはインスタンスを有して
いてもよい。変数値フィールドは、格納されたセル内で
Ｘ．２０９表示で表示される。Ｘ．２０９のデータ型
は、値の型を定義するために用いられる。すなわち、格
納された値がＸ．２０９ＯＣＴＥＴ型の場合は、この値
はストリング値であり、変数の値を直接に表示する。格
納された値がＸ．２０９整数型の場合は、この値はセル
のインスタンスベクトル（フィールド１５８）内で、整
数値によって索引が付けられたインスタンスを表示して
いるとみなされる。格納された値がＸ．２０９シーケン
ス型の場合は、この値は、異なる（サブ）セル内のイン
スタンスとみなされ、そこでは、シーケンスの第１の整
数が、セルベクトル１１８内で索引が付けられたセルと
関連するインスタンスベクトル１５８内のインスタンス
を、シーケンスの第２の整数を用いて定義する。変数が
（ステム以外の）単純な変数または修飾された変数を持
たないステムで、割当値を有しない場合は、この変数は
プールから削除される。しかしながら、変数が修飾は有
するが割当値は有しないステムの場合は、格納された値
はＸ．２０９のナル基本命令として表示される。

【０１７１】図１８は、図１５に示すセルデータ構造の
セル識別子１５６の分解図を示す。セル識別子１５６
は、古いフォーマットと新しいフォーマットとを分別す
るために用いられるセルフォーマットコードフィールド
１８６を含む。「モーメント構成」フィールド１８７
は、セルが作成された時刻を決定する。

【０１７２】フィールド１８８は、Ｘ．２０９オブジェ
クト識別子を用いてセルカテゴリーを識別するために用
いられ、例えば、所得税の書式作成に関するセルカテゴ
リーを識別するために用いてもよい。セルカテゴリー
は、フィールド１８９内で名前によって指定される。セ
ルインスタンス識別子フィールド１９０は、個別のセル
に関するインスタンスをさらに識別するために用いられ
てもよく、例えば、特定の個人の純税額を作成するため
に用いられてもよい。フィールド１９０から１９６は、
特定の場合に必要とされるインスタンスの名前、表題お
よび種々の修飾子を識別することに関する詳細を識別す
るセルをさらに提供する。

【０１７３】図１９は、データファイル仕様データ構造
１９８の実施例である。このデータファイル仕様データ
構造１９８は、特に発明者の出願中の上記進行型プログ
ラム関連出願の手法に従った進行型プログラム関連で用
いられると特に有効であり、そこでは、例えば、データ
ファイルが進行型プログラムに付加される。使用カウン
トフィールド２００は、識別されたデータファイルを用
いるセルの数を識別する。データ型フィールド２０２
は、ファイル内に含まれるデータの性質を識別して、フ
ァイルが、レコードか、ビットストリームか、または他
の型のファイルかを示す。ファイル内容フィールド２０
４は、ファイルおよびその構成要素レコードの性質をよ
り特定的に説明するために用いられる。

【０１７４】図２０は、ファイルタグデータ構造１７４
の例を示しており、図１５のフィールド１７４の分解図
である。「付加識別子」フィールド２０６は、データス
トリングであって、出願人の出願中の出願に記載されて
いる進行型プログラムの手法に従って付加されたファイ
ルを識別する。データファイル参照フィールド２０８
は、図１９に示すデータファイル仕様データ構造１９８
の索引である。「タグ使用カウント」フィールド２１０
は、当該セルから発生した付加ファイル要求の数を定義
する。

【０１７５】図１２〜図２２は、証書仕様データ構造１
２３の例であり、図１１の「証書仕様」フィールドの分
解図である。証書仕様データ構造１２３は、種々のデジ
タル署名関連で用いられるデジタル署名操作で用いられ
た各証書のコピーを含む。本発明のデジタル証書の用途
の一つは、種々の処理を行う権限をプログラムに与える
ために、各プログラムに署名することである。そのよう
なデジタル署名は、米国特許５，００５，２００，４，
８６８，８７７および５，００１，７５２で説明された
出願人の拡張デジタル署名法に従って実行されてもよ
い。デジタル署名および関連する証書の他の用途は、進
行型プログラム特許出願に関連するプログラム署名デー
タを有することである。デジタル証書は、また、セル全
体に対する署名を含む処理の場合にも有用であり、セル
全体があるユーザから他のユーザへ出願人の進行型プロ
グラム法によって送信される場合には、特に有用であ
る。使用カウントフィールド２１２は、証書の参照数を
指定する。使用カウントフィールドは、また、各セルま
たはサブセル内のタグ使用カウント、署名された変数の
署名および証書仕様キャッシュ内の他の証書による参照
も含んでもよい。セル内で用いられたすべての証書は、
この共通証書キャッシュメモリ内に格納されてもよい。
すべての証書には、「ハッシュ識別」証書フィールド２
１４およびフィールド２１６内の証書自体が含まれる。

【０１７６】「証書タグ」データ構造１７６の実施例を
図２２に示す。この構造では、セルが他のセル内に挿入
され、挿入されたセル内の証書の使用法を記録する。証
書タグデータ構造は、「証書ハッシュ識別」フィールド
２１８および「タグ使用カウント」フィールド２２０を
含み、当該セル内の使用数を識別する。

【０１７７】本発明の好ましい実施例は、ＲＥＸＸ（ま
たは、代わりにＢＡＳＩＣ）ソースを、オブジェクトク
ラスの定義か、またはコンパイルされたｐコードとして
受け取る。以前は見られなかったオブジェクトクラスが
発生する場合はいつでも、そのソースコードは、コンピ
ュータメモリ内のｐコード内に（動的に）コンパイルさ
れる。

【０１７８】図２３は、解釈／実行プログラムによって
実行される操作のシーケンスを示す一般的なフローチャ
ートである。はじめに、解釈／実行プログラムが、基本
のコンピュータ処理システムによって格納される。この
システムは、図１０に示す主制御域を作成する。呼出し
の一部としてまたは呼出しの直後に、解釈プログラム
は、初期実行の対象がクラス定義か、または既存のセル
かを決定する。この識別は、実行要求またはユーザから
の請求によって実施されてもよい。例えば、明確なパラ
メータであるかもしれないし、または最初のファイル名
から決定することができる場合もある。

【０１７９】クラスが実行されることになると、それに
伴って新たなセルが作成されることになる。解釈プログ
ラムは、活動中のセルの制御ブロックを作成し、クラス
列階層を格納する（より詳しくは後で説明する）。この
クラスのインスタンスが作成される。このインスタンス
は、セルの「フェース」クラスとなる。この「作成」メ
ソッドは、その後、このインスタンス用に呼び出され
る。

【０１８０】既存のセルが実行されることになると、こ
のセルは、（別の箇所で説明されるように）「再格納」
され、すべての構成素変数、値、プログラムクラス、お
よび挿入されたサブインスタンス等は、実行可能な状態
に再構成される。その後、フェースインスタンスが「再
開」メソッドを用いて呼び出される。

【０１８１】好ましい実施例では、今後の作業が認識さ
れるようにするために、「新規」か「再度」かに関わら
ず、フェイスインスタンスが環境（例えば「ウインドウ
ズ」）とインタフェースしなければならない。そのよう
なインタフェースは、（解釈プログラムに内蔵されてい
るか、または動的にリンクされていてもよい）種々の関
数およびルーチンを呼び出すことによって行われ、例え
ば表示された画像オブジェクト、タイマー、他のセル、
他のプログラム、データベースなどのような「環境」と
相互作用するために構築および準備する。

【０１８２】解釈／実行プログラムにおける上述のイン
タフェース関数の作業の一つに、最初または実行が通常
に進行している間を問わず、外部識別子のテーブルの保
守があり、外部の実体から解釈プログラムに対して生成
される後続のメッセージが、内部インスタンスおよびメ
ソッドに適切に合致するように保守を行う。このテーブ
ルは、種々のクラスによって実行される関数によって保
守される。

【０１８３】場合によっては、新規または再格納の要求
（それぞれ「作成」または「再開」）に関連する最初の
メソッド実行は、必要とされるだけの信号、すなわちさ
らに追加の処理を必要としない信号であってもよい。こ
の場合、解釈プログラムは、そのように（別の環境相互
作用を想定していないということを）知らされており、
特別の「組み込み」関数を用いることによって処理の中
止を行う。

【０１８４】上述以外では、通常の場合、解釈／実行プ
ログラムが、他のセルを含む環境（例えばウインドウ
ズ）、タイマー、装置、または他のプログラムによって
生成されたメッセージを受信することによって、操作が
実行される。

【０１８５】メッセージが受信されるか、または実行プ
ログラムによってメッセージが発生する場合には、メッ
セージは、インスタンスおよびメソッドを入力メッセー
ジ識別子と関連させるテーブルと合致する。その後、イ
ンスタンスが、指示されたメソッドを用いて有効とな
る。関連するインスタンスが呼び出されたメソッドから
戻ると、実行プログラムは、その後のメッセージを再び
待つ。このループは、セルは完了したので終了されるべ
きであるとセルが表示するまで継続する。この表示は、
終了組み込み関数によって行われる。

【０１８６】特に図２３に戻って、解釈／実行プログラ
ムの実行が開始されると、まずシステムがクラスまたは
セルのどちらを実行しているかが、決定されなければな
らない（３０２）。初期実行の段階で、プログラム（ク
ラス）が、セルおよびそのデータの作成のために実行し
ていてもよいし、またはシステムが上述したようにプロ
グラムとデータを一体として既に有している既存のセル
を処理していてもよい。

【０１８７】ブロック３０２におけるチェックにより、
セルが実行されていることが明らかになると、ルーチン
は分岐してブロック３１２へ進み、指定のセル名に基づ
いて「セル格納」関数が呼び出される。セル格納ルーチ
ンは、セルに適用されているデジタル署名があれば、認
証処理を行う。多くの場合、署名は、セルが格納されて
から変更されていない旨を示すために用いられる。セル
が再び格納されると、セルは別のものとなり、現在の署
名は疑わしいものとなる。

【０１８８】特筆すべきは、セル内では、デジタル署名
は、種々のデータ要素またはデータ構造に対し、無制限
の数のセルの実行中における不変のインテグリティを保
証するためも実行されうるが、その後の認証は、クラス
プログラムによって制御される事項であるということで
ある。セル格納組み込み関数では、署名データは、種々
のインスタンスに関連して処理を行うクラス定義プログ
ラムのために認証される。セル格納ルーチンでは、新た
なセルブロックが、すべての新たなポインタを保守する
ために作成される。すべてのクラスについての、後述す
るクラス再格納ルーチンに対して呼出しが行われる。各
拡張クラスが関連するベースクラスに従うように、クラ
スが列順に格納される。その後、復元プールルーチン
が、グローバル変数と、フェースインスタンスおよびそ
の他のインスタンスの復元インスタンスルーチン用に実
行される。フェースインスタンスを指し示すポインタ
は、上述のようにセルブロック内に格納される。いった
んインスタンスが確定すると、インスタンスを参照する
すべての変数が最終ポインタとともに更新される。

【０１８９】その後、セル格納ルーチンは、このメソッ
ドを有するすべてのインスタンスのために再開メソッド
を実行するように動作する。ルーチンは、各インスタン
スに対し、一度だけ再開を実行する。これは、各インス
タンスブロック内のフラグによって制御される。まず、
ルーチンがフェースインスタンスとともに開始する。イ
ンスタンスは、再開メソッドを、他の関連すると思われ
るインスタンス内で実行することができる。他のインス
タンスによって明確に実行されていない再開メソッドを
有するインスタンスの場合は、再スタートは、明確な呼
出しの後に自動的に実行される。これは、インスタンス
の仕様内のフラグによって制御される。各インスタンス
に関しては、後述の「新規作成」ルーチンに関してと同
様に、複数あり得る再開要求を実行する命令が、クラス
フィールド上の「優先」オペランドとともに処理され
る。

【０１９０】格納セルブロック３１２では、最新のセル
が格納される。ブロック３１２で格納されたセルは、第
１のセルとして格納される。ブロック３０４では、新規
のセルブロックが、メインセルまたは第１のセルとして
作成される。新規のインスタンスが、第１のセルのフェ
ースインスタンスとして退避される。新規のインスタン
スが作成される方法は、後述する。

【０１９１】新規のセルがブロック３０４で作成される
か、または既存のセルが格納されると、ルーチンはブロ
ック３３０に入って、セルが記憶装置に格納されたこと
となる。「ディスパッチャループ」と名付けられたルー
プが、セルに関連するプログラムが実際に作動している
旨を示す。

【０１９２】ブロック３３０では、終了が要求されたか
どうかを決定するチェックが行われる。終了が要求され
ていれば、ルーチンは分岐してブロック３４０へ進み、
そこで終了操作が行われ、その操作には、セルブロック
構造を削除して実行プログラムを終了させる処理を削除
するためのメインセルのフェースインスタンスの破棄メ
ソッドの実行も含まれる。

【０１９３】ブロック３３０のチェックによって終了が
なかったことがわかると、処理はブロック３３２へと続
き、第１の入力メッセージが検索される。このループを
通った後続のパスにおいて、次の入力メッセージが検索
される。「メッセージ参照テーブル」がアクセスされ
て、どのインスタンスが入力メッセージと関連づけられ
るかを決定する。関連するインスタンスが見つからない
場合は、メッセージは破棄され、可能な診断メッセージ
が発信されて、ルーチンは、分岐してブロック３３０の
ディスパッチャループの最初に戻る。

【０１９４】参照テーブルがインスタンスを指定すると
仮定して、当該インスタンスが呼び出される。指定のイ
ンスタンスの指定されたメソッドが、入力メッセージフ
ィールドをパラメータとして用いて実行される。メソッ
ドが実行される方法は、後で図２４に関連してさらに詳
述する。図２４に従ってメソッドが実行されると、メッ
セージが破棄され（３３６）、ルーチンは分岐してブロ
ック３３０に戻り、ディスパッチャループに再入力す
る。

【０１９５】図２４は、図２３のフローチャートに関連
して引用されている「メソッド実行」によって実行され
る操作のシーケンスを示すフローチャートである。「メ
ソッド実行」フローチャートは、繰り返し実行される。
ルーチンは、このシステム内で「インスタンスインディ
ケータ」として与えられる変数として扱われる特有のイ
ンスタンスを受け取り、与えられた入力パラメータを用
いてこのインスタンスと共に特有のメソッドを実行す
る。実際には、実行メソッドルーチンは、サブルーチン
という名の変数として作用する。

【０１９６】ブロック４０２に従って、「インスタンス
標識」がインスタンス値であれば、その「インスタンス
値」データに対する処理が、識別されたパラメータに基
づいて識別されたメソッドを用いて実行される（４０
４）。ブロック４０４では、実際のインスタンスは、イ
ンスタンス標識と同一になるようにセットされ、クラス
レベルは、インスタンスのクラスと関連する最新の（最
高位の）クラスレベルと同一になるようにセットされ
る。その後、ルーチンは分岐して、ブロック４２０のル
ーチンの「メソッド検索」部分へ進む。

【０１９７】インスタンス標識がインスタンス値でない
場合には、ブロック４０６において、インスタンス標識
が特別のストリング値「．」かどうかがチェックが行わ
れる。特別のストリング値「．」は、現在実行中のイン
スタンスが入力パラメータとともに動作していることを
示す。インスタンス標識が特別のストリング値「．」と
同一の場合は、実際のインスタンス変数は現在実行中の
インスタンスと同一になるようにセットされ、クラスレ
ベルは、図６に示す実行ブロックから派生した現在実行
中のインスタンス内のクラスレベルと同一になるように
セットされる。ルーチンは、その後分岐してメソッド検
索へ進み、ブロック４２０の最初の処理を行う。

【０１９８】ブロック４０６のインスタンス標識チェッ
ク結果が否定的な場合、ブロック４１０においてインス
タンス標識が特別のストリング値「．．」と同一かどう
かがチェックされる。同一であれば、実際のインスタン
ス変数が現在実行中のインスタンスと同一となるように
セットされ、クラスレベルは現在実行中のインスタンス
の親クラス（すなわち、現在実行中のクラスレベルのベ
ースクラスと対応するものであって、現在実行中のブロ
ックからの現在のクラスレベルから１を引いたもの、す
なわち、親クラス）のクラスレベルと同一となるように
セットされる。このようにして、親クラスに属するメソ
ッドは、現在のクラスが同名のメソッドを有している場
合でも、実行することができる。

【０１９９】ブロック４２０において、識別されてきた
クラスレベルに関連するメソッド名は、図３に関連して
上述したクラスブロックフィールド３２に常駐してい
る。その後、ブロック４２２において、メソッドテーブ
ル内にそのようなメソッドが存在するかどうかについて
チェックが行われる。そのようなメソッドがない場合に
は、ルーチンは分岐してブロック４２４へ進み、メソッ
ドエラー表示を生成する。

【０２００】そのようなメソッドがある場合には、図６
に示すように、新規の実行ブロックが作成される（４２
６）。ルーチン過程のこの時点で、用いられるべき実際
のインスタンス、実際のクラスレベルおよびプログラム
は既知である。プライベートおよびシェアード変数は使
用可能であり、図６の実行ブロックが作成される。従っ
て、この処理の結果、実際のインスタンスがインスタン
ス値としてセットされ、インスタンス実行カウントが増
分され、現在のメソッドおよびそれに関連する実際のク
ラスレベルが表示される。実行されたメソッドは、メソ
ッドがベースクラスから継承している場合には、表示さ
れるクラスレベルよりも以前のクラスレベルと関連づけ
られるであろう。

【０２０１】その後、現在のｐコードアドレスを新規の
メソッドの第１のｐコード命令としてセットすることに
よって、ルーチンの処理が準備される。新規の実行レベ
ルが実行スタックの先端に配置され、ルーチンは分岐し
て解釈／実行プログラムへ進み、命令を実行する。

【０２０２】命令は、実行スタック上の現在の（最高位
の）実行ブロックに制御されて実行される。ｐコード命
令は、当業者に理解されるような方法によって実行され
る。図２５，図２６および図２７のｐコード実行関連処
理に関して説明している、出願番号０７／８６３，５５
２の出願人の出願中の進行型プログラム関連出願を参照
してもよい。

【０２０３】ｐコード処理を実行する場合に、ｐコード
処理に関連するすべての変数につき、定数か、もしくは
ローカル型、プライベート型、シェアード型またはグロ
ーバル型かが決定され、また、その値が適切なプールか
ら設定されているかが決定され、もし値が存在しない場
合は、デフォルト動作が行われて、正しいプール内に変
数が作成される。いったん変数ロケータが見つかると、
現在値は、ｐコード処理に用いるために分離される。

【０２０４】好ましい実施例においては、値の割当てお
よび割当て解除が、ポインタおよび使用カウンタを用い
て行われる。すべての値が抽出され（およびその使用カ
ウントが増分され）、ｐコード処理のためにいかなる変
数を準備する以前に、表にされる。適切なｐコード実行
プログラムルーチンが、定数および変数から抽出された
値を用いて呼び出される。値の有効性がチェックされ
る。例えば、数字でないストリングは、計算処理には有
効でない。同様に、インスタンス値およびストリング値
をそれぞれ認めない種々の状況が存在する。

【０２０５】命令を実行すると、現在の実行ブロックに
よって示された次のｐコード命令が選択される。ｐコー
ド命令で示される変数および定数に基づいて、値が抽出
される。ｐコード命令に特に関連のあるルーチンが、次
に呼び出される。ｐコード実行に関連する後続の処理
は、次のようにさらに詳述される。すなわち、クラスか
らの新規インスタンスの作成、既存セルをオブジェクト
として格納、指定のインスタンスをセルとして格納／発
信、インスタンスと関連のあるメソッドの呼出し、セル
の終了、機密関数に対する安全性の提供およびメソッド
の終了という処理である。ｐコード命令が実行された後
に、ルーチンは、実行ブロックが示す次の命令にアクセ
スする。

【０２０６】各メソッドが実行されると、種々の変数、
すなわち、グローバル変数、シェアード変数、プライベ
ート変数およびローカル変数が、すべて用いられる。各
命令の一部として、種々のオペランド値が収集される
と、解釈／実行プログラムは、その変数がどのプールの
型に割り当てられているかを決定する。ローカル変数の
場合は、実行ブロックに関連してプールが決定される。
プライベート変数の場合は、各インスタンスブロック
は、プール要素のベクトルを含んでおり、クラス列の各
クラスにつき１つの要素を有している。プライベート変
数が発生すると、このベクトルはメソッドのクラスレベ
ルによって索引が付けられ（メソッドが開始すると、メ
ソッドブロック内に格納される）、所望する変数を含む
変数プールにアクセスする。

【０２０７】シェアード変数の場合は、各インスタンス
ブロックは、全列にある種々のクラス間で共用されるべ
きすべての変数用のプールヘッドを含む。グローバル変
数の場合は、グローバルプールのヘッドが、インスタン
スと関連のあるセル内に格納される。いったんプールが
わかれば、従来の方法、例えば名前の平衡多方向探索樹
（ｂツリー）またはハッシュ探索を用いて、変数自体を
見つけることができる。定数値は、種々の方法で取り扱
われうる。一つの方法は、プログラムクラス定義自体と
関連する変数として、定数値を取り扱うことである。

【０２０８】図２５は、新規インスタンス作成サブルー
チン内の操作のシーケンスを示すフローチャートであ
る。「新規インスタンス作成」ルーチンは、新規のイン
スタンスがどのように初期設定されるかを示す。まず、
ブロック１４０２において、格納クラスルーチンが、図
３に示す関連するクラスブロックの作成のために用いら
れる。ブロック１４０２では、新規のインスタンス値が
構成され、適切な情報が、各クラスレベルに関連するプ
ライベート継続変数プール用のヘッドのベクトルのよう
なインスタンスブロック内に格納される。ベクトルの第
１の要素は、列内最新のクラスのプライベート変数を制
御する、最終のベクトル要素までのうち、列内の最も古
いクラスの変数プールヘッドである。インスタンスブロ
ック内に格納された情報は、シェアード継続変数プール
ヘッド、関連クラスブロックのポインタおよび関連セル
ブロックのポインタをさらに含む。新規のインスタンス
値のアドレスは、ブロック１４０２で与えられる。その
後、ブロック１４２０で開始する新規実行ルーチンが開
始され、継承階層のうち最新のクラスが開始する。

【０２０９】与えられたインスタンスに関して、「作
成」メソッドを有するクラスが、列内のクラスの初期設
定を行うために実行される。

【０２１０】新規のインスタンスを作成する場合には、
通常、新規のインスタンス作成の元となる基本のインス
タンスが最初に開始して、自動的に初期設定されること
を確認するする必要がある。従って、新規のインスタン
スが作成される場合には、最も古いインスタンスが最初
に作成され、最新のインスタンスに対して働きかけるこ
とが重要である。しかしながら、この一般法則には例外
がある。「作成」メソッドルーチン内の「優先」オプシ
ョンにより、いずれかのオプションを選択することがで
きる。ブロック１４２０では、新規のローカル変数プー
ルが各クラスレベルが実行すると、新規のローカル変数
プールが提供される。

【０２１１】ブロック１４２２において、指定クラスの
作成メソッドが優先オプションを有しているか、または
指定クラスが指定親ベースクラスを有しないかを決定す
るためのチェックが行われる。もし指定クラスの新規の
メソッドが優先オプションを有しているか、または指定
クラスが親クラスを有していない場合には、ルーチンは
分岐してブロック１４２４へ進み、「作成」メソッドが
呼び出される。その後、ルーチンは分岐してブロック１
４２８へ進み、呼出者へのルーチンへと進む。この「作
成」メソッドは、適切と思われる場合には、親クラスの
作成メソッドを明示的に呼び出さなければならない。ブ
ロック１４２６で、ブロック１４２２におけるチェック
により、作成メソッドが「優先」オプションを有してい
ないことを検出したら、逆ルーチンが、親クラスを用い
てブロック１４２０を再度呼び出す。インスタンスは作
成が呼び出された旨を示すように印付けされる。

【０２１２】図２６および図２７は、クラスを格納する
ために用いられる操作のシーケンスを示す。この操作
は、以前特に用いられたことが知られていないクラスプ
ログラムを記憶装置に格納するために用いられる。パラ
メータ「クラス名」は、格納されるべきクラス名であ
る。これは、ファイルまたはライブラリアクセス情報を
伴うことも可能である。クラス格納プログラムは、既存
のブロックが指定のクラス名用に記憶装置内に既に存在
する場合には、まず決定することによって開始する（ブ
ロック１００２）。記憶装置内に存在するかどうかを、
ブロック１００４で、格納が完了したかどうかを決定す
るチェックが行われる。格納が完了していない場合に
は、ルーチンはエラーを示して終了する。このようなテ
ストは、プログラムが、自分自身の先行プログラムであ
るかどうか決定し、エラー状態を発生させた循環継承を
検知するかどうかを決定する（１００６）。格納が完了
した場合には、ブロック１００８においてルーチンはポ
インタを伴ってクラスブロックに戻る。ブロック１００
２のチェックによってプログラムが記憶装置に存在しな
いことが明らかになった場合は、新規のクラスブロック
が、各クラス格納に対応して作成されなければならな
い。このブロックは、格納失敗の場合には、将来削除さ
れる。

【０２１３】クラスブロックはクラスリストと結合さ
れ、クラスブロックが循環継承エラーを検知するために
不完全に格納されているかを決定するチェックが行われ
る。

【０２１４】その後、ルーチンはブロック１０１２に進
み、ローカル環境内のクラスプログラム仕様、例えば検
索ライブラリ、ファイルなどを設定する。ブロック１０
１２でプログラム仕様を位置指定した後、ブロック１０
１４で、仕様が現在バージョンのコンパイラによって処
理可能なコンパイルされたｐコードを既に表示している
かどうかを決定するがチェックが行われる。既に表示し
ていれば、ルーチンは分岐してブロック１０２４へ進
み、ｐコードが記憶装置に格納される。１０１４でのチ
ェックにより、仕様が既にコンパイルされたｐコードを
表示していない場合には、１０１６において、仕様がコ
ンパイラによって処理可能なソース言語を反映している
かどうかのチェックが行われる。仕様がコンパイラによ
って処理することができないソース言語を反映している
場合には、ルーチンは終了し、適切なエラーメッセージ
が生成される（１０１８）。

【０２１５】ソース言語が処理可能な場合には、ルーチ
ンはブロック１０２０に進み、ソースコードが適切な解
釈プログラムを用いて、ｐコードにコンパイルされる。
ｐコードが記憶装置内に格納されると、ハッシュが計算
される。ｐコードを作成したコンパイラのバージョンが
現在の実行プログラムと互換性があるかどうかを確認す
るチェックが行われる。元ソースプログラムのハッシュ
（またはｐコード内に格納された元ソースプログラムの
通常のバージョン）は、複写されてクラスブロックへ入
れられる。ソースコード自体を記憶することも可能であ
る。その後、ｐコードに割り当てられたクラス許可が行
われるが、その説明は後述する。

【０２１６】ブロック１０２０および１０２４での処理
の後、クラスブロック内にｐコードのハッシュが格納さ
れる（１０２６）。種々の情報もｐコードに関連してク
ラスブロックに提供され、その情報には、関連するｐコ
ードのハッシュ、疑似命令の開始アドレス、およびすべ
てのｐコードの開始アドレスが含まれる。クラスレベル
（全体のクラス列内のクラス数）は１に等しいと推定さ
れる。

【０２１７】ブロック１０３０において、クラスがベー
スクラスから派生しているかどうかを決定するチェック
が行われる。クラスがベースクラスから派生していない
場合は、ルーチンは分岐してブロック１０４０へ進み、
新規のメソッドをクラスブロックに関連するリストに組
み入れるが、これについては後で詳述する。クラスがベ
ースクラスから派生している場合には、クラス格納ルー
チンがベースクラスに対して再度実行される（１０３
２）。１０３４において、実行中のクラス格納にエラー
があるかどうかのチェックが行われ、エラーがあれば、
現在のクラスの格納に失敗しているので、エラールーチ
ンが１０３６において実行される。エラーが検出されな
ければ、この時点で、現在のクラスと、親またはベース
クラスとが（親の親クラスも）格納された状態にある。

【０２１８】ブロック１０３８において、ポインタがベ
ースクラスブロックに対してセットされ、新規のクラス
ブロックがベースクラスブロックを拡張したものである
旨を示す。さらに、列内のクラス数を反映して、新規の
クラスレベルがベースクラスのレベルより１大きくセッ
トされる。さらに、メソッドリストが、ベースクラスか
ら新規のクラスブロックに複写される。処理はブロック
１０４０へ続いて、新規のメソッド（ベースクラスから
既に格納されている既存のメソッドもあり得る）がクラ
スブロックに関連するリストに組み入れる。この組み入
れは、各メソッドに対するｐコード命令の明示的な開始
の設定を含む。

【０２１９】新規のメソッドが、（既にベースクラスま
たは親クラスから格納されている）既存のメソッドを複
写する場合には、新規のメソッドに置換される。このク
ラスブロックに必要とされる他の全てのデータが、どん
なものでも提供される。不完全に格納された標識は削除
され、すべての相情報が格納され、ルーチンはクラスブ
ロックポインタへ戻る。

【０２２０】図２８は、クラス許可を作成する処理のシ
ーケンスを示すフローチャートである。格納されると、
ルーチンはクラスの権限を認証し、証明する。これは、
ソースフォーマットまたはコンパイルされたｐコードの
フォーマットで格納されたクラスに適用する。このルー
チンで用いられるパラメータは、関連ソースイメージま
たはｐコードイメージのハッシュ、構造の型（ソースコ
ード言語またはｐコード）のハッシュ、クラス定義のデ
ジタル署名構造のハッシュおよび関連クラスに関連する
クラスブロックのハッシュである。ルーチンは、このコ
ード（もしくは許可定義または署名が無効な場合にはエ
ラー）用の許可構造に戻る。

【０２２１】ルーチンはブロック１３０２で処理を開始
して、与えられたハッシュ値に対して署名が正しいかど
うかが決定される。署名が正しくない場合には、エラー
を示す（１３０４）。署名が正しい場合には、ブロック
１３０６で、構造の型が署名ブロックで示されたとおり
であるかどうかを決定するためのチェックが行われる。
一致しない場合には、ブロック１３０７において、エラ
ールーチンが呼び出される。構造の型が署名ブロックで
示されたとおりである場合には、処理はブロック１３１
０に続く。１３１０において、署名がこのクラスに割り
当てられた明示的な許可を反映しているかどうかを決定
するための１つまたはそれ以上のチェックが行われる。
署名が許可を反映していれば、署名者に信頼性があると
決定される。このチェックは、様々な方法で行うことが
可能である。

【０２２２】まず、公開鍵が信頼性のある当事者に属し
ているかどうかのテストを行ってもよい。証書が信頼性
のある当事者に属しているかをテストするか、または署
名者がより高度の（信頼性のある）権限者による証書ま
たは委任によって代表として権限を付与されている旨を
決定することによって、許可を決定してもよい。テスト
には、直接の比較、ハッシュの比較、識別印の比較を含
んでもよい。

【０２２３】明示的な許可が特定されない場合には、状
況によっては、署名者の証明者について知られている情
報によって許可を推定するのが適当な場合もある。その
ようなテストおよび許可がどのように委譲されるかにつ
いての詳細は、本件で援用されている出願人の米国特許
５，００５，２００に示す。デジタル署名を用いた、可
能な多くの方法によって許可を行ってもよく、その方法
には、特定の公開鍵または現ユーザによって認識された
証書による署名、証書階層内に信頼性のある実体の公開
鍵または証書を有する公開／機密鍵を用いた署名、また
は出願人の米国特許５，００５，２００の手法で説明す
る電子文書許可のようなプロトコルを用いたプログラム
許可の明示的な割当てによる署名が含まれる。

【０２２４】ブロック１３１０でのチェックによって、
署名者に信頼性があると決定されると、処理はブロック
１３２０へと続く。信頼しうる許可が決定されるか、ま
たは推定される場合には、この許可のデジタル表示がク
ラスブロックからアクセス可能な構造内に格納される。
確認に失敗があると、認証および／または許可は確認で
きないので、（失敗の詳細、状況、実現、およびユーザ
構成などに基づいて）適切な動作が講じられねばなら
ず、その動作にはクラスの圧縮仕様、またはデフォルト
の許可の割り当てが含まれる。

【０２２５】実施例によっては、コードが署名されてい
ないかどうか、署名が無効かどうか、または署名者の権
限が承認されていないかどうかによって、種々の例外的
な動作が必要となってもよい。実行を中止したり、また
は最小（デフォルト）許可を不正なまたは署名されてい
ないクラス定義に対して単に割り当てるのが、適当な場
合もありうる。図２８に関連して説明したルーチン内に
作成した許可情報は、出願人の出願中の上記プログラム
許可情報出願において説明および使用したプログラム許
可情報データ構造を組み込む。

【０２２６】図２９は「クラス許可テスト」ルーチンの
操作のシーケンスを示すフローチャートで、このルーチ
ンは、プログラム許可情報と一致することを保証するた
めのテストを行う。このルーチンは、解釈／実行プログ
ラム内にある種々の関数によって呼び出され、インスタ
ンスが機密処理を要求する場合はいつでも呼び出され
る。入力は、全ファイル名のような詳細を含む関数の型
の仕様を含む。入力は、通常、要求の型および要求詳細
として提供される。クラスが格納されて処理が容認可能
かどうかについての決定がなされると、この要求された
処理は、得られた許可に対してチェックされる。

【０２２７】ブロック１８０２において、クラスが「完
全に」許可されたか（すなわち、どの関数も容認可能
か）どうかを決定するチェックが行われる。ルーチンが
完全に許可されると、ルーチンは分岐してブロック１８
５０へ進む。クラスがどんな機密処理でも行うことが完
全には許可されていない場合は、処理はブロック１８０
４へと続いて、要求の型がプログラム許可情報構造内に
定義されているかどうかの決定が行われる。要求タイプ
が許可構造内で定義されていない場合には、ルーチンは
分岐してブロック１８７０へ進み、要求の実行が拒否さ
れる。１８０４でのチェックが要求が定義されているこ
とを示すと、ルーチンは要求の詳細につき許可構造に対
してテストを行う（１８０６）。ブロック１８０８にお
いて、要求詳細がテストに合格していないかどうかを判
断するチェックが行われる。もし合格していない場合
は、ルーチンはブロック１８７０に分岐して、「拒否」
という応答を戻す。要求詳細がＯＫの場合は、ブロック
１８５０において、この（またはおそらくあらゆる）セ
ルが実行するであろう許可の上限を強制する解釈／実行
プログラムが指定したパラメータが存在するかどうかを
決定するチェックが行われる。指定のパラメータが存在
しない場合には、「オーケー」という応答が戻される。
要求が強制された制限内にある場合には、「オーケー」
という応答が提供される。

【０２２８】図３０、図３１および図３２は、「クラス
再格納」ルーチンによって処理される処理のシーケンス
を示す。このルーチンは、セルに格納されたインスタン
スに関連するクラス用のクラス定義およびｐコードおよ
びソースコードが知られているクラス定義を復元する。
この特定のクラス定義は、既にセル内の既存のインスタ
ンスと関連している。ベースクラス定義を拡張した全て
のクラスよりもベースクラス定義が優先するように、ク
ラスがセル内に格納される。

【０２２９】クラスを再格納する際には、クラスを前に
存在したのと全く同じように再構築する必要がある。再
格納クラスルーチンがブロック１２０２で開始し、将来
の格納に対応する新規のクラスブロックが作成される
（失敗の場合にはこのブロックは削除される）。クラス
ブロックはクラスリストと結合され、クラスブロックが
前述したように、循環継承を検出するために不完全に格
納されたかどうかにつき表示が行われる。

【０２３０】ブロック１２０６で、クラスｐコード定義
が既にセル内に提供されているかどうかを決定するため
のチェックが行われる。提供されていれば、ルーチンは
分岐してブロック１２３０へ進み、セル内にあるｐコー
ドイメージを処理する。ｐコード定義がない場合には、
クラスソースコードがセル内に提供されているかどうか
を決定するチェックが行われる。提供されている場合
は、ルーチンは分岐して１２２０へ進み、セル内のソー
スイメージを処理する。もし、ｐコードもソースコード
もなければ、ルーチンはブロック１２１０へ進み、クラ
ス定義がプログラム名、プログラムのバージョン、ｐコ
ードおよびソースコードのハッシュによって示される。
クラスの名前（およびおそらくハッシュ）は、ｐコード
またはソースの（他の）ローカルコピーを見つけるため
に用いられる。

【０２３１】ブロック１２１２で示すように、正しいプ
ログラムイメージが存在するかどうかを決定するための
テストが行われる。正しいプログラムイメージが存在し
ない場合にはルーチンは分岐して１２１３へ進み、エラ
ー表示を生成する。正しいプログラムイメージが存在す
る場合には、ブロック１２１４において、クラスのロー
カルバージョンがｐコードかどうかを決定するためのチ
ェックが行われる。ｐコードの場合は、ルーチンは分岐
してブロック１２３０へ進む。ローカルバージョンがブ
ロック１２１６で決定されたようなべースコードでない
場合には、エラーが生じていると確定して、処理はブロ
ック１２１７のエラールーチン内へと続く。

【０２３２】ソースコードが見つかると、ブロック１２
２０でソースコードはコンパイルされて、ソースのハッ
シュが計算される。計算されたソースハッシュがセルの
認証された相情報内で定義されたものと一致する場合に
は、クラスは受け入れられる。ソースハッシュが、ソー
スそのものではなく、むしろ例えばコメントが削除され
たり、重要でないスペースを削除されたような一般的な
フォームに基づく可能性もある。その後、ブロック１２
２０で、クラス許可がソースコードに関連して行われ
る。多重言語が支援されている場合は、ソース定義が当
該ソース定義に適切なコンパイラであればどれでも用い
てコンパイルされる。

【０２３３】次に、処理はブロック１２３２へ続く。前
の処理がブロック１２３０を含んでいた場合には、ｐコ
ードの指定されたバージョンが、ローカルファイル記憶
場所からまたはセル内自身に格納される。ｐコードのハ
ッシュは、格納されると計算される。既にコンパイル済
みのｐコードが、この解釈／実行プログラムが処理する
のにふさわしいフォーマットである旨確認するためのチ
ェックが行われ、ｐコードと関連するクラス許可が行わ
れる。計算されたｐコードのハッシュが、セルの許可部
分内で定義された予想値と同一かどうかを決定するため
のチェックが行われる。一致する場合には、クラスは受
け入れられる。一致しない場合には、エラー標識が生成
される。１２３２での処理により、ｐコード内に与えら
れた元ソースのハッシュを付加的に格納する。

【０２３４】ブロック１２３４において、与えられた元
ソースコードのハッシュがセルのｐコードクラス定義内
で指定されたものと一致する場合には、セルは受け入れ
られる。その後、ブロック１２３６において、クラスが
受け入れられるかどうか決定するためのチェックが行わ
れる。クラスが受け入れ可能であれば、処理はブロック
１２５０へ続く。ブロック１２３８で、代わりのプログ
ラムクラス修正レベルを考慮する処理ステップが実行さ
れる。この処理によって、所望する場合には、プログラ
ムの代替バージョンが可能となり、従って、ソースコー
ドまたはｐコードのハッシュが一致しなくなるので、互
換性は、明示的に示されたバージョン／修正フィールド
に基づく。

【０２３５】ルーチンは、セル内で定義（および使用）
されたクラスプログラムの修正／バージョンレベルと、
（ローカル記憶場所に見つかるかセルに挿入された）処
理中のプログラムイメージで定義された修正／バージョ
ンレベルの範囲とを比較する。セルインスタンスデータ
内で用いられた修正／バージョンレベルがプログラムの
レベルが支援するカテゴリに当てはまる場合には、プロ
グラムを用いることが可能となる。

【０２３６】実施例によっては、異なるプログラムがイ
ンスタンスに関連する修正／バージョンに責任を有する
同一の実体によってデジタル的に署名または許可される
ことを確認することも有用であろう。この場合には、セ
ル参照のデジタル署名も、デジタル署名を有していなけ
ればならない。実際のプログラムの修正／バージョン
は、インスタンスと結合された修正／バージョンよりも
有効に以前または以後に作成することができる。

【０２３７】有効な不一致で最も一般的なのは、プログ
ラムがインスタンスのバージョンよりも後に作成された
場合で、プログラムが支援するより古い互換性レベル情
報を単に有している場合であろう。やや一般的でない場
合は、プログラムが自分自身のレベルを超えるある範囲
のレベルを支援するという条件で実際に作成される場合
であろう。このことは、プログラムのアップグレードが
予定され、（少なくとも将来のプログラムレベルの一定
の範囲の）将来のデータ構造がより古いプログラムレベ
ルと互換性があるであろうことが知られている場合に
は、合理的といえるだろう。

【０２３８】ブロック１２４０において、クラスがまだ
受け入れられていないかどうかを決定するためのチェッ
クが行われる。クラスが受け入れられていない場合に
は、処理は分岐してブロック１２１０に戻り、セル仕様
内に与えられた互換説明を有する他のクラス定義候補を
探そうとする。

【０２３９】クラスが受け入れられると、ブロック１２
５０において、クラスがベースクラスから派生している
かどうかを決定するチェックが行われる。クラスがベー
スクラスから派生していない場合には、処理はブロック
１２６０へ続く。処理がベースクラスから派生している
場合には、処理はブロック１２５２へ続く。

【０２４０】格納されたセルにおいて（図１１）、関連
するベースクラスは、拡張クラスに先行するように特に
作成されるので、ベースクラスブロックを直接決定する
ことができる。ベースクラスブロックが拡張の際に与え
られたベースクラス名と対応しているかどうかだけをチ
ェックすればよい。ベースクラスは、既に格納され、現
在のセル仕様によって示されていなければならない。

【０２４１】その後、ポインタが、ベースクラスブロッ
クにセットされ、新規のクラスブロックがベースクラス
ブロックを拡張したものである旨を示す。増分された拡
張カウントが、新規のクラスブロックにセットされる。
その後、ブロック１２５２の処理が、ベースクラスから
新規のクラスブロックにメソッドリストを複写して終了
する。ルーチンはブロック１２６０で終了して、結合さ
れた新規のメソッド処理が図２６および図２７で説明し
たクラス格納ルーチンと関連するブロック１０４０で完
了したのと同様の方法で、新規のメソッドがクラスブロ
ックと関連のあるリストに（ｐコードと隔離されて）結
合される。

【０２４２】図３３は、「出口メソッド」関数における
処理のシーケンスを示すフローチャートである。この関
数は、メソッドから抜け出たり、メソッドから戻ったり
することによって作動する。現在実行中のブロックは中
断され、制御は以前の実行レベルへ移動する。まだ実行
中にインスタンスが（削除組み込み関数で明示的に、ま
たはどの変数もインスタンスを参照しなくなった場合に
黙示的に）削除されると、「削除保留」フラグがセット
され、現在実行中のメソッド（実行ブロック）が中断す
るとすぐに、削除が解除される。いったんこの状態にな
ると、このインスタンスに対してさらに起動が可能か、
または（おそらくインスタンスを他の変数に割り当てる
ことによって）インスタンスを復帰させる方法があるは
ずかどうかは実施例による。実施例によっては、保留中
の削除状態を解除するための「削除しない」を許容する
ことも可能であろう。

【０２４３】ブロック１５０２に戻って、組み込み関数
は、実行ブロックに関連するローカル変数プールを解放
する。実行ブロックは、実行スタックおよび解除記憶部
の最上位から取り除かれる。その後、インスタンスのブ
ロック実行使用カウントが減少する。ブロック１５０６
において、実行使用カウントが０より大きいかどうかを
決定するためのチェックが行われる。実行使用カウント
が０より大きければ、ルーチンは分岐してブロック１５
２０へ進む。実行使用カウントが０より大きくなけれ
ば、１５０８において中断中の明示的な削除が存在する
かどうか（変数使用カウントは０と等しいかどうか）を
決定するチェックが行われる。削除が存在すれば、ブロ
ック１５１０において、インスタンスが削除される。

【０２４４】その後、ブロック１５２０において、他の
実行ブロックがスタックに存在するかどうかを決定する
ためのチェックが行われる。実行ブロックが存在すれ
ば、ルーチンは分岐してブロック５０２へ進み、命令を
実行する。実行ブロックが存在しなければ、ルーチンの
実行は終了し、ルーチンは最初の解釈／実行プログラム
実行処理のブロック３３６に戻る。

【０２４５】図３４は、「インスタンス削除」組み込み
関数の処理シーケンスを示すフローチャートである。イ
ンスタンスに対する全ての参照が割り当てられなくなっ
た場合、または「削除」組み込み関数でインスタンスが
明示的に削除された場合に、インスタンスは削除され
る。インスタンス削除処理はブロック１１０２で開始
し、列内の各クラスに対する反復が、最新のものから開
始するようにセットされる。反復の後、ルーチンは分岐
してブロック１１２０へ進む。ブロック１１０４におい
て、このクラスに対して特に定義された（単に継承され
たものではない）破壊メソッドがあるかどうかを決定す
るためのチェックが行われる。クラスが定義する破壊メ
ソッドがない場合には、ルーチンは分岐して１１０２の
反復処理に戻る。特に定義された破壊メソッドがある場
合には、特定の破壊メソッドがブロック１１０６におい
て実行される。

【０２４６】その後、ブロック１１０８において、この
破壊メソッドがその親の破壊メソッドを呼び出すかどう
かを決定するためのチェックが行われる。もし破壊メソ
ッドがその親の破壊メソッドを呼び出さない場合は、ル
ーチンは分岐して、反復するためにブロック１１０２に
戻る。その後、処理はブロック１１２０に続き、変数
が、全てのプライベートプール内にあるクラス列の最新
のものから最も古いものまで削除される。さらに、シェ
アードプール内の変数が削除される。関連クラスの実行
インスタンスのカウントである実行クラスが減少する。
さらに、セル内の実行インスタンスのカウントであるセ
ル実行変数が減少する。

【０２４７】図３５は、「変数リセット」値ルーチン内
の処理のシーケンスを示すフローチャートである。変数
値がリセットされる場合はいつでも、この論理が用いら
れる。ブロック１９０２において、現在の値が削除され
る。その後、ブロック１９５０において、新規の値がセ
ットされる。新規の値がインスタンスかどうかを決定す
るためのチェックが行われる（１９５２）。新規の値が
インスタンスの場合は、処理はブロック１９５４へ続
き、インスタンスの使用カウントが増分される。新規の
値がインスタンスでない場合には、ルーチンは呼出しル
ーチンへ戻る。

【０２４８】図３６は、現在値を削除する際に実行され
る操作のシーケンスを示すフローチャートである。ブロ
ック１６０２において、現在値がストリングかどうかを
決定するためのチェックが行われる。現在値がストリン
グの場合には、ストリングが解除され（１６０４）、ル
ーチンは分岐してブロック１６５０へ進む。ブロック１
６０２におけるチェックが現在値がストリングでないこ
とを示す場合には、１６０６において、変数現在値がイ
ンスタンスかどうかを判断するためのチェックが行われ
る。変数現在値がインスタンスである場合には、インス
タンス使用カウントが減少する（１６０８）。その後、
インスタンス使用カウントが零より大きいかどうかを判
断するためのチェックが行われる。インスタンス使用カ
ウントおよびインスタンス実行カウントが０より大きい
場合には、ルーチンは分岐して１６５０へ進む。インス
タンス使用カウントが０より大きくない場合には、イン
スタンスはブロック１６２３で削除される。呼出しルー
チンに戻る（１６５０）。

【０２４９】本発明では、これまで特に述べてはいなか
ったが、種々の他の復元処理もさらに考慮している。例
えば、（既に作成済の）関連するクラスブロックを設定
させるインスタンス復元ルーチンが考慮されている。そ
の後、インスタンスは、関連するクラスブロックおよび
関連するセルブロックと結合される。インスタンス用の
シェアード変数プールは、プライベート変数プールと同
様に復元される。

【０２５０】プールは、各変数を関連するプール定義ヘ
ッダと結合し、各変数をその割り当てられた値があれば
それに結合することによって復元されてもよい。値は以
下のように復元されてもよい。すなわち、ストリング値
に関しては、値ブロックが指定のストリング値で作成さ
れる。インスタンス値に関しては、値ブロックが関連す
るインスタンスを参照して作成される。好ましい実施例
においては、インスタンス、すなわちプール、クラスポ
インタなどを制御する情報が、直接インスタンス値ブロ
ックに格納される。復元インスタンス関数は、インスタ
ンス値に対して用いられる。

【０２５１】（全ての変数などを付加して）再格納して
インスタンスを再開する場合、クラスがデジタル的に署
名されている場合には、署名は認証され、署名を含む実
行された許可はクラス定義と共に格納される。クラスが
派生している場合には、ベースクラスも位置設定され
（既に格納されていてもよい）、必要であれば格納され
る。

【０２５２】サブセルを格納するには、以下の処理を実
行してもよい。セル再格納はインスタンス値を作成し、
サブセルのフェースインスタンスはこのインスタンスを
呼出者に戻す。その後、呼出者は、そのインスタンス値
を他のインスタンスのように呼び出すことができる。デ
ィスパッチャは、どのグローバルプールがグローバル変
数参照と結合しているかを決定するために、インスタン
スに関連するセルを用いる。

【０２５３】本発明は、全てのセルを呼び出すことおよ
び他のセル内で全てのセルを論理的にカプセル化するこ
とも可能なように設計されている。そのような「内部」
セルは、「サブセル」として知られている。本発明の本
実施例では、各サブセルは、セル内のインスタンスが共
用している自分自身の別個のグローバル変数プールを有
している。代替実施例で、全てのサブセルの間でグロー
バルプールを共用することは可能だが、２つのセルを結
合した場合（１つのセルが他のセルによって呼び出さ
れ、どちらのセルも同じような名前のグローバル変数を
含んでいた場合）、変数の１つのバージョンが他のバー
ジョンによってオーバレイされるので、グローバル変数
の衝突を取扱う必要性が生じると思われる。

【０２５４】重要な操作の認証に戻って、まずクラス認
証について考察する。クラス定義のうち特に機密処理を
行うクラス定義は、クラス定義を共用する集団が信頼す
る権限者によってデジタル的に署名される。実施例や状
況によって、署名はクラスに対して付与される明示的ま
たは黙示的な許可を（種々の方法で）定義してもよい。
クラス定義は、ソースフォーム、ｐコードフォームまた
はその両方で署名されてもよい。

【０２５５】未署名のクラス定義が機密処理に参加でき
ないようにしているデフォルト（通常最小）許可に対し
て、未署名のクラス定義が与えられる。代わりに、実施
例によっては、未署名または未許可のクラスが、全く無
効で、かつ実行が許可されていないものとして扱うのが
適切な場合もある。

【０２５６】デジタル的に署名するクラス定義は、偽の
またはトロイの馬のようなクラスが害を与えるために用
いられ得る可能性を防止する。機密関数は、少なくとも
保護されなければならない。状況によっては、確実に全
てのクラスが明示的に許可されるようにするのが望まし
い場合もある。本発明の好ましい実施例は、個人ユーザ
またはユーザの団体が決定する信頼性のある基準を許容
する。

【０２５７】（ソースコードフォームまたはｐコードフ
ォームのうちどちらか適切なフォームの）クラス定義プ
ログラムのハッシュは、格納されると計算される。この
ハッシュは、他の許可情報と結合されて、デジタル署名
を用いて確認される。

【０２５８】出願人のプログラム許可情報出願は、オブ
ジェクトクラス定義を当てはめて理解されるべきであ
る。これにより、セルが実行を許可されている関数の指
定のあて先が許容される。

【０２５９】セルの確認に関して、格納されたセルまた
は他のユーザに送信されたセルに署名すると、エラーま
たは故意に害を与えることによって変更される可能性が
防止される（たとえ送信者が変更する場合でも、後で証
明できる）。

【０２６０】本発明の好ましい例では、セルの重要部分
のみが署名され、その重要部分には以下のものが含まれ
る。すなわち、種々のクラスの名前、ハッシュおよび他
の識別参照、変数プール、変数、値、変数および値の相
互関係および種々のクラスとの関係、インスタンス、な
らびにプールおよび変数である。

【０２６１】クラス定義自身は、代理（名前、他の識別
子および／またはハッシュ値）によって署名されればよ
く、デジタル署名全体を無効にすることなく、安全に、
格納されたセルに付加または除去されうる。しかしなが
ら、クラスプログラムをそのハッシュによって確認する
ことによって、不正で、変更されたバージョンは置き換
えることができないことを保証する。これによって、安
全性のある適応性が提供される。

【０２６２】機密関数の確認に関し、「任意の」アセン
ブラ言語のような（組み込み）関数（またはシステムに
影響を与えるような他の関数）は本発明の解釈／実行プ
ログラム外で処理を行うが、これらは潜在的に機密的
で、そのような関数を呼び出すクラスの一部に信頼性が
ある必要がある。本発明は、関数を要求するインスタン
スが関数を実行する権限のあるクラスと関連づけられて
いない場合には、機密性が求められるいかなる関数活動
をも機密にすることによって安全性を強調する。

【０２６３】信頼性のあるクラスが、信頼性のない方法
で生じた情報（例えば、信頼性のない呼出者からのパラ
メータ、または他の（おそらく信頼性のない）インスタ
ンスを呼び出した結果）を用いて機密関数を呼び出す
と、信頼性のあるクラスは、同じ（またはより高位の）
許可信頼性のレベルを有するとは知られていないあらゆ
るソースから得た情報を確認する義務を有する。

【０２６４】機密性を有する組み込み関数には、以下の
ものを含むものもある。すなわち、デジタル署名を行う
読み込みファイル、書き込みファイル、作成ファイル、
削除ファイルである。アセンブラ内に書き込まれたか、
または本発明の解釈／実行プログラムを外部で直接監視
する他の方法で動作する「外部」モジュールまたは関数
を用いる場合はいつでも、潜在的な危険性を有すると考
えなければならない。そのような関数は、信頼性のある
クラス内に隔離され、適切に許可されなければならな
い。そのような関数が適切に書き込まれれば、信頼性の
あるクラスは他の通常の（信頼性のない）クラスによっ
て用いられ、危険な可能性に近づくことになりうる。

【０２６５】実施例の他の態様および修正は、本発明の
幾つかまたは全ての新規な特徴および利点があるが、当
業者にとって自明であろう。そのような全ての態様およ
び修正は、添付のクレームの範囲内に含まれることが意
図されている。

【０２６６】以上説明した本発明の構成ないし動作を今
一度概説すると、拡張されたオブジェクト指向のプログ
ラミング法に関連したコンピュータの操作方法により、
自動化された業務処理を効果的に行うフレームワークが
構築される。このオブジェクト指向のプログラミング法
は、進行型プログラム、すなわちデジタルデータ構造と
ともに用いられ、このデジタルデータ構造は、進行型プ
ログラムを送受信するために少なくとも一つの次のあて
先または受信者を決定することができる命令および関連
データのシーケンスと、次の受信者またはあて先に対し
てプログラムが決定したすべての関連データとを含む。
本願で説明する方法を用いて、受信者であるコンピュー
タユーザがオブジェクトを事前に知らなくても、オブジ
ェクトが一方のコンピュータユーザから他方のユーザへ
最も効率よく送信されるように、データがプログラムと
より密接に結合される。本発明は、オブジェクト「セ
ル」を用いており、このセルは、例えばディスクに記憶
されたデータ構造で、（関連する）オブジェクトインス
タンスの集合体を反映しており、実行が一時中断されて
いるが、後に同一または異なるプラットホームにおいて
再実行が可能である。オブジェクトインスタンスの集合
体は、記憶するためまたは他のコンピュータユーザへ送
信するためにセル（または「電子フォーム」）に集めら
れ、インスタンスは各クラス定義に不明確でないように
結合される。本発明は、また、セルの作成および使用の
ために改良されたツールを作成し、電子フォームがオブ
ジェクト指向技術を用いて定義されることが可能とな
り、すべてのユーザがすべてのオブジェクトクラス定義
プログラムの互換ライブラリおよびそのクラス同一同期
バージョンを保持しなくても、そのようなフォームを種
々のコンピュータユーザ間で容易に送信することができ
る。本発明は、安全性および一貫性を保証するデジタル
署名法を提供し、ユーザは、セルに挿入されたオブジェ
クトクラスの一部がユーザのシステムまたはデータの安
全性または一貫性を失わせるか、破壊するか、または危
うくする可能性のある破壊的な「トロイの木馬」プログ
ラムであるかもしれないという危険性を負うことなく、
オブジェクトの集合体から構成される電子フォーム（す
なわち、セル）を受信および実行することができる。

【図面の簡単な説明】

【図１】本発明と共に使用しうる典型的な通信システム
を示すブロック図である。

【図２】本発明の典型的な実施例に従った「セルブロッ
ク」のデータ構造を表示すものである。

【図３】本発明の典型的な実施例に従った「クラスブロ
ック」のデータ構造を表示すものである。

【図４】典型的な「プログラムブロック」のデータ構造
である。

【図５】典型的な「プログラム構造」のデータ構造であ
る。

【図６】典型的な「実行ブロック」のデータ構造であ
る。

【図７】典型的な「インスタンス値」のデータ構造であ
る。

【図８】典型的な「変数ブロック」のデータ構造であ
る。

【図９】典型的な「値ブロック」のデータ構造である。

【図１０】典型的なマスタ領域ブロックのデータ構造で
ある。

【図１１】本発明の典型的な実施例に従った、ディスク
に書き込まれる「記憶されたセル」である。

【図１２】被記憶セルと関連のある拡張されたデータ構
造である。

【図１３】被記憶セルと関連のある拡張されたデータ構
造である。

【図１４】被記憶セルと関連のある拡張されたデータ構
造である。

【図１５】被記憶セルと関連のある拡張されたデータ構
造である。

【図１６】被記憶セルと関連のある拡張されたデータ構
造である。

【図１７】被記憶セルと関連のある拡張されたデータ構
造である。

【図１８】被記憶セルと関連のある拡張されたデータ構
造である。

【図１９】被記憶セルと関連のある拡張されたデータ構
造である。

【図２０】被記憶セルと関連のある拡張されたデータ構
造である。

【図２１】被記憶セルと関連のある拡張されたデータ構
造である。

【図２２】被記憶セルと関連のある拡張されたデータ構
造である。

【図２３】解釈プログラムまたは実行プログラムによっ
て実行される操作シーケンスを表した、一般的なフロー
チャートである。

【図２４】図２３のフローチャートに関連して言及され
ている実行メソッドルーチンによって実行される操作シ
ーケンスを示すフローチャートである。

【図２５】新規インスタンス作成サブルーチンにおける
操作シーケンスを示すフローチャートである。

【図２６】クラス格納ルーチンにおける操作シーケンス
を示すフローチャートである。

【図２７】クラス格納ルーチンにおける操作シーケンス
を示すフローチャートである。

【図２８】クラス許可設定の操作シーケンスを示すフロ
ーチャートである。

【図２９】プログラム許可情報との合致を保証するため
に検査するクラス許可検査ルーチンの操作シーケンスを
示すフローチャートである。

【図３０】クラス再格納ルーチンによって実行される操
作シーケンスを示している。

【図３１】クラス再格納ルーチンによって実行される操
作シーケンスを示している。

【図３２】クラス再格納ルーチンによって実行される操
作シーケンスを示している。

【図３３】出口メソッド関数の操作シーケンスを示すフ
ローチャートである。

【図３４】インスタンス削除組み込み関数のための操作
シーケンスを示すフローチャートである。

【図３５】変数値リセットルーチンにおける操作シーケ
ンスを示すフローチャートである。

【図３６】現在値を削除する際に実行される操作シーケ
ンスを示すフローチャートである。

【符号の説明】

Ａ〜Ｎ…端末装置 ２…メインメモリ付処理装置 ４…キーボード／ＣＲＴ ６，８，１０…モデム ７…不揮発性記憶装置

Claims (3)

【特許請求の範囲】
1. 【請求項１】 通信路に接続され、デジタルメッセージ
   を交換する複数のデジタルコンピュータを有する通信シ
   ステムにおいて、前記コンピュータ間で情報処理を行う
   ための方法であって、 第１のコンピュータ上で、命令シーケンスを受信する少
   なくとも１つの次のあて先を決定する命令を含むデジタ
   ルプログラム命令のシーケンスを実行し、当該命令シー
   ケンスは複数の互いに結合された関連プログラムを定義
   しているステップと、 前記命令シーケンスと関連するデジタルデータを伴うと
   ともに、少なくとも前記複数の関連プログラムを備える
   デジタル情報を、次のあて先に送信するステップとを備
   える。
2. 【請求項２】 メインメモリを有する少なくとも１つの
   コンピュータを有する通信システムにおいて、前記コン
   ピュータを操作するための方法であって、 前記メモリ内の第１のデジタルデータ構造を、当該デー
   タ構造と関連する複数のプログラムを識別するデジタル
   データを含んで形成するステップと、 少なくとも１つの第２のデジタルデータ構造を、関連す
   る前記複数のプログラムのうちの１つが実行する関数の
   リストを格納するプログラムクラス管理ブロックを含ん
   で形成するステップとを備える。
3. 【請求項３】 コンピュータシステムを操作する方法で
   あって、 デジタルセルを複数のプログラムを識別するメモリに格
   納するステップと、 前記デジタルセルをアクセスすることによって入力され
   た関数要求を処理し、前記複数のプログラムのいずれが
   前記関数要求を遂行するかを決定するステップと、 要求された関数を遂行するためのプログラムを実行する
   ステップとを備える。