Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2011

Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling

(1)
1

Abstract

Our work stands in the field of software engineering for large scale software intensive systems. We aim at providing techniques and tools to help software architects master the ever-increasing complexity of these systems. Using mainly model-driven engineering approaches, our contribution is organised around three axes. The first axis concerns the development of reliable and flexible hierarchical component-based systems with dynamic reconfiguration capabilities. Through the use of novel forms of software contracts, the proposed systems and frameworks support several specification formalisms and maintain up-to-date contracts at runtime. A second part of our work consists in providing self-adaptive capabilities to these contracting systems, through negotiation mechanisms over contracts and self-adaptive monitoring sub-systems. A third axis is related to software product lines in which feature models are widely used to model variability. Our contribution consists in providing a set of sound and efficiently implemented composition operators for feature models, as well as a dedicated language for their large scale management.
Nos travaux s'inscrivent dans le domaine du génie logiciel pour les systèmes informatiques à large échelle. Notre objectif est de fournir des techniques et des outils pour aider les architectes logiciels à maîtriser la complexité toujours grandissante de ces systèmes. Principalement fondées sur des approches par ingénierie des modèles, nos contributions s'organisent autour de trois axes. Le premier axe concerne le développement de systèmes à la fois fiables et flexibles, et ce à base de composants hiérarchiques équipés de capacités de reconfiguration dynamique. Par l'utilisation de nouvelles formes de contrats logiciels, les systèmes et frameworks que nous proposons prennent en compte differents formalismes de spécification et maintiennent les contrats à jour pendant l'exécution. Une seconde partie de nos travaux s'intéresse à fournir des capacités auto-adaptatives à ces systèmes contractuels, à travers des mécanismes de négociation de contrats et des sous-systèmes de monitoring eux-mêmes auto-adaptatifs. Un troisième axe concerne les lignes de produits logiciels dans lesquelles les features models sont largement utilisés pour modéliser la variabilité. Nos contributions consistent en un ensemble d'opérateurs de composition bien définis et implémentés efficacement pour les feature models, ainsi qu'un langage dédié permettant leur gestion à large échelle.
Fichier principal
Vignette du fichier
hdr-phcollet.pdf (2.07 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-00657444 , version 1 (08-01-2012)

Identifiers

  • HAL Id : tel-00657444 , version 1

Cite

Philippe Collet. Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling. Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2011. ⟨tel-00657444⟩
256 View
576 Download

Share

Gmail Facebook Twitter LinkedIn More