Types for dynamic reconfiguration

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

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 languageEnglish
Title of host publicationProgramming 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
EditorsP. Sestoft
PublisherSpringer Verlag
Pages214-229
Number of pages16
ISBN (Print)354033095X, 9783540330950
Publication statusPublished - 14 Jul 2006
Event15th 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 200628 Mar 2006

Publication series

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

Conference

Conference15th European Symposium on Programming, ESOP 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
CountryAustria
CityVienna
Period27/03/0628/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.