Skip to Main content Skip to Navigation

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

Abstract : 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).
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download
Contributor : Mhamed Saidane <>
Submitted on : Tuesday, December 13, 2005 - 5:57:47 PM
Last modification on : Friday, November 6, 2020 - 3:48:56 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 4:28:58 PM


  • HAL Id : tel-00011198, version 1



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. ⟨tel-00011198⟩



Record views


Files downloads