Semantic models for distributed object reflection

José Meseguer; Carolyn Talcott

doi:10.1007/3-540-47993-7_1

Semantic models for distributed object reflection

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings
Editors	Boris Magnusson
Publisher	Springer-Verlag Berlin Heidelberg
Pages	1-36
Number of pages	36
ISBN (Print)	3540437592
DOIs	https://doi.org/10.1007/3-540-47993-7_1
State	Published - 2002
Event	16th European Conference on Object-Oriented Programming, ECOOP 2002 - Malaga, Spain Duration: Jun 10 2002 → Jun 14 2002

Publication series

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

Other

Other	16th European Conference on Object-Oriented Programming, ECOOP 2002
Country	Spain
City	Malaga
Period	6/10/02 → 6/14/02

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-47993-7_1

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

Cite this

Meseguer, J., & Talcott, C. (2002). Semantic models for distributed object reflection. In B. Magnusson (Ed.), Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings (pp. 1-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2374). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-47993-7_1

Semantic models for distributed object reflection. / Meseguer, José; Talcott, Carolyn.

Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings. ed. / Boris Magnusson. Springer-Verlag Berlin Heidelberg, 2002. p. 1-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2374).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Meseguer, J & Talcott, C 2002, Semantic models for distributed object reflection. in B Magnusson (ed.), Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2374, Springer-Verlag Berlin Heidelberg, pp. 1-36, 16th European Conference on Object-Oriented Programming, ECOOP 2002 , Malaga, Spain, 6/10/02. https://doi.org/10.1007/3-540-47993-7_1

Meseguer J, Talcott C. Semantic models for distributed object reflection. In Magnusson B, editor, Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings. Springer-Verlag Berlin Heidelberg. 2002. p. 1-36. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-47993-7_1

Meseguer, José ; Talcott, Carolyn. / Semantic models for distributed object reflection. Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings. editor / Boris Magnusson. Springer-Verlag Berlin Heidelberg, 2002. pp. 1-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f43723f6f1dd48648adae75247dc126d,

title = "Semantic models for distributed object reflection",

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.",

author = "Jos{\'e} Meseguer and Carolyn Talcott",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 16th European Conference on Object-Oriented Programming, ECOOP 2002 ; Conference date: 10-06-2002 Through 14-06-2002",

year = "2002",

doi = "10.1007/3-540-47993-7_1",

language = "English (US)",

isbn = "3540437592",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "1--36",

editor = "Boris Magnusson",

booktitle = "Object-Oriented Programming - 16th European Conference, ECOOP 2002, Proceedings",

}

TY - GEN

T1 - Semantic models for distributed object reflection

AU - Meseguer, José

AU - Talcott, Carolyn

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-Verlag Berlin Heidelberg

T2 - 16th European Conference on Object-Oriented Programming, ECOOP 2002

Y2 - 10 June 2002 through 14 June 2002

ER -