• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computational Reflection in Object-Oriented Concurrent Computing and its Applications

Research Project

Project/Area Number 01420045
Research Category

Grant-in-Aid for General Scientific Research (A)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionThe University of Tokyo

Principal Investigator

YONEZAWA Akinori  Univ. of Tokyo, Fac. of Sci. Professor, 理学部, 教授 (00133116)

Co-Investigator(Kenkyū-buntansha) WATANABE Takuo  Univ. of Tokyo, Fac. of Sci. JSPS Fellowships, 理学部, 日本学術振興会特別研 (20222408)
MATSUOKA Satoshi  Univ. of Tokyo, Fac. of Sci. Assistant, 理学部, 助手 (20221583)
Project Period (FY) 1989 – 1991
Project Status Completed (Fiscal Year 1991)
Budget Amount *help
¥11,800,000 (Direct Cost: ¥11,800,000)
Fiscal Year 1991: ¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 1990: ¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 1989: ¥4,800,000 (Direct Cost: ¥4,800,000)
Keywordsobject-oriented concurrent computation / reflection / ABCL / R / R2 / group wide reflection / discrete event simulation / Rbcl / inheritance abnormally / 並列計算 / オブジェクト指向計算 / プログラミング言語 / 自己反映計算 / ソウトウェア / ソフトウェア
Research Abstract

1. An Object-oriented Concurrent Language ABCL/R which is able to describe reflective computation was designed and its preliminary implementation has been completed. [1]
2. We leaned a new notion called "Group-Wide Reflection" which is the reflective capability for a group of concurrent objects as a whole. [4, 5, 9]
3. An Actor-based reflective model and language ACT/R was designed, which have the group-wide reflective capability. [4, 5, 9]
4. Various results including correctness of the reflective model have been obtained by analyzing the notion of Group-Wide Reflection. [4, 5, 9]
5. A prototype implementation of ACT/R was completed.
6. We defined a new reflective notion called "Hybrid Group Reflection" by incorporating the results of our research on Group-Wide Reflection into our language ACT/R. [6, 13, 14]
7. In conventional languages, important aspects of parallel computation such as scheduling and shared resource coordination could only be programmed in an ad hoc way. Our research resul … More ts enabled us to model and program such aspects of parallel computation in reflective (user) languages. Using our reflective language, we also showed that controlling and programming such aspects of parallel discrete event simulation can be done in a very succinctly way in the same language as the simulation is written. [13, 14, 11]
8. Our implementation of ABCL/R2 on a multi-processor workstation Omuron Luna88k demonstrated the effectiveness of the use of reflective capability in programming parallel discrete event simulation.
9. Using examples, we showed that the reflective capability provides an effective means for coping with the inheritance anomaly problem. [6]
10. The runtime kernel for an object-oriented concurrent language includes not only its intermediate-code interpreter, method dispatcher, and garbage collector, but also its scheduler and inter-node communication facilities. It is often the case in distributed computing environments that the behavior of the runtime k. emel needs to be adaptive according to its execution environment. For this purpose, we constructed a reflective architecture system called RbCl the almost all runtime facilities of which can be dynamically replaceable with user-defined ones. [8, 11]
Other Contributions : - International Workshops -
Two of our research members, Satoshi Matsuoka and Takuo Watanabe, organized (as program committee members) the following two international workshops :
1. ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, Ottawa, October 21 1990.
2. OOPSLA'90 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, Phoenix, October 7, 1991. Less

Report

(4 results)
  • 1991 Annual Research Report   Final Research Report Summary
  • 1990 Annual Research Report
  • 1989 Annual Research Report
  • Research Products

    (47 results)

All Other

