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
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/Territory	Spain
City	Malaga
Period	6/10/02 → 6/14/02

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/3-540-47993-7_1

Library availability

Discover UIUC Full Text

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

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

pages = "1--36",

editor = "Boris Magnusson",

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

address = "Germany",

}

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

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

Y2 - 10 June 2002 through 14 June 2002

ER -

Semantic models for distributed object reflection

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this