Dépôt Institutionnel Université de Jijel

Formalisation et vérification du Diagramme Globale d'Interaction (IOD) UML 2.0.une Approche basée sur La logique de Réécriture

Afficher la notice abrégée

dc.contributor.author Toumi, Imad
dc.contributor.author Boulefa, Nadji
dc.contributor.author Djaoui, Chafika (Encadreur)
dc.contributor.author Kerkouche, Elhilali(Encadreur)
dc.date.accessioned 2020-10-25T09:33:08Z
dc.date.available 2020-10-25T09:33:08Z
dc.date.issued 2017
dc.identifier.uri http://dspace.univ-jijel.dz:8080/xmlui/handle/123456789/2276
dc.description.abstract Les méthodes formelles représentent une solution intéressante au probléme de manque de sémantique du langage uML qui est un langage graphique semi formel; bien qu,il soit trés largement répondu pour le développement des systémes informatiques, ses diagrammes ont besoin d' étre spécifiés formellement pour éviter que les modéles développés contiennent des incohérences ou des inconsistances difficiles (voir impossibles dans le cas de certains systémes complexes) d détecter manuellement. Les spdcifications formelles auront pour effet d'éliminer les ambigriit€s au niveau de I'interprdtation des moddles' La verfification formelle de mode les (model cheching),quant d elle' tente de valider le comportement d'un systéme d l'aide de diverses propriétés énoncées d I'aide d'une logique (temporelle, etc.). La combinaison d'un langage de spécification formelle éprouvé et de techniques de vérification de modéle s (model checking) solides permettra de valider formellement les modéles uML développés. cette démarche permet d'éliminer certaines erreurs de facon précoce avant de passer aux phases de conception et de programmation' Elle peut également supporter la vérifrcation du code urtérieurement. ce travail a consisté d développer un cadre formel permettant la translation du Diagramme Global d'Interaction uML vers une notation formelle du langage Maude. cette description formelle est par la suite validée, avec des propriétés (logique temporelle lindaire LTL) du systéme d produire' d I'aide du vérificateur de modéles Model-checker intégré dans I'environnement Maude fr_FR
dc.language.iso fr fr_FR
dc.publisher Université jijel fr_FR
dc.relation.ispartofseries ;M.Inf.SIAD.02/17
dc.subject UML, IOD, Vérification, Validation fr_FR
dc.title Formalisation et vérification du Diagramme Globale d'Interaction (IOD) UML 2.0.une Approche basée sur La logique de Réécriture fr_FR
dc.type Thesis fr_FR


Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Recherche avancée

Parcourir

Mon compte