Vérification et validation des transformations de modèles

Notice brève
dc.contributor.authorBERRAMLA Karima
dc.date.accessioned2022-12-06T11:57:45Z
dc.date.available2022-12-06T11:57:45Z
dc.date.issued2014-07-02
dc.description.abstractL'Ingénierie Dirigée par les Modèles (IDM) se base sur l'utilisation intensive et systématique des modèles tout au long du processus de développement de logiciels. Ainsi, l'IDM vise à améliorer l'interopérabilité, la réutilisation et la possibilité de migrer les modèles pour desapplications hétérogènes. Dans le contexte de l'IDM, la transformation de modèles est une phase cruciale puisqu'elle définit l'automatisation qui peut être utilisée dans le processus de développement de logiciels. Il est donc nécessaire d'augmenter la sûreté, la vérification et la validation d'une telle transformation de modèles. A cet effet, il est important de proposerdes solutions pour intégrer les méthodes formelles dans le processus de transformation où la plupart des langages de transformation n'ont pas une sémantique formelle pour ajouter des spécifications détaillées sur le comportement attendu. L'idée de base de notre travail est de définir une transformation de modèles avec un langage de transformation comme QVT-op, vérifier la conformité des modèles avec le langage OCL et valider le programme de transformation en utilisant un assistant de preuve Coq. Nous illustrons ce travail en spécifiant une transformation de modèle complexe et hétérogène entre le diagramme d'états-transitions UML et les réseaux de Pétri.
dc.formatpdf
dc.identifier.urihttps://dspace.univ-oran1.dz/handle/123456789/2583
dc.language.isofr
dc.publisherUniversité Oran1 Ahmed Ben Bella
dc.subjectTransformation de modèles
dc.subjectLangage QVT-op
dc.subjectVérification
dc.subjectValidation
dc.subjectAssistant de preuve Coq
dc.subjectLangage OCL
dc.subjectDiagramme d'état-transition
dc.subjectIngénierie Dirigée par les Modèles
dc.subjectRéseaux de Pétri
dc.subjectMéthodes Formelles
dc.titleVérification et validation des transformations de modèles
grade.ExaminateurGhalem BELALEM , Professeur, Université d'Oran
grade.ExaminateurFatima BENDELLA, Maître de Conférences, Université d'U.S.T.O
grade.OptionIngénierie des Systèmes Complexes et MultiMedia
grade.PrésidentDjilali BENHAMAMOUCH, Professeur, Université d'Oran
grade.RapporteurMohamed SENOUCI, Professeur, Université d'Oran
la.SpécialitéInformatique
la.coteTH4321
Fichiers
Bundle original
Voici les éléments 1 - 1 sur 1
Vignette d'image
Nom :
TH4321.pdf
Taille :
1.88 MB
Format :
Adobe Portable Document Format
Description :
Télécharger
Collections
Mémoires de Magister "Informatique"