Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs
Résumé
The presented research topics encompass architectures, communication protocols and coordination protocols for distributed cooperative software. In the case of communication, our studies considered a point-to-point synchronous interaction context, and in the case of coordination, different kinds and modes of interaction are considered: synchronous / asynchronous, point-to-point or multipoint, message-oriented or remote method invocation-oriented. Our contributions addressed the specification, the modeling, the design, the validation, the implementation and the experimentation. Adopting a formal model-driven approach constitutes a characteristic shared by the various results of this research. This model-driven approach, applied to the design and validation of multi-component systems can be regarded as the principal research thread behind the different contributions of our work. Studying the behavior of the components of an architecture, which can be defined as the set of rules which describe the dynamics of component interactions, constituted our initial research tasks. Recent work covered the coordination of component groups, which includes, in particular, the integration and the distribution of these components under various architectural constraints: interdependence, dynamism and distribution. Finally, the management of the dynamics of the architecture and its distributed interactions as well as its application for the support of the generic cooperative activities were two major axes in the studied problems. Cooperative group editing constituted for us a specific category of cooperative activities. Cooperative engineering and cooperative learning constituted our principal experimentation fields.
Les thèmes de recherche présentés s'articulent autour des architectures et des protocoles de communication et de coordination pour les logiciels distribués coopératifs. Dans le cas de la communication, nous avons étudié un contexte d'interaction synchrone point-à-point, et dans le cas de la coordination, différents types et modes d'interaction sont considérés : synchrones / asynchrones, point-à-points ou multi-points, par échange de messages ou par invocation de méthodes à distance. Nos contributions ont concerné la spécification, la modélisation, la conception, la validation, l'implémentation et l'expérimentation. L'adoption d'une démarche orientée modèle formel constitue une caractéristique partagée par les différents résultats de cette recherche. Cette démarche, orientée modèle, appliquée aux problèmes de conception et de validation des systèmes à architecture multi-composants peut être considérée comme un fil conducteur dont dérive l'ensemble de nos travaux. L'étude du comportement des composants d'une architecture, qui peut se définir comme l'ensemble des règles qui décrivent la dynamique de leurs interactions, a constitué nos travaux de recherche initiaux. Les travaux ultérieurs se sont ouverts pour couvrir les problèmes relatifs à la coordination d'ensembles de composants, laquelle inclut, en particulier, l'intégration et la distribution de ces composants sous différentes contraintes architecturales : interdépendance, dynamisme et distribution. Enfin, la gestion de la dynamique de l'architecture et de ses interactions distribuées ainsi que son application pour le support des activités génériques de coopération ont été deux axes majeurs dans les problèmes traités. L'édition en groupe a constitué pour nous une catégorie spécifique d'activité coopérative. La télé-ingénierie et la télé-formation ont constitué nos domaines d'expérimentation principaux.
Loading...