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

1991 Fiscal Year Final Research Report Summary

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
Keywordsobject-oriented concurrent computation / reflection / ABCL / R / ABCL / 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

  • Research Products

    (28 results)

All Other

All Publications (28 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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1993-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi