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

Fingerprint

Algebraic Semantics
Semantics
Rewriting Logic
Object-oriented
Computer systems
Dynamic Adaptation
Denotational Semantics
Concurrent
Object
Modeling
Model

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

An algebraic semantics of reflective objects. / Tahara, Yasuyuki; Kumeno, Fumihiro; Ohsuga, Akihiko; Honiden, Shinichi.

Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings. Springer-Verlag, 1996. p. 173-189 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1049).

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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1049, Springer-Verlag, pp. 173-189, 2nd International Symposium on Object Technologies for Advanced Software, ISOTAS 1996, Kanazawa, Japan, 96/3/11. https://doi.org/10.1007/3-540-60954-7_50
Tahara Y, Kumeno F, Ohsuga A, Honiden S. An algebraic semantics of reflective objects. In Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings. Springer-Verlag. 1996. p. 173-189. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-60954-7_50
Tahara, Yasuyuki ; Kumeno, Fumihiro ; Ohsuga, Akihiko ; Honiden, Shinichi. / An algebraic semantics of reflective objects. Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings. Springer-Verlag, 1996. pp. 173-189 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{15d82767059a4341adb2ac4ca0b40a77,
title = "An algebraic semantics of reflective objects",
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.",
author = "Yasuyuki Tahara and Fumihiro Kumeno and Akihiko Ohsuga and Shinichi Honiden",
year = "1996",
month = "1",
day = "1",
doi = "10.1007/3-540-60954-7_50",
language = "English",
isbn = "3540609547",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "173--189",
booktitle = "Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings",

}

TY - GEN

T1 - An algebraic semantics of reflective objects

AU - Tahara, Yasuyuki

AU - Kumeno, Fumihiro

AU - Ohsuga, Akihiko

AU - Honiden, Shinichi

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958968659&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958968659&partnerID=8YFLogxK

U2 - 10.1007/3-540-60954-7_50

DO - 10.1007/3-540-60954-7_50

M3 - Conference contribution

AN - SCOPUS:84958968659

SN - 3540609547

SN - 9783540609544

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 173

EP - 189

BT - Object Technologies for Advanced Software - 2nd JSSST International Symposium ISOTAS 1996, Proceedings

PB - Springer-Verlag

ER -