Modularizing Crosscutting Concerns in Component-Based Systems

Antoine El-Hokayem 1 Yliès Falcone 1, * Mohamad Jaber 2
* Auteur correspondant
1 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We define a method to modularize crosscutting concerns in the Behavior Interaction Priority (BIP) component-based framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We thus distinguish local from global aspects. Local aspects model concerns at the component level and are used to refine the behavior of components. Global aspects model concerns at the architecture level, and hence refine communications (synchronization and data transfer) between components. We formalize global aspects as well as their integration into a BIP system through rigorous transformation primitives and overview local aspects. We present AOP-BIP, a tool for Aspect-Oriented Programming of BIP systems, and demonstrate its use to modularize logging, security, and fault-tolerance in a network protocol.
Type de document :
Communication dans un congrès
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01305083
Contributeur : Yliès Falcone <>
Soumis le : mercredi 20 avril 2016 - 16:28:48
Dernière modification le : jeudi 11 janvier 2018 - 06:27:21
Document(s) archivé(s) le : mardi 15 novembre 2016 - 07:58:19

Fichier

sefm16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01305083, version 1

Collections

Citation

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber. Modularizing Crosscutting Concerns in Component-Based Systems. 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. 〈hal-01305083〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

90