ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 12/2-3 - 2006  - pp.157-182  - doi:10.3166/objet.12.2-3.157-182
TITRE
Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects

RÉSUMÉ
La programmation par aspects s'avère bien adaptée aux processus de développement incrémentaux qui nécessitent la prise en compte des préoccupations transverses et l'ajout de fonctionnalités auxiliaires. Pour satisfaire aux besoins de ces processus, nous proposons une méthodologie de modélisation et de vérification des systèmes par aspects. Notre approche de vérification a deux objectifs : assurer que l'introduction d'un nouvel aspect ne compromet pas la correction du système initial, détecter les problèmes liés à la composition d'aspects dont l'exécution peut s'avérer conflictuelle. Cet article présente notre profil de modélisation AspectUML, ainsi que la traduction de ses modèles en réseaux de Petri colorés. Cette traduction confère à Aspect-UML une sémantique sur laquelle s'appuyer pour la vérification, par modelchecking et analyse, de la composition et du tissage des aspects dans un système de base.


ABSTRACT
Aspect-oriented programming is well suited for incremental development processes dealing with crosscutting concerns and auxiliary functionalities. To support these processes, this paper introduces a methodology for the modeling and the verification of aspect oriented systems. The aim of our approach is twofold : to ensure that the introduction of a new aspect does not compromise the correction of the initial system, to detect problems related to the composition of aspects whose execution can conflict. This article presents our Aspect-UML modeling profile, as well as a translation of these models into colored Petri nets. This translation endows Aspect-UML with a semantics allowing the verification of aspect composition and weaving into a given base system, using model-checking and Petri net analysis techniques.


AUTEUR(S)
Farida MOSTEFAOUI, Julie VACHON

MOTS-CLÉS
composition d'aspects, vérification formelle, modélisation UML, réseaux de Petri colorés, model-checking.

KEYWORDS
Aspect Composition, Formal Verification, UML Modelisation, Colored Petri Nets, Model-Checking.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
made by WAW Lavoisier