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

反射构型模型研究

基本信息

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

项目摘要

米澤の研究では、既に提案した、並列オブジェクト指向言語の計算モデルの一つであるアクタモデルに基づいた新しいリフレクティブな計算のモデルGroupーwide Reflecーtionに関してさらなる考察を行ない、モデルの正当性や、その応用などに関して様々な結果を得た。また、既に作成したリフレクティブな計算が表現可能な並列オブジェクト指向言語ABCL/Rに対して、Groupーwide reflectionの成果をとり入れ、新たに言語ABCL/R2を提案作成した。大内の研究では、リフレクション機能を持つ関数型言語Brownのインタプリタの代数的仕様記述を与えた。これは項書き換えシステムとして解釈可能な等式の集合であるため、リダクションにより直接実行可能である。また、従来の高階のラムダ計算に基づくものと異なり、一階の等式論理に基づいているため、プログラムに関する形式的な推論に適している。さらに、人間にとっても直接的に理解しやすい意味をもっているため、インプリメントや言語の拡張をしやすいと考えている。佐々の研究では、インクリメンタルな属性評価法について研究した。これは一般に、ソ-スプログラムに対する属性付き解析木が与えられているときに、ソ-スプログラムの一部が修正されたとき、必要最小限の再解析を行うだけで属性付き解析木を修正する方法である。属性付き解析木をオブジェクト、ソ-スプログラムを外界と考えると、これはリフレクティブなモデルとなっている。中島の研究では、分散オペレ-ティング・システムToMに関する研究を行なった。ToMの特徴の一つは、プログラムの単位であるモジュ-ルと、実行の単位であるスレッドを分離していることである。モジュ-ルをオブジェクト、スレッドのRPCをメッセ-ジと考えると、これは並列オブジェクト指向言語の一種とみなせる。しかもOSの機能自身もRPCで呼び出されるので、リフレクションにより実現されている。

在米泽的研究中，他进一步考虑了基于Actor模型的新反射计算模型Group-wide Reflection（并行面向对象语言的计算模型之一），并研究了该模型的有效性，并获得了各种结果。它的应用。此外，我们将全组反射的结果融入到已经创建的可以表达反射计算的并行面向对象语言ABCL/R中，并提出并创建了一种新语言ABCL/R2。大内的研究给出了具有反射函数的函数式语言 Brown 的解释器的代数规范描述。由于这是一组可以解释为术语重写系统的方程组，因此可以直接通过约简来实现。此外，与基于高阶 lambda 计算的传统方法不同，它基于一阶方程逻辑，使其适合程序的形式推理。此外，由于它具有人类容易直接理解的含义，因此我们相信它很容易实现和扩展该语言。在Sasa的研究中，他研究了一种增量属性评估方法。这通常意味着，当为源程序给出具有属性的解析树并且源程序的一部分被修改时，通过简单地执行最少的必要的重新分析来修改具有属性的解析树。如果我们把带有属性的解析树看作一个对象，把源程序看作外部世界，这就是一个反射模型。 Nakajima 的研究重点是分布式操作系统 (ToM)。 ToM的特点之一是它将作为程序单元的模块和作为执行单元的线程分开。将模块视为对象，将线程 RPC 视为消息，这可以被视为一种并行的面向对象语言。此外，操作系统功能本身是通过RPC调用的，因此它们是通过反射来实现的。