Types for dynamic reconfiguration

João Costa Seco; Luis Caires

Types for dynamic reconfiguration

João Costa Seco, Luis Caires

DI - Departamento de Informática

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

4 Citations (Scopus)

Abstract

We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances, where static typing combined with a dynamic type-directed test on the structure of objects can enforce consistency of compositions and atomicity of reconfiguration.

Original language	English
Title of host publication	Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings
Editors	P. Sestoft
Publisher	Springer Verlag
Pages	214-229
Number of pages	16
ISBN (Print)	354033095X, 9783540330950
Publication status	Published - 14 Jul 2006
Event	15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - Vienna, Austria Duration: 27 Mar 2006 → 28 Mar 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	3924 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
Country	Austria
City	Vienna
Period	27/03/06 → 28/03/06

Keywords

Software architecture
Software engineering
Design

Fingerprint Dive into the research topics of 'Types for dynamic reconfiguration'. Together they form a unique fingerprint.

Cite this

Seco, J. C., & Caires, L. (2006). Types for dynamic reconfiguration. In P. Sestoft (Ed.), Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings (pp. 214-229). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3924 LNCS). Springer Verlag.

Seco, João Costa ; Caires, Luis. / Types for dynamic reconfiguration. Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. editor / P. Sestoft. Springer Verlag, 2006. pp. 214-229 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a1b6d53282884d7db925ef3c1e005d86,

title = "Types for dynamic reconfiguration",

abstract = "We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances, where static typing combined with a dynamic type-directed test on the structure of objects can enforce consistency of compositions and atomicity of reconfiguration.",

keywords = "Software architecture, Software engineering, Design",

author = "Seco, {Jo{\~a}o Costa} and Luis Caires",

year = "2006",

month = jul,

day = "14",

language = "English",

isbn = "354033095X",

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

publisher = "Springer Verlag",

pages = "214--229",

editor = "P. Sestoft",

booktitle = "Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings",

note = "15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 ; Conference date: 27-03-2006 Through 28-03-2006",

}

Seco, JC & Caires, L 2006, Types for dynamic reconfiguration. in P Sestoft (ed.), Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3924 LNCS, Springer Verlag, pp. 214-229, 15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, 27/03/06.

Types for dynamic reconfiguration. / Seco, João Costa ; Caires, Luis.

Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. ed. / P. Sestoft. Springer Verlag, 2006. p. 214-229 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3924 LNCS).

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

TY - GEN

T1 - Types for dynamic reconfiguration

AU - Seco, João Costa

AU - Caires, Luis

PY - 2006/7/14

Y1 - 2006/7/14

N2 - We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances, where static typing combined with a dynamic type-directed test on the structure of objects can enforce consistency of compositions and atomicity of reconfiguration.

AB - We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances, where static typing combined with a dynamic type-directed test on the structure of objects can enforce consistency of compositions and atomicity of reconfiguration.

KW - Software architecture

KW - Software engineering

KW - Design

UR - http://www.scopus.com/inward/record.url?scp=33745774366&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33745774366

SN - 354033095X

SN - 9783540330950

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 214

EP - 229

BT - Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings

A2 - Sestoft, P.

PB - Springer Verlag

T2 - 15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006

Y2 - 27 March 2006 through 28 March 2006

ER -

Seco JC , Caires L. Types for dynamic reconfiguration. In Sestoft P, editor, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Springer Verlag. 2006. p. 214-229. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Types for dynamic reconfiguration

Abstract

Publication series

Conference

Keywords

Other files and links

Cite this