Contexte :
Le langage BDL [1] est un enrichissement des diagrammes de classes UML avec des
concepts comportementaux. Chaque classe se présente comme un graphe orienté
dont les sommets sont des événements valués. Ces graphes spécifient des
contraintes d'ordonnancement entre leurs événements sommets. Une classe
comporte une disjonction de tels graphes, éventuellement (mais non
nécessairement) gardée. L'exécution d'un objet procède par réactions
successives. Chaque réaction transforme l'état de l'objet en réaction à
l'environnement et émet lui-même des événements à destination de
l'environnement. Deux objets se composent par unification de leurs réactions
respectives.
BDL récupère en fait la technologie développée pour les langages synchrones (Esterel, Lustre, et en l'occurrence plus particulièrement Signal), tout en offrant une notion d'abstraction appropriée. Le point nouveau, qui repose sur des résultats fondamentaux récents, est la possibilité d'interpréter une classe BDL indifféremment selon un mode synchrone ou asynchrone, avec la même faculté pour les communications entre objets.
Objectif de travail :
Le travail portera sur l'étude de la répartition de programmes BDL en utilisant
des résultats récents sur la désynchronisation de systèmes de transitions
synchrones [2]. Il s'agira de proposer des heuristiques permettant de raffiner
des programmes BDL non désynchronisables en programmes équivalents
désynchronisables, et ensuite de proposer des protocoles répartis permettant
l'exécution sur des architectures réparties des programmes BDL désynchronisés.
Bibliographie :
[1] J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon,
BDL, a Language of Distributed Reactive Objects, ISORC'98, The 1st IEEE
International Symposium on Object-oriented Real-time Distributed Computing,
Kyoto, Japan, April 1998.
[2] A. Benveniste, B. Caillaud, P. Le Guernic, From Synchrony to Asynchrony,
CONCUR'99, Concurrency Theory, 10th International Conference,
pages 162-177, August 1999, Lecture Notes in Computer Science, vol. 1664.