Informatique
Permanent URI for this communityhttps://dspace.univ-boumerdes.dz/handle/123456789/43
Browse
2 results
Search Results
Item La géstion de la cohérence sémantique lors de l'évolution des modéles appliquée aux ADLs(2015) Sami, SihemCe travail s'inscrit dans le domaine de l'évolution des modèles et la problématique liée à la gestion de l'évolution des modèles indépendamment de leurs Méta Modèle, en assurant leurs cohérences sémantiques. Les systèmes sont amenés à évoluer soit pour ajouter de nouvelles fonctionnalités, pour modifier les fonctionnalités existantes ou bien pour s'adapter aux nouveaux besoins technologiques. Ce qui implique un cout de maintenance et de développement très élevé. Afin de rendre l'évolution des systèmes moins complexe, il est nécessaire d'élever le niveau d'abstraction dans la spécification du système en utilisant le Modèle. Un modèle est une description et une spécification partielle d'un système, comme exemple les modèles relationnels, qui permettent de spécifier la structure des bases de données. Le modèle sert à expliquer un système, ainsi l'évolution de ce dernier implique celle du modèle. Cependant, la question qui se pose est: après une évolution, notre modèle est-il encore cohérentÀ. Notre principale problématique est liée à l'évolution statique et structurelle au niveau modèle. Proposer une solution automatique afin de gérer l'impact engendré par les changements, établir le lien entre le modèle de départ et le modèle d'arrivé et assurer une cohérence sémantique indépendamment de tout méta modèle. Un modèle nommé IMoSCM (Independent Model Sémantique Consistency Management) est proposé pour une gestion automatique de la cohérence sémantique indépendamment de tout méta modèle lors de l'évolution des modèles. Cette contribution est validée par une application développée en JAVA en utilisant ECLIPS. Une illustration est présentée au travers de deux ADL ACME et xADLItem Spécification formelle des systèmes adaptatifs(2013) Boudane, FatimaLes systèmes logiciels adaptatifs modifient leur comportement seuls à travers des opérations de reconfigurations dynamiques telles que l’insertion, la suppression et le remplacement de composants et/ou de connexions entre ces composants en utilisant des mécanismes de reconfiguration. Afin d’assurer la correction du comportement de ces systèmes pendant et après l’adaptation, nous proposons dans ce mémoire une méthode de modélisation et de vérification formelle permettant au concepteur de modéliser ces systèmes, de spécifier ses propriétés et de les vérifier. La méthode proposée s’articule autour de deux approches. Dans la première, nous proposons un modèle pour représenter un système adaptatif par composant, en utilisant le formalisme de transformation de graphe et le formalisme fonctionnel, tout avec prise en compte des contraintes imposées au système (invariant, pré\post-conditions). Quant à la deuxième approche, elle permet de transformer le modèle semi-formel, construit par la première approche, en une spécification formelle exprimée avec le langage Event-B. Nous automatisons cette transformation par la proposition de certaines règles. Pour valider notre spécification et garantir sa cohérence, nous utilisons le système de preuve de l’atelier B