An algebraic semantics of reflective objects

Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Reflection or metalevel architecture has received attention in recent years, since this approach provides functional extension and dynamic adaptation of computer systems. In this paper, we propose a technique to introduce reflection into a kind of algebraic system called rewriting logic. Since rewriting logic can model concurrent object-oriented systems, our technique enables modeling of reflective object-oriented systems including metaobjects and metaobject protocols. A framework for developing denotational semantics is given based on a category-theoretic model. We present some problems for finishing our semantics which remain unsolved.

Original languageEnglish
Title of host publicationObject Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings
PublisherSpringer-Verlag
Pages173-189
Number of pages17
ISBN (Print)3540609547, 9783540609544
DOIs
Publication statusPublished - 1996 Jan 1
Externally publishedYes
Event2nd International Symposium on Object Technologies for Advanced Software, ISOTAS 1996 - Kanazawa, Japan
Duration: 1996 Mar 111996 Mar 15

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1049
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Symposium on Object Technologies for Advanced Software, ISOTAS 1996
CountryJapan
CityKanazawa
Period96/3/1196/3/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'An algebraic semantics of reflective objects'. Together they form a unique fingerprint.

  • Cite this

    Tahara, Y., Kumeno, F., Ohsuga, A., & Honiden, S. (1996). An algebraic semantics of reflective objects. In Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings (pp. 173-189). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1049). Springer-Verlag. https://doi.org/10.1007/3-540-60954-7_50