Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils. - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2005

Formalizing Families of Cooperative Software Architectures: Approaches, Models and Tools.

Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils.

Mhamed Saidane
  • Fonction : Auteur
  • PersonId : 831531

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).
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).
Fichier principal
Vignette du fichier
SaidaneThese.pdf (5.16 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00011198 , version 1 (13-12-2005)

Identifiants

  • HAL Id : tel-00011198 , version 1

Citer

Mhamed Saidane. Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils.. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩. ⟨tel-00011198⟩
268 Consultations
426 Téléchargements

Partager

Gmail Facebook X LinkedIn More