Reconfiguration Dynamique de Système à Base de Composants Logiciels / Mohammed Nassim Lacheheub 

Public ISBD 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

---

1 (1 - 1 / 1)