Next: PRESAGE: Modélisation de
Up: Applications Industrielles
Previous: RESYN: applications de
L'équipe de Michel Dao fait partie d'un groupement du
CNET
qui
développe des méthodes et des outils pour la planification de
réseaux. Cette équipe a la responsabilité du projet RODIN
qui a pour objectif d'étudier, au travers notamment de la
réalisation de prototypes, l'apport des techniques à objets
(représentation, programmation, conception, bases de données) pour
le dimensionnement des réseaux, qui constitue un des aspects de la
planification.
Le support commun aux travaux du projet RODIN est CONRAD-OBJETS
[DL94,MD94] qui est un prototype d'outil de dimensionnement de
réseaux téléphoniques commutés à acheminement adaptatif. Cet
outil comporte une modélisation en classes du domaine concerné
utilisant les traits de représentation des connaissances offerts par
Y3 ;
CONRAD-OBJETS est développé avec CASSIS qui est un environnement de conception
d'applications dédiées réseaux, développé au dessus de Y3.
Deux activités de ce projet intéressent le groupe ELO :
- Contraintes et objets
CONRAD-OBJETS gère un grand nombre de dépendances complexes
entre les différentes propriétés (principalement numériques)
des objets. L'utilisation de mécanismes de propagation de
contraintes sur les propriétés d'objets offre une possibilité de
gestion automatique de ces dépendances d'une manière plus déclarative.
Des contraintes fonctionnelles unidirectionnelles de type agrégat
sur les attributs d'objets sont maintenues paresseusement par des
réflexes attachés à ces attributs.
Ces travaux ont été effectués dans le cadre du stage de DEA de Stéphane
Pelenc ( Application de techniques de propagation de contraintes en
langage à objets) et se prolongent actuellement par une thèse.
Un système de contraintes fonctionnelles a été développé dans Y3, et est en cours de mise en ø uvre dans CONRAD-OBJETS.
- Représentation par objets de comportements
L'implémentation d'algorithmes de dimensionnement de réseaux
sur une représentation par objets de ceux-ci fait l'objet du
travail de thèse de Milène Shteto au CNET.
Ce travail consiste à concevoir deux
hiérarchies de classes du domaine étudié : une pour les
différentes architectures de réseaux, et l'autre pour les
méthodes (aux sens mathématique et algorithmique) de
dimensionnement, et à étudier la manière de mettre en relation
ces deux hiérarchies, afin d'appliquer les comportements de la seconde
sur la première. Les méthodes sont réifiées, et la composition est
utilisée pour leur combinaison.
Next: PRESAGE: Modélisation de
Up: Applications Industrielles
Previous: RESYN: applications de