Reactive objects

Abstract

In the reactive approach, system components are not supposed to execute at their own rate, but are instead driven by a logical common clock, defining global instants. The reactive object model introduced in this paper, is an object based formalism matching the reactive paradigm. In this model, methods can be invoked using instantaneous non-blocking send orders, which are immediately processed (that is, processed during the current instant); moreover, a method cannot execute more than once at each instant. The reactive object model is described and compared to the actor model, then a prototype language based on this model is introduced; the semantics in π-calculus is given; finally its expressive power is shown on the example of a broadcast communication mechanism.

Résumé

L’approche réactive suppose que les composants d’un système parallèle ne s’exécutent pas à leur propre rythme, mais sont dirigés par une horloge logique qui définit des instants globaux. Le modèle des objets réactifs introduit dans cet article est un formalisme basé-objets fondé sur le paradigme réactif. Dans ce modèle, les méthodes sont appelées par des ordres d’exécution instantanés et non bloquants, traités immédiatement (durant l’instant courant). De plus, une même méthode ne peut s’exécuter plus d’une fois durant le même instant. Le modèle des objets réactifs est décrit et comparé au modèle des acteurs, puis un langage prototype fondé sur ce modèle est introduit. La sémantique du modèle est donnée en π-calcul. Pour finir, on montre sa puissance d’expression à travers l’exemple d’une communication diffusée.