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

反射构型模型研究

• 批准号: 04219104
• 负责人: 米澤 明憲
• 金额: $ 5.38万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1990
• 资助国家: 日本
• 起止时间: 1990 至 1992
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04219104/
• 关键词: リフレクション; 並列オブジェクト; 属性文法; 項書き換えシステム; グラフィカルユーザインターフェース

米澤グループでは、多数の並列オブジェクトとよばれる自立した実行主体(ソフトウェアモジュール)で構成されるシステムに関するレフレクションについて研究し、並列オブジェクトそれぞれあるいその一部が,自己やその外部環境に関するの[表現]を内蔵して、これを操作することにより柔軟性の高い進化が可能になるシステムの構築をめざした。その結果、そのようなシステムを記述するための2つのプログラム言語RbClとABCL/R2を設計・実装した。佐々グループでは、属性文法に基づくリフレクティブ構成モデルの研究の一環としてインクリメンタル属性評価法について研究した.まず、その基礎となるインクリメンタルLR構文解析法について研究し、属性評価の部分をつけ加え,プロトタイプを作成した.このインクリメンタルな属性評価器は,ソースプログラムを外界,属性付解析木をシステムと考えると,リフレクティブな計算モデルの実現になっている.大内グループでは、リフレクティブな関数型言語の形式的仕様を,項書き換えシステムとして実行可能なように代数的に記述する方法を確立しその結果,インプリメンテーションに先立って,項書き換えにより直接実行でき、かつ一階等式論理に基づいているので機械的な推論にがある程度可能になった。また実際にBrownというリフレクティブ言語の代数的仕様を作成し,それをCLOS(Common Lisp Object System)で実装した。中島グループでは、リフレクションのマルチメディアUIMSへの応用について研究した。マルチメディアUIMSでは、今までのUIMSとは違い動画、音声などの動的なデータを扱う必要がある。さらに、マルチメディアのデータ一般を統一的に扱うためには、動画、音声などの基本的なデータを組み合わせたデータを考える必要がありこのような複合データは、再生順序などの制御の概念を含んおり、この複合データをリフレクションの概念を使って系統的に管理することに成功した。

M jersey グ ル ー プ で は, most の オ ブ ジ ェ ク ト と よ ば れ る self-reliance し た line be subject (ソ フ ト ウ ェ ア モ ジ ュ ー ル) で constitute さ れ る シ ス テ ム に masato す る レ フ レ ク シ ョ ン に つ い て research し, tied for オ ブ ジ ェ ク ト そ れ ぞ れ あ る い そ の a が, their や そ の external environment に masato す る の within [performance] を 蔵 し て, The <s:1> れを operation する とによ とによ <s:1> softness <s:1> high <s:1> evolution が may になるシステム <s:1> construct をめざ た た. そ の results, そ の よ う な シ ス テ ム を account す る た め の 2 つ の プ ロ グ ラ ム words RbCl と ABCL/R2 を design be loaded し た. Zc 々 グ ル ー プ で は, attribute grammar に づ く リ フ レ ク テ ィ ブ constitute モ デ ル の study one part の と し て イ ン ク リ メ ン タ ル attribute evaluation method of 価 に つ い て research し た. ま ず, そ の based と な る イ ン ク リ メ ン タ ル LR compose text analytic method に つ い て research し, attribute evaluation 価 の part を つ け え, プ ロ ト タ イ プ を made し た. こ の イ ン ク リ メ ン タ ル な attribute evaluation 価 は, ソ ー ス プ ロ グ ラ ム を outside, pay parsing wood properties を シ ス テ ム と exam え る と, リ フ レ ク テ ィ ブ な computing モ デ ル の be presently に な っ て い る. Ouchi グ ル ー プ で は, リ フ レ ク テ ィ ブ な masato type number in the form of words の shi others を, a book き in え シ ス テ ム と し て may be line な よ う に algebra に account す を る method established し そ の results, イ ン プ リ メ ン テ ー シ ョ ン に first set っ て, a book き in え に よ り direct line be で き, か つ logical first-order equation に base づ い て い る の で machinery The degree of な inference にがある may be になった. ま た be interstate に Brown と い う リ フ レ ク テ ィ ブ words の algebra (others を し consummate, そ れ を CLOS (Common Lisp Object System) で be loaded し た. Island グ ル ー プ で は, リ フ レ ク シ ョ ン の マ ル チ メ デ ィ ア UIMS へ の 応 with に つ い て research し た. マ ル チ メ デ ィ ア UIMS で は, today ま で の UIMS と は violations い animations, sounds な ど の moving な デ ー タ を Cha う necessary が あ る. さ ら に, マ ル チ メ デ ィ ア の デ ー タ general を unified に Cha う た め に は, animation, and sounds な ど の basic な デ ー タ を group み close わ せ た デ ー タ を exam え る necessary が あ り こ の よ う な composite デ ー タ は, regeneration order な ど の suppression の concept contains を ん お り, こ の composite デ ー タ を リ フ レ ク シ ョ ン の を so っ て に pipe of the system The theory of する とに とに success た.

项目成果

Masahito KURIHARA: "An algebraic specification and an object-oriented implementation of a reflective language" Proc.IMSA '92 International Workshop on Reflection and Meta-level Architecture. 137-142 (1992)

Masahito KURIHARA：“反射语言的代数规范和面向对象的实现”Proc.IMSA 92 国际反射和元级架构研讨会。

服部 隆志: "MUMINシステムにおけるユーザ・インタフェース管理" 日本ソフトウェア科学会第9回大会論文集. 365-368 (1992)

Takashi Hattori：“MUMIN 系统中的用户界面管理”日本软件学会第九届年会论文集 365-368 (1992)。

荻原 一隆: "1パス型属性文法によるインクリメンタルな意味解析" 日本ソフトウェア科学会第9回大会論文集. 317-320 (1992)

Kazutaka Ogihara：“使用一次性属性语法的增量语义分析”日本软件学会第九届年会记录 317-320 (1992)。

佐々 政孝: "1パス型属性文法に基づくコンパイラ生成系Rie" コンピュータソフトウェア.

Masataka Sasa：《基于one-pass属性语法的编译生成系统Rie》计算机软件。

Yuuji Ichisugi: "¨RbCl:a Reflective Object-Oriented Concurrent Language without a Run-time Kernel¨," In Proc.of IMSA'92 International Workshop on Reflection and Meta-level Architecture,Tokyo,Nov.4-7,1992.24-35 (1992)

Yuuji Ichisugi：““RbCl：一种没有运行时内核的反射式面向对象并发语言”，In Proc.of IMSA92 International Workshop on Reflection and Meta-level Architecture，东京，11月4-7日，1992.24- 35 (1992)