Types for Dynamic Reconfiguration

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.

• Type: Conference
• Year: 2006
• Where: ESOP
• Authors: João Costa Seco, Luís Caires
• Keywords: Dynamic Reconfiguration, Dynamic Type-directed Test, ESOP 2006, Programming Languages, Static Typing