From Theory to Practice in Distributed Component Systems

This paper summarizes the keynote talk given at FACS'06, Formal Aspect of Component Systems, Prague, September 2006. The paper provides both an overview and a perspective of the papers cited in the reference. To achieve effective distributed components, we rely on an active object model, from which we build asynchronous and distributed components that feature various valuable properties.We will emphasize how important it is to rely on a precise and formal programming model, and how practical component systems can benefits from theoretical inputs.