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

反射构型模型研究

基本信息

批准号：
03235104
负责人：
米澤明憲
金额：
$ 6.72万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1991
资助国家：
日本
起止时间：
1991 至无数据
项目状态：
已结题

项目摘要

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

（a）正常面向对象的语言的执行为特征是处理系统的行为，静脉内的机制，中间体，中间 - 彼得，方法调度的机制和GAGA Zicolator。对于并行面向对象的语言，除了它们之外，还需要附表环和无-OD通信。但是，可能有必要根据应用程序的性质，ha-do-worn的a-套管以及执行环境来更改执行nell的行为。特别是在各种复杂性中，发生这种情况，尤其是在分布式环境中。因此，我们已经建立了一个实用的反射系统RBCL，具有动态和高描述，可以用Yuza定义的时间时间替换。（b）（1）递增LR语法分析方法的研究，这是属性语法倾斜属性评估方法的基础[1]。（2）使用属性语法的概念，我们进行了一项研究，以将分析树的每个无don作为对象描述图形y-界面。在每种情况下，它被认为是一种反思性模型，它会改变其内部状态（属性值），而通过外部世界的交互式操作在分析树上的每个no-do。代数规范描述在抽象的depe中是抽象的，可以独立于DE-TA的特定表达式。 CLOS（常见的Lisp对象系统）。