Please use this identifier to cite or link to this item: http//localhost:8080/jspui/handle/123456789/1760
Title: Génération d’une description Maude-Stratégie à partir d’unmodèle UCM
Authors: GASRI, Mohamed Larbi
Keywords: UCM,spécificationsemi-formelle, spécification formelle, Maude-Strategy, logique de réécriture, Xpand, Eclipse
UCM,semi-formalspecification, formalspecification, Maude-Strategy, rewriting logic, Xpand, Eclipse.
تقنيةUCM، مواصفاتشبهرياضية،مواصفاترياضية، ترجمة، مودستراتيجي، منطق إعادة الصياغة، اكسباند،اكليبس
Issue Date: 2017
Publisher: Universite laarbi tebessi tebessa
Abstract: L'ingénierie logicielle conduite par modèle est souvent constituée comme le prochain niveau de développement de logiciel. Depuis aujourd'hui, il est rarement possible d’exécuter directement des modèles, ils doivent être traduits en objets utilisé pour un traitement ultérieur. Dans la plupart des processus de développement communs, les fonctionnalités des systèmes sontdéfiniesen termes d'exigencesinformelleset des modèles visuels.Comme les descriptions des exigences évoluent, elles deviennent rapidement une source d'erreurs et difficiles à comprendreconduisant àdes effets préjudiciables surla fiabilité, le coût etla sécurité dusystème quisont trèscoûteux à corrigerdans les phases ultérieures du processus de développement. Par conséquent, la conceptionpeut être difficile à vérifier et à valider par rapport à ces descriptions. Notre manuscrit, c’est un travail complémentaire à une approche proposée dans ce contexte. Cette approche consiste à formaliser les spécifications semi-formelles décrites à l’aide des Use Case Maps (UCM) dans une spécification formelle Maude-Strategy, l’un des langages de spécification formelle,qui est basé sur une logique saine dite la logique de réécriture. Dans ce mémoire, nous allons exploiter les outils offerts par Eclipse pour générer une telle spécification. Parmi, le langage Xpand permet une transformation à partir d’un méta-modèle UCM vers une description textuelle Maude-Strategy
URI: http//localhost:8080/jspui/handle/123456789/1760
Appears in Collections:3- إعلام آلي

Files in This Item:
File Description SizeFormat 
memoir.rar3,57 MBUnknownView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools