vérification formelle de diagrammes d'etets transitions d'UML: une approche basée sur la transformation de graphes

Rida, Manal; Kerkouche, El- hillali( encadreur)

Accueil de DSpace
→
Faculté des Sciences Exactes et Informatique (FSEI)
→
Département Informatique
→
Mémoires de Master
→
Voir le document

dc.contributor.author	Rida, Manal
dc.contributor.author	Kerkouche, El- hillali( encadreur)
dc.date.accessioned	2020-10-28T10:17:58Z
dc.date.available	2020-10-28T10:17:58Z
dc.date.issued	2018
dc.identifier.issn	INF.SIAD.09/18
dc.identifier.uri	http://dspace.univ-jijel.dz:8080/xmlui/handle/123456789/2591
dc.description.abstract	Le présent travail s'inscrit dans le domaine de l'ingénierie dirigé par les modèles (IDM) en générale, et dans la transformation et la vérification de modèles à l'aide des grammaires de graphes en particulier . notre approche de vérification se base sur la méta-modélisation et la transformation de modèles via des grammaires automatiques, cette transformation a pour but de donner une sémantique fomelle aux diagrammes d'etat_transition et d'uml 2.0 vers le langage maude qui est un langage de programmation formel et déclaratif basé sur la théorie mathématique de la logique de réécriture. l'objectif est de proposer une approche automatique de transformation du diagramme d'état D'UML vers un code texte équivalent dans la syntaxe du langage maude. cette approche est basée sur la trans formation de graphes et réalisée à l'aide des outils ATO MPM . elle consiste à prpposer un méta -modèle de diagramme et une grammaire de graphes pour effectuer la transformation	fr_FR
dc.language.iso	fr	fr_FR
dc.publisher	université de jijel	fr_FR
dc.subject	IDM, transformation de modèles, grammaires de graphes , diagramme d'état de transition, UML , méthodes formelles.	fr_FR
dc.title	vérification formelle de diagrammes d'etets transitions d'UML: une approche basée sur la transformation de graphes	fr_FR
dc.type	Thesis	fr_FR