All Publications (47 results)

  • [Publications] Takauo Watanabe and Akinori Yonezawa: "Reflection in an object-oriented concurrent language" In Proceedings of Conference on Object-Oriented Programming Systems,Language.and Applications (OOPSLA'88). 306-315 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa.: "Reflective computation in object-oriented concurrent systems and its applications." In Proceedings of the Fifth International Workshop on Software Specification and Design. 56-58 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Akinori Yonezawa and Takuo Watanabe: "An introduction to object-based reflective concurrent computation." In Proceedings of the ACM SIGLPAN Workshop on Object-Based Concurrent Programmings. Volume24. 50-54 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "Towards concurrent reflective computation model for distribted systems based on actor paradigm" In 6th Annual Conference Proceedings Japan Society of Software Science and Technology. 253-256 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "A concurrent reflective computation model based on actor paradigm." Technical report,Institute of Electronics,Information and Communication Engineers,. (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka,Ken Wakita,and Akinori Yonezawa: "Synchrinization constraints with inheritance:What is not possible-so what is?" Technical Report 90-010,Dept.of Information Science,Unicersity of Tokyo. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka and Akinori Yonezawa: "Metalevel solution to inhertance anomaly in cuncurrent object-oriented languages." Proc.ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architecture in Object-Oriented Progamming. 13 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuuji Ichisugi,Satoshi Matsuoka,Takuo Watamabe,and Akinori Yonezawa: "An objectoriented concurrent reflective architecture for distributed computing environments" In Proceedings of 29th Annual Allerton Conference on Communication,Concrol and Computing. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watamabe and Akinori Yonezawa: "An actor-based metalevel architecture for groupwide reflection." Foundation of Object-Oriental Languages,REX School/Workshop Lecture Notes in Computer Science. Volume489. 405-425 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Akinori Yonezawa.: "A reflective object oriented concurrent language ABCL/R" In Proceddings US/Japan Workshop on Parallel Lisp:Languages and Systems Lecture Notes in Computer Science. volume441. 254-256 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuuji Ichisugi,Satoshi Matsuoka,Takuo Watanabe,and Akinori Yonezawa.: "An objectoriented concurrent reflective for distributed environments." In 8th Annual Coference Proceedings Japan Society of Software Science and Technology,. 541-544 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe,Satoshi Matsuoka,and Akinori Yonezawa: "A hybrid group reflective architecture for object-oriented concurrent programming." In Proceedings of JSPP'91,. 421-428 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka Takuo Watanabe,and Akinori Yonezawa: "Hybird group reflectice architecture for object-oriented concurrent reflective programming." In Proceedings of the European Conference on Object-Oriented Programming (ECOOP)'91. 512. 231-250 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka,Takuo Watanabe,Yuuji Ichisugi,and Akinori Yonezawa: "Object-oriented concurrent reflective architectures." In Proceedings of ECOOP Workshop on Object-Based Concurrent Programming,LNCS. (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "Reflection in an object-oriented concurrent language" Proceedings of Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'88). 306-315 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "Reflective computation in object-oriented concurrent systems and its applications" Proceedings of the Fifth International Workshop on Software Specification and Design. 56-58 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Akinori Yonezawa and Takuo Watanabe: "An introduction to object-based reflective concurrent computation" Proceedings of the ACM SIGLPAN Workshop on Object-Based Concurrent Programmings, volume 24 of SIGPLAN Notices. 50-54 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "Towards concurrent reflective computation model for distributed systems based on actor paradigm" 6th Annual Conference Proceedings Japan Society of Software Science and Technology. Japan Society of Software Science and Technology, Oct.253-256 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "A concurrent reflective computation model based on actor paradigm" Technical report, Institute of Electronics, Information and Communication Engineers. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa: "Synchronization constraints with inheritance : What is not possible - so what is?" Technical Report 90-010, Dept. of Information Science, University of Tokyo. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka and Akinori Yonezawa: "Metalevel solution to inheritance anomaly in cuncurrent object-oriented languages" Proc. ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architecture in Object-Oriented Programming. 13 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuuji Ichisugi, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa: "An object-oriented concurrent reflective architecture for distributed computing environments" Proceedings of 29th Annual Allerton Conference on Communication, Concrol and Computing. Allerton Illinois. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "An actor-based metalevel architecture for group-wide reflection" Foundation of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, 1990. Springer-Verlag. 405-425 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Akinori Yonezawa: "A reflective object oriented concurrent language ABCL/R. In Proceedings US/Japan Workshop on Parallel Lisp : Languages and Systems, Sendai, 1990" Springer-Verlag. 254-256 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuuji Ichisugi, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa: "An object-oriented concurrent reflective for distributed environments" 8th Annual conference Prociety of Software Science and Technology. Japan Society of Software Science and Technology. 541-544 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takuo Watanabe, Satoshi Matsuoka, and Akinori Yonezawa: "A hybrid group reflective architecture for object-oriented concurrent programming" Proceedings of JSPP'91. 421-428 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa: "Hybrid group reflective architecture for object-oriented concurrent reflective programming" Proceedings of the European Conference on Object-Oriented Programming (ECOOP) '91. Springer-Verlag. 231-250 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, and Akinori Yonezawa: "Object-oriented concurrent reflective architectures" Proceedings of ECOOP Workshop on Object-Based Concurrent Programming, Geneve, Switzerland.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Yuuji Ichisugi,Satoshi Matsuoka,Takuo Watanabe,and Akinori Yonezawa: "An ObjectーOriented Concurrent Reflective Architecture for Distributed Computing Environments(Extended Abstract)" Proceedings of 29th Annual Allerton Conference on Communication,Concrol and Computing,Allerton,Illinois,Oct.2ー4,1991.(1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Takuo Watanabe and Akinori Yonezawa: "An ActorーBased Metalevel Architecture for GroupーWide Reflection" Foundations of ObjectーOriented Languages,REX Scool/Workshop,Noordwijkerhout,The Netherlands,May/June 1990,Lecture Notes in Computer Science. 489. 405-425 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Akinori Yonezawa: "A Reflective Object Oriented Concurrent Language ABCL/R" Proceedings UK/Japan Workshop on Parallel Lisp:Languages and Systems,Sendai,1989,Lecture Notes in Computer Science. 491. 254-256 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 一杉 裕志,松岡 聡,渡部 卓雄,米澤 明憲: "分散環境のための並列オブジェクト指向言語のリフレクティブア-キテクチャ" 日本ソフトウェア科学会 第8会大会論文集. 541-544 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 渡部 卓雄,松岡 聡,米澤 明憲: "並行オブジェクト指向計算における自己反映計算の一方式:Hybrid Group Reflective Architecture" 情報処理学会,並列処理シンポジウム(JSPP'91)論文集. 421-428 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Satoshi Matsuka,Takuo Watanabe,and Akinori Yonezawa: "Hybird Group Reflectice Architecture fof ObjectーOriented Concurrent Reflective Programming" Proceefings of the European Conference on ObjectーOriented Programming (ECOOP)'91,Lecture Notes in Computer Science. 512. 231-250 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Hidehiko Masuhara: "Senior Thesis,Dept.of Information Science,University of Tokyo,March 1992." Study on Implementation of an ObjectーOriented Concurrent Reflective Language, (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Satoshi Matsuoka,Takuo Watanabe,Yuuji Ichisugi and Akinori Yonezawa: "Workshop on ObjectーBased Concurrent Programming,Geneve,Switzerland,July,1991.To appear in Lecture Notes in Computer Science,1992." ObjectーOriented Concurrent Reflective Architecturs, (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Takuo WATANABE,Akinori YONEZAWA: "An actorーbased metalevel architecture for groupwide reflection." Proceedings of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in ObjectーOriented Programming. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Takuo WATANABE Akinori YONEZAWA: "An actorーbased metalevelarchitecture for groupwide reflection." Proceedings of the REX scool/workshop on foundation of ObjectーOriented Languages. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Satoshi MATSUOKA,Akinori YONEZAWA: "Metalevel solution to inheritance anomaly in concurrent objectーoriented languages." Proceedings of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in ObjectーOriented Programming.(1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Satoshi MATSUOKA,Takuo WATANABE,Akinori YONEZAWA: "Hybrid group reflective architecture for objectーoriented concurrent re^^´flective programming."

    • Related Report
      1990 Annual Research Report
  • [Publications] Takuo Watanabe,Akinori Yonezawa: "Reflective Computaion in ObjectーOriented Concurrent System and its Applications" Proceedings of the Fith International Workshop on Software Specification and Design. 56-58 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Akinori Yonezawa,Takuo Watanabe: "An Introdution to ObjectーBased,Reflective,Concurrent Computation" Proceedings of the ACM SIGPLAN Workshop on ObjectーBased Concurrent programming. 50-54 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 渡部卓雄,米澤明憲: "分散システムのための並列自己反映計算モデルにむけて" 日本ソフトウェア科学会第6回大会論文集. 253-256 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 渡部卓雄,米澤明憲: "アクタ-モデルにもとづいた並列自己反映計算モデル" 電子情報通信学会ソフトウェア基礎論研究会. COM89ー97. 77-85 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Takuo Watanabe,Akinori Yonezawa: "Reflection in an ObjectーOriented Concurrent Computation Model" A.Yonezawa(Ed.),ABCL;an ObjectーOriented Concurrent System,MIT Press. 45-70 (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] G.Agha,P.Wegner and A.Yonezawa(Editors): "Proceedings of the ACM SIGPLAN Workshop on ObjectーBased Concurrent Programming" ACM Press, 214 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] A.Yonezawa Editor: "ABCL:AN ObjectーOriented Concurrent System" MIT Press, 329 (1990)

    • Related Report
      1989 Annual Research Report

URL: 

Published: 1989-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi