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
T2 - 2nd International Symposium on Object Technologies for Advanced Software, ISOTAS 1996
Y2 - 11 March 1996 through 15 March 1996
ER -