Advertisement

Annales Des Télécommunications

, Volume 51, Issue 9–10, pp 459–473 | Cite as

Objets Réactifs

  • Frédéric Boussinot
  • Guillaume Doumenc
  • Jean-Bernard Stefani
Article
  • 19 Downloads

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.

Mots clés

Traitement réparti Méthode orientée objet Langage programmation Sémantique Calcul symbolique Parallélisme 

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.

Key words

Distributed processing Object oriented method Programming language Semantics Symbolic calculus Parallelism 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AFK+93]
    Agha (G.), Frolund (S.), Woo Young (K.), Panwar (R.), Patterson (A.), Sturman (D.). Abstraction and modularity mechanisms for concurrent computing. In Gul Agha and Peter Wegner and Akinori Yonezawa, editor, Research Directions in Concurrent Object Oriented Programming, MIT Press (1993), pp. 3–21.Google Scholar
  2. [Agh86]
    Agha (G.). Actors: a model of concurrent computation in distributed systems.MIT Press (1986).Google Scholar
  3. [Arc95]
    ***. ODP reference model: architecture0. ITU-T-ISO/IEC Recommendation X.903.International Standard 10746-2 (Jan. 1995).Google Scholar
  4. [BB92]
    Berry (G.), Boudol (G.). The chemical abstract machine.TCS (1992), 96, pp. 217–248.MATHCrossRefMathSciNetGoogle Scholar
  5. [BdS96]
    Boussinot (F.), Simone (R. de). The sl synchronous language.IEEE Trans. Software Engineering (Apr. 1996), 22, n° 4, pp. 256–266.CrossRefGoogle Scholar
  6. [BG92]
    Berry (G.), Gonthier (G.). The Esterel synchronous programming language: design, semantics, implementation. Science Of Computer Programming (1992), 19, n° 2, pp. 87–152.MATHCrossRefGoogle Scholar
  7. [BHHS93]
    Bernhard (R.), Hazard (L.), Horn (F.), Stefani (J. B.). Implementation of a synchronous execution machine on the chorus micro-kernel. InProc. 14th IEEE Real-Time Systems Symposium, Raleigh, NC, USA (Dec. 1993).Google Scholar
  8. [Bou91]
    Boussinot (F.). Reactive C: an extension of C to program reactive systems. Software Practice and Experience (1991), 21, n° 4, pp. 401–428.CrossRefGoogle Scholar
  9. [Bou92]
    Boussinot (F.). Réseaux de processus réactifs.Technical Report 1588, INRIA (1992).Google Scholar
  10. [Bou96]
    Boussinot (F.). La programmation réactive.CTST, Masson (1996).Google Scholar
  11. [Cor91]
    CORBIN (J. R.).The art of distributed applications: programming techniques for remote procedure calls. Sun Technical Reference Library.Springer Verlag (1991).Google Scholar
  12. [DGG94]
    Doumenc (G.), Garcin (G.), Gueydon (P.). Un système de contrôle/commande réactif strict. InProc. RTS’94 (1994).Google Scholar
  13. [Fou95]
    ***. odp Reference model: foundations. itu-tiso/iec Recommendation X.902.International Standard 10746-2 (Jan. 1995).Google Scholar
  14. [Hew77]
    Hewitt (C.). Viewing control structure as patterns of passing messages. Journal of Artificial Intelligence (1977), 8, n° 3, pp. 323–364.CrossRefGoogle Scholar
  15. [LB95]
    Laneve (C.), Boussinot (F.). Two semantics for a language of reactive objects. Technical Report RR-2511, INRIA (March 1995).Google Scholar
  16. [Mil91]
    Milner (R.). The polyadic π-calculus: a tutorial. Technical Report ECSLFCS 91 180, University of Edinburgh (Oct. 1991).Google Scholar
  17. [Obj91]
    ***. Object management group: the common object request broker: architecture and specification. OMG Document 91.12.1 (Dec. 1991).Google Scholar
  18. [OBS86]
    Onezawa (A.), Briot (J. P.), Shibayama (E.). Object-oriented concurrent programming in abcl/1. Proc. of the OOPSLA’86 (1986), pp. 258–268.Google Scholar
  19. [SAT+95]
    Stefani (J. B.), Auzimour (P.), Dang Tran (F.), Hazard (L.), Horn (F.), Perebaskine (V.). A real-time dpe on top of the chorus micro-kernel. Technical Report NT/PAA/TSA/TLR/4179, CNET (Jan. 1995).Google Scholar
  20. [Ste93]
    Stefani (J. B.). Computational aspects of QoS in an object based distributed system architecture. 3rd International Workshop on Responsive Computer Systems, Lincoln, NH, USA (Sep. 1993).Google Scholar
  21. [US91]
    Ungar (D.), Smith (R. B.). Self: the power of simplicity. Lisp and Symbolic Computation (1991), n° 4, pp. 187–205.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Frédéric Boussinot
    • 1
  • Guillaume Doumenc
    • 2
  • Jean-Bernard Stefani
    • 3
  1. 1.Ecole des Mines de Paris, cma, BP 207Sophia-Antipolis CDXFrance
  2. 2.Soft MountainEcullyFrance
  3. 3.CNET-France TélécomIssy Moulineaux, cedex 9France

Personalised recommendations