Eenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude / Amira Khalfaoui  

Public ISBD Titre : Eenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude Type de document : texte imprimé Auteurs : Amira Khalfaoui, Auteur ; Oumaima Bakiri ; Abdallah Khababa, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (44 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Transition state diagrams Maude Transformation Rewriting logic Formal vérification Modelling Index. décimale : 004 - Informatique Résumé : UML (Unified Modeling Language) est un langage de modélisation et de construction de programmes informatiques, mais sa critique fondamentale est qu’il manque d’une base formelle pour l’utilisation de techniques de vérification formelle, puisqu’il manque d’outils intégrés ou spécifiquement conçus pour vérifier les caractéristiques de ses diagrammes. Dans cette situation, Maude, un langage déclaratif et formel de haute performance basé sur la logique de réécriture, peut remplir ce rôle avec succès grâce à sa base purement algébrique robuste pour décrire le comportement des systèmes concurrents et à sa gamme d’outils de vérification formelle, y compris son vérificateur de modèles. Dans notre mémoire, nous avons développé un outil permettant de convertir automatiquement les diagrammes d’états de transition d’UML vers la logique de réécriture représentée dans Maude. Cet outil a pour but d’aider à valider les modèles proposés pour la création de systèmes informatiques = UML (Unified Modeling Language) is a language for modeling and building computer programs, but its fundamental criticism is that it lacks a formal basis for using formal verification techniques, since it lacks built-in or specifically designed tools for verifying the features of its diagrams. In this situation, Maude, a high-performance declarative and formal language based on rewrite logic, can successfully fulfill this role due to its robust purely algebraic basis for describing the behavior of concurrent systems and its range of formal verification tools, including its model checker. In our dissertation, we developed a tool to automatically convert UML transition state diagrams to the rewriting logic represented in Maude. This tool is intended to help validate proposed models for the creation of computer systems. Côte titre : MAI/0792 En ligne : https://drive.google.com/file/d/1SzHnQDEkUf3gIrLvtlzOvjkWY5qZ_Guf/view?usp=drive [...] Format de la ressource électronique : pdf Eenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude [texte imprimé] / Amira Khalfaoui, Auteur ; Oumaima Bakiri ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (44 f.) ; 29 cm. Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Transition state diagrams Maude Transformation Rewriting logic Formal vérification Modelling Index. décimale : 004 - Informatique Résumé : UML (Unified Modeling Language) est un langage de modélisation et de construction de programmes informatiques, mais sa critique fondamentale est qu’il manque d’une base formelle pour l’utilisation de techniques de vérification formelle, puisqu’il manque d’outils intégrés ou spécifiquement conçus pour vérifier les caractéristiques de ses diagrammes. Dans cette situation, Maude, un langage déclaratif et formel de haute performance basé sur la logique de réécriture, peut remplir ce rôle avec succès grâce à sa base purement algébrique robuste pour décrire le comportement des systèmes concurrents et à sa gamme d’outils de vérification formelle, y compris son vérificateur de modèles. Dans notre mémoire, nous avons développé un outil permettant de convertir automatiquement les diagrammes d’états de transition d’UML vers la logique de réécriture représentée dans Maude. Cet outil a pour but d’aider à valider les modèles proposés pour la création de systèmes informatiques = UML (Unified Modeling Language) is a language for modeling and building computer programs, but its fundamental criticism is that it lacks a formal basis for using formal verification techniques, since it lacks built-in or specifically designed tools for verifying the features of its diagrams. In this situation, Maude, a high-performance declarative and formal language based on rewrite logic, can successfully fulfill this role due to its robust purely algebraic basis for describing the behavior of concurrent systems and its range of formal verification tools, including its model checker. In our dissertation, we developed a tool to automatically convert UML transition state diagrams to the rewriting logic represented in Maude. This tool is intended to help validate proposed models for the creation of computer systems. Côte titre : MAI/0792 En ligne : https://drive.google.com/file/d/1SzHnQDEkUf3gIrLvtlzOvjkWY5qZ_Guf/view?usp=drive [...] Format de la ressource électronique : pdf

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAI/0792	MAI/0792	Mémoire	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)