Guillaume Doumenc's research while affiliated with IMT Mines Alès and other places

Publications (10)

Chapter
We introduce a new execution model for implementing FDTs based on the reactive approach. In this model, called the PAM, systems are divided into several reactive entities communicating by an activation mechanism. This paper introduces the PAM approach and shows how different communication mechanisms such as asynchronous fifo in ESTELLE or multiple...
Article
: Reactive programs react continuously to sequences of activations comming from the external world. Reactive programming leads to a new programming style where one programs in terms of reactions to activations and reasons in a logic of instants. This paper define an extension of the C programming language called RC (for "Reactive C") to program rea...
Article
. We introduce a new programming model based on the object oriented approach, the reactive approach and the broadcast communication. In this model, interactions between objects are described in a natural way. At last, we present an implementation realized with the C++ and RC languages. Key Words. Concurrent object-oriented programming. Reactive pro...
Article
Introduction La notion de syst`eme r'eactif a 'et'e introduite par D. Harel et A. Pnueli et correspond `a des syst`emes qui maintiennent une interaction constante avec leur environnement [6]. Les interfaces homme/machine ou les jeux sur ordinateurs sont des exemples de syst`emes r'eactifs. R'ecemment, plusieurs langages ont 'et'e con¸cus pour perme...
Article
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 p...
Article
Full-text available
: 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-blocki...
Article
On décrit une nouvelle sémantique formelle du langage Esterel. Cette sémantique est donnée sous forme de signaux partiellement ordonnés entre eux. Cette sémantique est définie à partir d'un calcul de processus inhérent à Esterel et est ensuite étendue à Esterel tout entier. Cette sémantique est directe dans le sens où elle ne fait pas appel à la no...
Article
Full-text available
The Ecrins system is a tool for symbolic manipulation in process algebras. A process calculus is defined by the syntax and the conditional behaviour rules of its operators. From such a definition, the system builds an algorithm for evaluating the behaviours of the algebra terms. This computation is symbolic, and it can manage expressions with free...
Article
Full-text available
Disponible dans les fichiers attachés à ce document
Article
R esum e. Nous pr esentons dans ce document, un mod ele de programmation fond e sur l'approche ob-jet, l'approche r eactive e t l a c o m m unication par diiusion. Ce nouveau mod ele permet de d ecrire na-turellement les interactions pouvant appara^ entre les objets. Nous pr esentons ennn bri evement u n e impl ementation r ealis ee avec les langag...

Citations

... Our approach has strong similarities with, and is a sharpening of, FH-bisimulation, as proposed by de Simone in (de Simone 1984; de Simone 1985). (We remark, in passing, that FH-bisimilarity checking has been implemented in the tool ECRINS (Doumenc et al. 1990; Madelaine and Vergamini 1991).) Definition 5.1 (Rule-matching bisimulation). ...
... Encapsulation is not entirely unknown in reactive programming. The idea of reactive object model (ROM) [30] was first introduced by Boussinot et al. and subsequently refined [31] and combined with standards such as UML [32]. Here a program is a collection of reactive objects that operate synchronously relative to a global clock, similar to SP. ...