Mémoires de Fin d’Etudes
Etablissement
Université de Annaba - Badji Mokhtar
Affiliation
Département d’Informatique
Auteur
AMMAR, Bessam
Directeur de thèse
Mohamed Benmohamed (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Méta-modèles pour la Description des Langages d’Architectures Logicielles
Mots clés
expressives, contraintes, complexité technologique.
Résumé
Les développeurs de logiciels complexes nécessitent des notations et des techniques performantes et expressives pour satisfaire les qualités et les contraintes exigées par le marché. L’ingénierie logicielle à base de composants est largement utilisée pour le développement de grands logiciels et est reconnue aujourd’hui comme un outil puissant pour gérer la complexité technologique des systèmes. En particulier, les systèmes temps réel embarqués devraient bénéficier de cette technique pour gérer la complexité et pour être traités avec fiabilité. Dans les systèmes en temps réel, les applications ne doivent pas seulement être logiquement correctes, mais également se comporter des points de vues temporels. La contribution de cette thèse est le développement d’un méta-modèle à base de composants pour la description des langages d’architectures logicielles. Ce méta-modèle se concentre sur l’aspect comportemental des architectures logicielles. Dans cette thèse, nous avons aussi traité la prise en compte du temps par les langages de description d’architectures dans les systèmes temps réel embarqués. Notre méta-modèle est construit en se concentrant sur quatre aspects fonctionnels : - Le comportement d’interface (décrit comment se comporte un élément architecturel avec les autres entités au niveau de l’interface), - Le comportement statique (représente explicitement la fonctionnalité discrète des éléments architecturaux) ; - Le comportement dynamique (se concentre sur l’évolution d’état des éléments architecturaux au cours de leur exécution), et - Les protocoles d’interaction (spécialisent les protocoles d’interaction par le biais d’une vue extérieure de l’entité architecturale). Pour chaque aspect, nous définissons ses models temporels associés. Un tel modèle en temps peut être utilisé pour vérifier la conception du composant encontre de certaines propriétés et de traiter les propriétés temporelles de composants.
Date de soutenance
2009.
Cote
004 Bes.
Pagination
115 f.
Illusatration
fig.
Format
30 cm.
Statut
Soutenue