Active Objects and Distributed Components: Theory and Implementation

  • Authors:

  • Denis Caromel;Ludovic Henrio;Eric Madelaine

  • Affiliations:

  • INRIA Sophia-Antipolis, I3S, Université de Nice Sophia-Antipolis, CNRS,;INRIA Sophia-Antipolis, I3S, Université de Nice Sophia-Antipolis, CNRS,;INRIA Sophia-Antipolis, I3S, Université de Nice Sophia-Antipolis, CNRS,

  • Venue:
  • Formal Methods for Components and Objects
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

To achieve effective distributed components, we rely on an active object model, from which we build asynchronous and distributed components that feature the capacity to exhibit various valuable properties, as confluence and determinism, and for which we can specify the behaviour. We will emphasise how important it is to rely on a precise and formal programming model, and how practical component systems can benefit from theoretical inputs.