リフレクティブ構成モデルの研究

(a)通常のオブジェクト指向言語の実行は、その処理系が持つ実行時カ-ネルすなわち中間コ-ドインタ-プリタ、メソッドディスパッチの機構、ガ-ベ-ジコレクタなどの振舞いによって特徴づけられている。並列オブジェクト指向言語の場合、それらに加えてスケジュ-リングおよびノ-ド間通信を実現する実行時カ-ネルが必要となる。しかし、アプリケ-ションの性質やハ-ドウエアのア-キテクチャ、実行環境の化に応じて実行時カ-ネルの振舞いの変更の必要が生じる場合がある。特に分散環境ではその多様さ複雑さから、そのような状況が多く発生する。そこで我々は、実行時ル-チンをユ-ザが定義したものと動的に置き換え可能で、なおかつ高い記述性を持つ実用的リフレクティブア-クテクチャシステムRbClを構築した。(b)(1)属性文法のインクリメンタル属性評価法の基礎となる、インクリメンタルLR構文解析法について研究した〔1〕。(2)属性文法の考え方を用い、解析木の各ノ-ドをオブジェクトとみなして、グラフィカル・ユ-ザ・インタフェ-スを記述する研究を行なった〔2〕。いずれも、外界からの対話的な操作によって、解析木上の各ノ-ドが交信しつつ、その内部状態(属性値)を変化させるリフレクティブなモデルであると考えられる.(c)リフレクテイブな関数型言語BrownおよびBlondの仕様を代数的仕様記述法により形式的に記述した.この仕様は抽象デ-タ型の意味で抽象的で,デ-タの具体的な表現と独立できる.また,一階等式論理に基づいているので機械的な推論に有利である.この仕様をCLOS(Common Lisp Object System)でインプリメントした.各等式はCLOSのメソッドとほぼ1対1に対応し,見通しよく,かつ,効率よく実現できた.

(a)通常のオブジェクト指向言語の実行は、その処理系が持つ実行時カ-ネルすなわち中間コ-ドインタ-プリタ、メソッドディスパッチの機構、ガ-ベ-ジコレクタなどの振舞いによって特徴づけられている。並列オブジェクト指向言語の場合、それらに加えてスケジュ-リングおよびノ-ド間通信を実現する実行時カ-ネルが必要となる。しかし、アプリケ-ションの性質やハ-ドウエアのア-キテクチャ、実行環境の化に応じて実行時カ-ネルの振舞いの変更の必要が生じる場合がある。特に分散環境ではその多様さ複雑さから、そのような状況が多く発生する。そこで我々は、実行時ル-チンをユ-ザが定義したものと動的に置き換え可能で、なおかつ高い記述性を持つ実用的リフレクティブア-クテクチャシステムRbClを構築した。(b)(1)属性文法のインクリメンタル属性評価法の基礎となる、インクリメンタルLR構文解析法について研究した〔1〕。(2)属性文法の考え方を用い、解析木の各ノ-ドをオブジェクトとみなして、グラフィカル・ユ-ザ・インタフェ-スを記述する研究を行なった〔2〕。いずれも、外界からの対話的な操作によって、解析木上の各ノ-ドが交信しつつ、その内部状態(属性値)を変化させるリフレクティブなモデルであると考えられる.(c)リフレクテイブな関数型言語BrownおよびBlondの仕様を代数的仕様記述法により形式的に記述した.この仕様は抽象デ-タ型の意味で抽象的で,デ-タの具体的な表現と独立できる.また,一階等式論理に基づいているので機械的な推論に有利である.この仕様をCLOS(Common Lisp Object System)でインプリメントした.各等式はCLOSのメソッドとほぼ1対1に対応し,見通しよく,かつ,効率よく実現できた.