Un langage d'action pour la spécification et la validation du comportement d'une architecture logicielle

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

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 œuvre 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.

روابط وملفات

التعريف والنوع

رقم الوثيقة

021e9a4a-b7ca-4e63-8cf3-4889a76facc1

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

رسائل ماجيستير

نوع الملف

pdf text

أسماء الملفات

2233890_1.pdf

بيانات النشر

ألقاب المؤلفين

[{"name_ar":" Abdelfetah Saadi","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":"A. Henni","title_ar":"اشراف","title_en":"Supervision"},{"name_ar":"D. Bennouar","title_ar":"اشراف","title_en":"Supervision"}]

اللغة

French

المصدر والدورية

اسم المصدر

Un langage d'action pour la spécification et la validation du comportement d'une architecture logicielle

المحتوى والصفحات

عدد الصفحات

0

ترجمة الملخص

Software architecture is a recent discipline which is interested in software structures. Appeared under this name at the beginning of the Nineties, it was addressed, more particularly, to the design of software of big size or families of software products. Software architecture describes the whole of the architecture components and gives the definition of their assembly. Also, it takes into account the reception facilities necessary for the deployment and the exploitation of the resulting system. In this work, we present an approach for the description, the specification and the validation of behaviour of dynamic architecture software. The work enters within the framework of the proposition of solutions to problems currently posed in the dynamics specification in the description languages of software architecture. The aim is to develop a specification language of dynamic software architecture. This language, we called SEAL (Simple and Extensible Action Language), is an Action language. It is inspired from Precise Action Semantic of UML. It enters in the scope of research aiming the specification of executable models. The implementation of the Action language is carried out in the context of a graphical environment which allows the design and the validation of the structural evolution of an architecture. This validation is done by the execution of the architecture on a high-level of abstraction.

كلمات الباحثين

Architecture logicielle langage d’action

إشراف وإعداد

الإشراف

A. Henni, D. Bennouar

الإعداد

Abdelfetah Saadi

الاقتباسات الببليوغرافية