Titre :	Reconfiguration des Architectures Logicielles Dans AADL
Type de document :	texte imprimé
Auteurs :	Mohamed Ali Kahlouche, Auteur ; El Amine Maarouuf, Auteur ; F.Bellaala, Directeur de thèse
Editeur :	CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine
Année de publication :	2012
Importance :	99 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  Architecture Logicielle  ADL  AADL, Modèle formel  MAUDE  The Moment2-AADL
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Une architecture logicielle est une spécification décrivant le système sous la forme d’un assemblage de composants logiciels et matériels interconnectés entre eux. Dans ce contexte de nombreux langages de description d’architectures (ADLs) ont été proposés. Les ADLs offrent un modèle de haut niveau d’abstraction, ils spécifient les composants de l’architecture de manière abstraite sans entrer dans les détails d’implantation. Le langage AADL (Architecture Analysis & Design Language) est assez riche de point de vue description, il assure la spécification de l’aspect statique d’un système, cependant le comportement reste toujours un problème ouvert, du moment que la déclaration des modes dans une spécification AADL ne suggère aucune sémantique précise pour ce système. Plusieurs recherches sont actuellement entrain de proposer un modèle comportemental aux systèmes spécifiés à l’aide d’AADL, notons particulièrement l’annexe comportementale à base des automates. Dans notre travail, nous focalisons sur le langage de description d’architecture AADL dont l’objectif est de proposer une approche à base du modèle formel pour associer un comportement à base des modes et de leurs transitions à un système AADL. Le modèle formel choisi pour modéliser ces architectures est le MAUDE qui est un langage de spécification formelle dans lequel la dynamique d’un système est exprimée à l’aide de règles de réécriture qui agissent sur l’état du système. Les travaux présentés dans ce mémoire sont validés par la mise en place d’un plugin Eclipse, nommé The_Moment2-AADL (AADL to MAUDE) permettant la génération automatique de la spécification Real-Time-Maude à partir de modèle AADL en respectant les règles de transformation.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7110

Reconfiguration des Architectures Logicielles Dans AADL [texte imprimé] / Mohamed Ali Kahlouche, Auteur ; El Amine Maarouuf, Auteur ; F.Bellaala, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 99 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)

Catégories :	Informatique
Tags :	Génie Logiciel  Architecture Logicielle  ADL  AADL, Modèle formel  MAUDE  The Moment2-AADL
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Une architecture logicielle est une spécification décrivant le système sous la forme d’un assemblage de composants logiciels et matériels interconnectés entre eux. Dans ce contexte de nombreux langages de description d’architectures (ADLs) ont été proposés. Les ADLs offrent un modèle de haut niveau d’abstraction, ils spécifient les composants de l’architecture de manière abstraite sans entrer dans les détails d’implantation. Le langage AADL (Architecture Analysis & Design Language) est assez riche de point de vue description, il assure la spécification de l’aspect statique d’un système, cependant le comportement reste toujours un problème ouvert, du moment que la déclaration des modes dans une spécification AADL ne suggère aucune sémantique précise pour ce système. Plusieurs recherches sont actuellement entrain de proposer un modèle comportemental aux systèmes spécifiés à l’aide d’AADL, notons particulièrement l’annexe comportementale à base des automates. Dans notre travail, nous focalisons sur le langage de description d’architecture AADL dont l’objectif est de proposer une approche à base du modèle formel pour associer un comportement à base des modes et de leurs transitions à un système AADL. Le modèle formel choisi pour modéliser ces architectures est le MAUDE qui est un langage de spécification formelle dans lequel la dynamique d’un système est exprimée à l’aide de règles de réécriture qui agissent sur l’état du système. Les travaux présentés dans ce mémoire sont validés par la mise en place d’un plugin Eclipse, nommé The_Moment2-AADL (AADL to MAUDE) permettant la génération automatique de la spécification Real-Time-Maude à partir de modèle AADL en respectant les règles de transformation.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7110