Detail

Types for Dynamic Reconfiguration

(joint work with Luis Caires)

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.

Extended presentation of a paper presented at Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006, Vienna, Austria. Lecture Notes in Computer Science, vol. 3924, Springer-Verlag 2006.