Catalogue des Mémoires de master
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
| Titre : |
Expression de la reconfiguration dynamique d’architecture logicielle dans un ADL et dans Maude |
| Type de document : |
texte imprimé |
| Auteurs : |
Imène Mazaoui, Auteur ; Amina Metatla, Auteur ; Aïcha Choutri, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2012 |
| Importance : |
141 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é : |
Les ADLs (Pour Architecture Description Languages) existent depuis l’émergence de la
notion d’architecture logicielle comme cœur du génie logiciel à part entière pour la
conception et la description de systèmes logiciels de plus en plus complexes et de grande
taille. Comme la structure ou le comportement d’un système peuvent subir des changements Ã
l’exécution, la description de l’architecture lors de sa conception doit tenir compte de ce
concept connu souvent sous le nom de reconfiguration dynamique d’architecture. Beaucoup
de travaux autour de cette problématique ont proposé des extensions d’ADL exixtants. Etant
donné que le sujet est d’actualité, nous présentons une étude dans l’objectif d’analyser en
premier lieu l’expressivité des ADL pour l’intégration de la reconfiguration dynamique et
d’élaborer en second lieu un modèle formel basé logique de réécriture via son langage Maude
apte à la fois à l’expression plus formelle et à la vérification ainsi que la validation de la
spécification de la dynamique d’une architecture logicielle. Nous contribuons ainsi à la bonne
exploitation et l’amélioration des notations offertes par les ADL comme FRACTAL ADL via
une définition rigoureuse et complète de leur sémantique formelle facilitant la spécification
des reconfigurations dynamiques structurelles et comportementales. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=6992 |
Expression de la reconfiguration dynamique d’architecture logicielle dans un ADL et dans Maude [texte imprimé] / Imène Mazaoui, Auteur ; Amina Metatla, Auteur ; Aïcha Choutri, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 141 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é : |
Les ADLs (Pour Architecture Description Languages) existent depuis l’émergence de la
notion d’architecture logicielle comme cœur du génie logiciel à part entière pour la
conception et la description de systèmes logiciels de plus en plus complexes et de grande
taille. Comme la structure ou le comportement d’un système peuvent subir des changements Ã
l’exécution, la description de l’architecture lors de sa conception doit tenir compte de ce
concept connu souvent sous le nom de reconfiguration dynamique d’architecture. Beaucoup
de travaux autour de cette problématique ont proposé des extensions d’ADL exixtants. Etant
donné que le sujet est d’actualité, nous présentons une étude dans l’objectif d’analyser en
premier lieu l’expressivité des ADL pour l’intégration de la reconfiguration dynamique et
d’élaborer en second lieu un modèle formel basé logique de réécriture via son langage Maude
apte à la fois à l’expression plus formelle et à la vérification ainsi que la validation de la
spécification de la dynamique d’une architecture logicielle. Nous contribuons ainsi à la bonne
exploitation et l’amélioration des notations offertes par les ADL comme FRACTAL ADL via
une définition rigoureuse et complète de leur sémantique formelle facilitant la spécification
des reconfigurations dynamiques structurelles et comportementales. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=6992 |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| MSINF120009 | MSINF120009 | Document électronique | Bibliothèque principale | Mémoires | Disponible |
Documents numériques
texte integréAdobe Acrobat PDF | | |
Expression de la reconfiguration dynamique d’architecture logicielle dans un ADL et dans Maude / Imène Mazaoui
