Domain-specific modeling language for self-adaptive software system architectures

Filip Křikava 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : Le calcul autonome vise à concevoir des logiciels qui prennent en compte les variations dans leur environnement d'exécution. Les boucles de rétro-action (FCL) fournissent un mécanisme d'auto-adaptation générique, mais leur intégration dans des systèmes logiciels soulève de nombreux défis. Cette thèse s'attaque au défi d'intégration, c.à.d. la composition de l'architecture de connexion reliant le système logiciel adaptable au moteur d'adaptation. Nous proposons pour cela le langage de modélisation spécifique au domaine FCDL. Il élève le niveau d'abstraction des FCLs, permettant l'analyse automatique et la synthèse du code. Ce langage est capable de composition, de distribution et de réflexivité, permettant la coordination de plusieurs boucles de rétro-action distribuées et utilisant des mécanismes de contrôle variés. Son utilisation est facilitée par l'environnement de modélisation ACTRESS qui permet la modélisation, la vérification et la génération du code. La pertinence de notre approche est illustrée à travers trois scénarios d'adaptation réels construits de bout en bout. Nous considérons ensuite la manipulation de modèles comme moyen d'implanter ACTRESS. Nous proposons un Langage Spécifique au Domaine interne qui utilise Scala pour implanter une famille de DSLs. Il permet la vérification de cohérence et les transformations de modèles. Les DSLs résultant ont des propriétés similaires aux approches existantes, mais bénéficient en plus de la souplesse, de la performance et de l'outillage associés à Scala. Nous concluons avec des pistes de recherche découlant de l'application de l'IDM au domaine du calcul autonome.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4110〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00935083
Contributeur : Abes Star <>
Soumis le : jeudi 23 janvier 2014 - 09:33:08
Dernière modification le : mardi 12 décembre 2017 - 16:08:08
Document(s) archivé(s) le : jeudi 24 avril 2014 - 11:45:38

Fichier

2013NICE4110.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00935083, version 1

Collections

STAR | I3S | UNICE

Citation

Filip Křikava. Domain-specific modeling language for self-adaptive software system architectures. Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4110〉. 〈tel-00935083〉

Partager

Métriques

Consultations de la notice

507

Téléchargements de fichiers

1265