Titre :	Analyse et Vérification D'une Description Architecturale Dans Maude
Type de document :	texte imprimé
Auteurs :	Razika Djemaa, Auteur ; zineb Kemmouche, Auteur
Editeur :	CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine
Année de publication :	2012
Importance :	92 f.
Format :	30 cm.
Note générale :	Une copie electronique PDF disponible au BUC.
Langues :	Français (fre)
Catégories :	Informatique
Tags :	Génie logiciel
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Outre la maitrise de la complexité des systèmes de grande taille, parmi les enjeux classiquement mis de l’avant pour motiver son émergence comme discipline à part entière dans le génie logiciel, la notion d’architecture logicielle fournit une base de raisonnement à des fins d’analyse et de validation. Pour répondre efficacement à ces arguments, une panoplie d’ADL, langage souvent formels, a été proposée spécifiquement pour la description d’architecture logicielle. En effet, le niveau d’abstraction de la notation utilisée basée sur des fondements formels, les rend appropries à l’analyse et la vérification formelle. Une des meilleurs pratique actuelle dans ce domaine, consiste à vérifier des modèles de description d’architecture dans des environnements disponibles dotés d’outils opérationnels et performant tels que les vérificateurs de modèle appelés model-checkers. Dans ce contexte, nous proposons une démarche de construction et de vérification de modèle générale correspondants à une description d’architecture logicielle dans un ADL. Ce modèle, basé sur la logique de réécriture, est exprimé et vérifié dans l’environnement Maude qui offre plusieurs outils notamment un LTL model checker nous aidant à exploiter notre propos. Nous l’illustrons sur un exemple de système de commande de vol en utilisant LfP comme ADL pour sa description. Le choix de ce langage est motivé par la bonne prise en change des aspects architecturaux et comportementaux en termes de modèles et l’intégration de la vue propriétés dans la méthodologie de LfP.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7318

Analyse et Vérification D'une Description Architecturale Dans Maude [texte imprimé] / Razika Djemaa, Auteur ; zineb Kemmouche, Auteur . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 92 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)

Catégories :	Informatique
Tags :	Génie logiciel
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Outre la maitrise de la complexité des systèmes de grande taille, parmi les enjeux classiquement mis de l’avant pour motiver son émergence comme discipline à part entière dans le génie logiciel, la notion d’architecture logicielle fournit une base de raisonnement à des fins d’analyse et de validation. Pour répondre efficacement à ces arguments, une panoplie d’ADL, langage souvent formels, a été proposée spécifiquement pour la description d’architecture logicielle. En effet, le niveau d’abstraction de la notation utilisée basée sur des fondements formels, les rend appropries à l’analyse et la vérification formelle. Une des meilleurs pratique actuelle dans ce domaine, consiste à vérifier des modèles de description d’architecture dans des environnements disponibles dotés d’outils opérationnels et performant tels que les vérificateurs de modèle appelés model-checkers. Dans ce contexte, nous proposons une démarche de construction et de vérification de modèle générale correspondants à une description d’architecture logicielle dans un ADL. Ce modèle, basé sur la logique de réécriture, est exprimé et vérifié dans l’environnement Maude qui offre plusieurs outils notamment un LTL model checker nous aidant à exploiter notre propos. Nous l’illustrons sur un exemple de système de commande de vol en utilisant LfP comme ADL pour sa description. Le choix de ce langage est motivé par la bonne prise en change des aspects architecturaux et comportementaux en termes de modèles et l’intégration de la vue propriétés dans la méthodologie de LfP.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7318