ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/6 - 2011  - pp.741-767  - doi:10.3166/tsi.30.741-767
TITRE
Implémentation orientée objet d'ABAReL en Maude

TITLE
Object oriented implementation of ABAReL in Maude

RÉSUMÉ

ABAReL (AADL Behavioral Annex based on revised Rewriting Logic) associe à un thread AADL un modèle mathématique représenté par une théorie de réécriture étendue décrivant sa structure statique et comportementale. Elle offre un cadre sémantique général approprié pour raisonner sur le comportement des threads, dans un plan architectural d’un système embarqué temps réel, sans altérer le métamodèle AADL. L’objectif de cet article est double. D’une part, nous situons le modèle formel d’ABAReL dans le contexte d’une théorie orientée objet temps réel et nous exploitons le système RT-Maude pour exécuter et analyser l’architecture AADL correspondante vis-à-vis des flux qui la traversent et des propriétés d’exécution déclarées. D’autre part, nous enrichissons ABAReL par la sémantique d’exécution d’une composition architecturale de threads et leurs connexions possibles, tout en supervisant l’effet du passage du temps sur la transmission des flux de données et/ou événements à travers ces connexions.



ABSTRACT

ABAReL is an AADL Behavioral Annex based on revised Rewriting Logic, it associates to an AADL thread a mathematical model represented by an extended rewrite theory describing its static and behavioral structure. ABAReL offers an appropriate general semantic framework to reason on the thread behavior, in an architectural plan of a real time embedded system, without altering the AADL meta-model. The aim of this paper is twofold. First, we position the ABAReL formal model towards a real time oriented object theory and we exploit the RT-Maude system to execute and analyze its corresponding AADL architecture, with respect to data or event flows traversing it and its declared execution properties. Then, we enrich the ABAReL annex by the semantics of connected threads execution, while supervising the effect of the passing of time on the data and/or events flow transmission through these connections.



AUTEUR(S)
Malika BENAMMAR, Faiza BELALA, Kamel BARKAOUI

MOTS-CLÉS
architecture logicielle, AADL, annexe comportementale, logique de réécriture révisée, RT-Maude, composition architecturale de threads.

KEYWORDS
software architecture, AADL, RT-Maude, behavioral annex, revised rewriting logic, threads architectural composition.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (501 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier