TY - GEN
T1 - Semantic models for distributed object reflection
AU - Meseguer, José
AU - Talcott, Carolyn
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.
PY - 2002
Y1 - 2002
N2 - A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. The model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.
AB - A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. The model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.
UR - http://www.scopus.com/inward/record.url?scp=84944052797&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944052797&partnerID=8YFLogxK
U2 - 10.1007/3-540-47993-7_1
DO - 10.1007/3-540-47993-7_1
M3 - Conference contribution
AN - SCOPUS:84944052797
SN - 3540437592
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 36
BT - Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings
A2 - Magnusson, Boris
PB - Springer
T2 - 16th European Conference on Object-Oriented Programming, ECOOP 2002
Y2 - 10 June 2002 through 14 June 2002
ER -