Formalisation de familles d'architectures logicielles coopératives : démarches, modèles et outils

par Mhamed Saidane

Thèse de doctorat en Systèmes d'information

Sous la direction de Jean-Pierre Giraudin et de Dominique Rieu.

Soutenue en 2005

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Cette thèse concerne la modélisation des Systèmes d'Information Coopératifs (SICo). Les techniques de modélisation proposées par les langages actuels ne donnent pas de réponses directes aux différents problèmes posés par la modélisation des SICo. Pour mieux contrôler la complexité de ces derniers, il est nécessaire d'avoir un niveau d'abstraction élevé et de disposer de modèles qui s'approchent du modèle de raisonnement du développeur. Nous avons choisi la solution des architectures logicielles pour organiser l'ingénierie des SICo. Une telle approche offre au concepteur des techniques et des langages de modélisation permettant d'exprimer les propriétés des systèmes composants et de leurs interactions. La solution que nous proposons repose sur un guide méthodologique permettant de capitaliser, organiser et réutiliser des modèles d'architectures logicielles adaptés aux SICo. Ce guide méthodologique traite quatre aspects complémentaires. Premièrement, il propose des patrons produit capitalisant des familles d'architectures de coopération. Deuxièmement, il offre une représentation graphique et textuelle des solutions modèles en utilisant respectivement un langage semi-formel et un langage formel. Ensuite, il facilite la classification des SICo en se basant sur différents modes de coopération entre des systèmes composants. Enfin, il propose des patrons processus formalisant la démarche méthodologique. Patrons produits et patrons processus constituent le système de Patrons pour les Architectures COopératives (PACO).


  • Pas de résumé disponible.

  • Titre traduit

    Formalizing families of cooperative software architectures : approaches, models and tools.


  • Résumé

    The aim of this thesis is the modelling of Cooperative Information Systems (CoIS). Current languages that propose modelling techniques can not offer direct answers to problems of the CoIS modelling. To control the complexity of these last, a high abstraction level is required and it's essential to have models similar to the developer reasoning model. We have chosen the software architecture solution to organize the CoIS engineering. This solution offers to the designer techniques and modelling languages that express properties of component systems and their interactions. The solution we propose is based on a methodological guide that allows capitalisation, organization and reuse of software architecture models adapted to CoIS. This guide deals with four complementary aspects. Firstly, it proposes product patterns to capitalize cooperative architecture families. In a second time, it expresses graphically and textually the model solution using respectively a semi-formal language and a formal language. It also offers a CoIS classification basing on different cooperation modes between information systems. Finally, it recommends process patterns that formalise the methodological approach. Thus, product and process patterns constitute the pattern system for cooperative architectures (PACO).

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. i-viii

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS05/GRE1/0273
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS05/GRE1/0273/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.