Semantic models for distributed object reflection

José Meseguer, Carolyn Talcott

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


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.

Original languageEnglish (US)
Title of host publicationObject-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings
EditorsBoris Magnusson
Number of pages36
ISBN (Print)3540437592
StatePublished - 2002
Event16th European Conference on Object-Oriented Programming, ECOOP 2002 - Malaga, Spain
Duration: Jun 10 2002Jun 14 2002

Publication series

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


Other16th European Conference on Object-Oriented Programming, ECOOP 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Semantic models for distributed object reflection'. Together they form a unique fingerprint.

Cite this