| |
Réalisation de spécifications incomplètes et
hétérogènes dans le langage BDL
Localisation : Irisa, Rennes
Equipe(s) : Pampa, Ep-Atr
Responsables : Benoît CAILLAUD (tél. direct
: 02 99 84 74 07, email :Benoit.Caillaud@irisa.fr),
Albert BENVENISTE (tél. direct : 02 99 84 72 35, email :
Albert.Benveniste@irisa.fr)
Mot-clés : Génie logiciel, télécommunications,
systèmes réactifs, répartition, spécifications
incomplètes, langages de scénarios, synchronisme,
asynchronisme, UML, BDL, adaptation de services.
Les phases initiales de la conception des logiciels répartis
reposent à l’heure actuelle sur des spécifications
partielles ou incomplètes exprimées dans des notations
hétérogènes telles que les diagrammes de séquences
ou les contraintes OCL dans le cadre de la notation UML. L’implantation
ou réalisation, sur des architectures réparties de
ces spécifications hétérogènes requiert
des transformations manuelles, empiriques et lourdes de celles-ci.
Le travail de thèse proposé a pour objectif de permettre
la formalisation et la systématisation de ces transformations.
Le langage BDL permet l’expression et la manipulation formelle
de spécifications incomplètes et hétéro-gènes.
Le comportement d’une classe, d’un composant logiciel
ou même d’un système modélisé en
UML peut être décrit par une spécification BDL
prenant la forme d’une composition de graphes orientés
qui définissent des ordonnancements d’événements.
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 aux spécifications incomplètes.
Le point nouveau, qui repose sur des ré-sultats fondamentaux
récents, est la possibilité d’interpréter
un terme BDL indifféremment selon un mode synchrone ou asynchrone,
en fonction de l’architecture du système modélisé
et de la sémantique de commu-nication entre composants.
Le travail de thèse portera sur l’élaboration
de méthodes, d’algorithmes et d’outils de transformation
de spécifications UML incomplètes et hétérogènes.
Le langage BDL sera utilisé comme formalisme unifica-teur
des différentes vue comportementales d’UML. Il s’agira
notamment de synthétiser des programmes répartis à
partir de spécifications incomplètes BDL, qui prennent
en compte l’environnement d’exécution des programmes.
Il pourra s’inspirer à la fois des résultats
récents sur la désynchronisation de systèmes
de transitions synchrones ainsi que de techniques classiques de
synthèse de superviseurs de systèmes à événe-ments
discrets. Bien que multiples, les applications visées seront
centrées sur le problème de l’adaptation de services
de télécommunications.
|
