Veuillez utiliser cette adresse pour citer ce document : https://di.univ-blida.dz/jspui/handle/123456789/4449
Titre: Un language d'acction pour la specification et la validation du compertement d'une architecture logicielle
Auteur(s): Saadi, Abdelfetah
Mots-clés: Architecture logicielle
langage d’action*
Date de publication: 2008
Editeur: univ-blida1
Référence bibliographique: blida
Résumé: L'architecture logicielle est une discipline récente qui s'intéresse aux structures d'un logiciel. Apparue sous ce nom au début des années 90, elle s'adressait plus particulièrement à la conception de logiciels de grande taille ou de familles de produits logiciels. Une architecture logicielle décrit l’ensemble des composants de l’architecture et donne la définition de leur assemblage. Aussi, elle prend en compte les structures d’accueil nécessaires pour le déploiement et l’exploitation du système résultant. Dans ce travail, nous présentons une approche pour la description, la spécification et la validation de comportement d’une architecture logiciel dynamique. Le travail rentre dans le cadre de la proposition de solutions aux problèmes qui se posent actuellement dans la spécification de la dynamique dans les langages de description d’architecture logicielle. L’objectif est de développer un langage de spécification d'architecture logicielle dynamique. Ce langage, appelé SEAL (Simple and Extensible Action Language), est de type langage d’action. Il est inspiré de Precise Action Semantic de UML. Il rentre dans le cadre des axes de recherche visant la spécification de modèles exécutables. La mise en oeuvre du langage d'action est réalisée dans le contexte d'un environnement graphique qui permet la conception et la validation de l'évolution structurelle d'une architecture. Cette validation se fait par l'exécution d'architecture à un haut niveau d'abstraction.
Description: bibliogr. 4 CD ill.
URI/URL: http://di.univ-blida.dz:8080/jspui/handle/123456789/4449
Collection(s) :thèse de magister

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
32-004-21-1.pdf2,9 MBAdobe PDFVoir/Ouvrir


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.