Semantic models for distributed object reflection

José Meseguer, Carolyn Talcott

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

Abstract

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
PublisherSpringer-Verlag Berlin Heidelberg
Pages1-36
Number of pages36
ISBN (Print)3540437592
DOIs
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)
Volume2374
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other16th European Conference on Object-Oriented Programming, ECOOP 2002
CountrySpain
CityMalaga
Period6/10/026/14/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this