BCOol : the Behavioral Coordination Operator Language

Matias Vara Larsen 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : Les appareils modernes sont constitués de plusieurs sous-systèmes de différentes sortes qui communiquent et interagissent. L'hétérogénéité de ces sous-systèmes et leurs interactions complexes rendent très délicate leur développement. L'approche d'ingénierie dirigée par les modèles apporte une solution en permettant l'expression de nombreux modèles structurels et comportementaux de natures très diverses. Dans ce contexte, il est nécessaire de construire un modèle unique qui intègre ces différents modèles afin d'y appliquer des méthodes de validation et de vérification pour permettre aux ingénieurs système de comprendre et de valider un comportement global. Cependant, la coordination manuelle des différents modèles qui composent le système est une opération source d'erreurs et les approches automatiques proposent des patrons de coordination ad-hoc pour certaines paires de langages. Dans ces approches, le patron de coordination est souvent encapsulé dans un outil dont il est difficile d'extraire les liens avec le système global. Cette thèse propose le Behavioral Coordination Operator Language (BCOoL), un langage dédié à la spécification de patrons de coordination entre des langages à partir de la définition d'opérateurs de coordination. Ces opérateurs sont employés afin d'automatiser la coordination de modèles exprimés dans ces langages. BCOoL est implémenté comme une suite de plugins qui s'appuient sur l'Eclipse Modeling Framework et présente ainsi un environnement complet pour l'exécution et la vérification de différents modèles coordonnés.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2016. English. < NNT : 2016NICE4013 >
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01302875
Contributeur : Abes Star <>
Soumis le : lundi 11 juillet 2016 - 10:10:09
Dernière modification le : vendredi 7 juillet 2017 - 13:02:38
Document(s) archivé(s) le : mercredi 12 octobre 2016 - 11:18:10

Fichier

2016NICE4013.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01302875, version 2

Collections

Citation

Matias Vara Larsen. BCOol : the Behavioral Coordination Operator Language. Other [cs.OH]. Université Nice Sophia Antipolis, 2016. English. < NNT : 2016NICE4013 >. <tel-01302875v2>

Partager

Métriques

Consultations de
la notice

551

Téléchargements du document

188