Catalogue des Mémoires de master
Résultat de la recherche
10 recherche sur le tag
'génie logiciel' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
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-AADLIndex. 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-AADLIndex. 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 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120030 MSINF120030 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Titre : Reconfiguration Dynamique de Système à Base de Composants Logiciels Type de document : texte imprimé Auteurs : Mohammed Nassim Lacheheub, Auteur ; Ibrahim Djoudi, Auteur ; Chafia Bouanaka, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 97 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é : La conception et la maintenance d’applications auto-adaptables robustes est une tâche complexe.
Un des moyens de maîtriser cette complexité réside dans le fait de disposer d’un support formel
permettant de modéliser ces applications, de spécifier les programmes d’adaptation, d’y exprimer
des propriétés et de les vérifier.
Nous nous situons dans le contexte de la spécification formelle des architectures logicielles dynamiques qui se prête bien à la modélisation d’applications auto-adaptables. Notre objectif est de
pouvoir exprimer la reconfiguration dynamique d’un système à base de composants.
Nous proposons une approche de reconfiguration dynamique basée sur des spécifications formelles réalisées avec le langage TOM et enrichies par des règles et des stratégies pour assurer
l’adaptation dynamique des changements pouvant survenir en cours d’exécution. Nous avons proposé aussi un éditeur graphique nommé « Arch Graph Editor » pour modéliser des architectures
logicielles ainsi que leurs éventuelles évolutions.
Cette démarche de spécification sera validée par modélisation d’un système de surveillance de
patients, qui peut lancer une reconfiguration si un cas critique se présente, la non disponibilité
d’infirmières par exemple.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7130 Reconfiguration Dynamique de Système à Base de Composants Logiciels [texte imprimé] / Mohammed Nassim Lacheheub, Auteur ; Ibrahim Djoudi, Auteur ; Chafia Bouanaka, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 97 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é : La conception et la maintenance d’applications auto-adaptables robustes est une tâche complexe.
Un des moyens de maîtriser cette complexité réside dans le fait de disposer d’un support formel
permettant de modéliser ces applications, de spécifier les programmes d’adaptation, d’y exprimer
des propriétés et de les vérifier.
Nous nous situons dans le contexte de la spécification formelle des architectures logicielles dynamiques qui se prête bien à la modélisation d’applications auto-adaptables. Notre objectif est de
pouvoir exprimer la reconfiguration dynamique d’un système à base de composants.
Nous proposons une approche de reconfiguration dynamique basée sur des spécifications formelles réalisées avec le langage TOM et enrichies par des règles et des stratégies pour assurer
l’adaptation dynamique des changements pouvant survenir en cours d’exécution. Nous avons proposé aussi un éditeur graphique nommé « Arch Graph Editor » pour modéliser des architectures
logicielles ainsi que leurs éventuelles évolutions.
Cette démarche de spécification sera validée par modélisation d’un système de surveillance de
patients, qui peut lancer une reconfiguration si un cas critique se présente, la non disponibilité
d’infirmières par exemple.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7130 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120045 MSINF120045 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
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 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120054 MSINF120054 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDFExpression de la reconfiguration dynamique d’architecture logicielle dans un ADL et dans Maude / Imène Mazaoui
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)
Code-barres Cote Support Localisation Section Disponibilité MSINF120009 MSINF120009 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Titre : Expression et Analyse d’une Architecture logicielle LfP dans le système Maude Type de document : texte imprimé Auteurs : Mouna Kermiche, Auteur ; Asma Chekhmoume, Auteur ; Hayet Medjrab, Auteur ; Aïcha Choutri, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 101 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 Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7436 Expression et Analyse d’une Architecture logicielle LfP dans le système Maude [texte imprimé] / Mouna Kermiche, Auteur ; Asma Chekhmoume, Auteur ; Hayet Medjrab, Auteur ; Aïcha Choutri, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 101 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 Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7436 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110020 MSINF110020 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
texte integréAdobe Acrobat PDF
Permalink
PermalinkPermalinkPermalink
