Modélisation architecturale pour la gestion de l'évolution des applications distribuées

L évolution du logiciel est une activité complexe, critique et coûteuse. Cela est dû principalement à la complexité structurelle et comportementale des différents constituants des systèmes informatiques actuels. L avènement et la généralisation des réseaux d interconnexion ont complètement révolutionné l architecture des systèmes informatiques en les transformant en un ensemble d entités actives et distribuées et interagissant selon diverses formes de protocoles. Cette thèse est une contribution à la maîtrise et au contrôle de l évolution de ce type de système. Notre but est d introduire des mécanismes formels et opérationnels permettant d accomplir d une façon aisée les différentes tâches qui incombent à l évolution de ces systèmes. Nous proposons une approche basée sur les systèmes de réécriture de graphes pour, à la fois, formaliser et mettre en œuvre de façon incrémentale et visuelle les différentes tâches liées à l évolution. Nous avons pour cela considérer les tâches suivantes : la compréhension des systèmes distribués par la formalisation et la mise en œuvre d un système de recouvrement d architectures ; la propagation de l impact du changement en permettant notamment une traçabilité des effets des modifications entre les descriptions des architectures et des programmes ; la mise en œuvre d une approche de développement basée sur la transformation de modèles. Le choix de ces tâches est dicté par le fait que nous voulions considérer la chaîne formant un processus de réingénierie incluant le reverse et le forwrad engineering.CALAIS-BU Sciences (621932101) / SudocSudocFranceF