Contrôles des adaptations d'applications à base de composants

Avec la notion de composant logiciel, la démarche de conception d'applications informatiques a vu apparaître une alternative intéressante à l'approche classique, où le développement est mené selon une approche centralisée. L'idée est en effet de permettre la construction d'applications adaptées aux besoins spécifiques de chaque utilisateur par assemblage de composants préexistants. Néanmoins, le choix de composants prédéfinis, sur étagère, pose le problème de leur adéquation à une utilisation spécifique. Dans ce contexte, la possibilité d'adapter les composants semble cruciale, si l'on souhaite rendre réellement effective l'approche de développement par assemblage de composants. Cette thèse introduit une nouvelle approche de l'adaptation de composants logiciels qui consiste à adapter le composant à ses contextes d'utilisation en se basant sur le point de vue de l'utilisateur. Nous décrivons le profil d'utilisation sous la forme d'un en...

2009

La démarche de construction du logiciel en partant de l'architecture, nécessite la prise en compte de la correction à différentes étapes afin d'assurer la qualité du logiciel final. Ainsi la correction est une préoccupation qui doit être prise en compte au niveau des composants et de leurs assemblages pour élaborer l'architecture logicielle. Kmelia est un langage et un modèle à composants multi-service où les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et les vérifier. Les services de Kmelia peuvent êtres paramétrés par des données et sont dotés d'assertions (pré/post-conditions opérant sur les données). Dans cet article nous nous intéressons à la correction des modèles à composants en couvrant différents aspects: la correction au niveau des services et la correction des assemblages du point de vue des données présentes dans les interfaces des services. Nous présentons les enrichissements du langage de données de Kmelia permettant de traiter la correction au niveau des services et de l'architecture. Nous illustrons l'étude par un exemple. Correction de données en Kmelia cription abstraite d'architectures logicielles. Dans des travaux précédents, nous avons introduit un modèle et un langage appelé Kmelia pour décrire formellement des assemblages et vérifier des propriétés structurelles et dynamiques Attiogbé et al. (2006). Nous avons aussi abordé dans André et al. (2006) le problème de la méthodologie de modélisation de ces architectures avec des services hiérarchiques.

Résumé Le développement constant des systèmes informatiques et réseaux ambiants rend leur construction de plus en plus complexe. La diversité des équipements utilisés concerne aussi bien les terminaux d'accès que les infrastructures de communication. Les applications doivent pouvoir être accédées de manière permanente depuis ces terminaux, possédant des caractéristiques différentes, tout en préservant la qua-lité de service qu'elles requièrent. L'objectif de ce travail est d'étudier les différents types de dépen-dances en terme de contraintes logicielles, matérielles, environnementales et des besoins de l'utilisateur. Ces contraintes doivent être décrites explicitement afin de concevoir un modèle de déploiement auto-matique pour ces applications. Les modèles de déploiement existants (CCM, OSGI, InstallShield, etc.) ne sont pas vraiment autonomes, il est donc nécessaire d'avoir des approches d'administration struc-turées et systématiques. Pour cela, nous v...

2002

La capacité d'une application répartie à changer de comportement en fonction de son contexte d'utilisation est essentielle. Cette évolution doit en particulier pouvoir se faire dynamiquement dans le cadre d'utilisateurs nomades. Peu de travaux, à notre connaissance, se sont intéressés à vérifier la cohérence des adaptations dynamiques, alors que différents travaux tendent aujourd'hui à la rendre opérationnelle. Lorsqu'on s'intéresse à des applications dont les composants sont interconnectés et déconnectés dynamiquement, nous constatons la nécessité d'un changement du type (au sens des messages auxquels le composant sait effectivement répondre). De par les contrôles opérés individuellement sur les composants par adaptation, nous constatons également une évolution du type des composants en terme de comportements. Il s'agit donc de s'assurer que cette évolution reste cohérente.

Techniques et sciences informatiques, 2004

Depuis quelques années, l'approche par composants dans la conception de logiciels complexes est apparue pour résoudre les problèmes de répartition, de déploiement et de réutilisation de code. Cette approche s'avère la mieux adaptée pour assurer la pérennité, l'évolution, l'interopérabilité et la maintenance d'applications. Cet article présente le modèle de composants adopté pour la réalisation d'un atelier de développement. L'originalité de ce modèle est d'être extensible et exportable vers d'autres modèles plus connus tels que les Web Services, CCM (CORBA Component Model) ou EJB (Entreprise Java Bean) tout en respectant nos besoins. La validité de ce modèle est aussi éprouvée puisqu'il a été utilisé pour l'implantation de notre outil. Cette approche pragmatique nous a permis de concevoir un modèle de composants simple et réaliste. ABSTRACT. Since some years, the component approach for the design of complex softwares has appeared to solve problems of code repartition, deployment and reusability. This approach turns out to suit the best to insure application evolution, interoperability and maintenance. This article introduces the component model used to realize an Integrated Development Environment. The original feature of this model is that it is extensible and transposable into well-known models such as Web-Services, CORBA Component Model or EJB. The validity of this model has been experimented as it was used to implement our tool. This pragmatic approach was helpful for us to design an easy and realistic component model. MOTS-CLÉS : Modèle de composants, technologies XML

L'objet, 2007

De toutes les étapes qui constituent le processus de maintenance, l'étape de compréhension d'une application avant son évolution, et l'étape de vérification de sa progression et de sa non-régression après évolution sont de loin les plus coûteuses. Nous présentons une approche qui aide à diminuer les coûts associés à ces deux étapes pour des applications conçues à l'aide de composants. Elle propose de documenter formellement, à chaque étape du cycle de vie, les liens unissant les attributs qualité d'une application et les choix architecturaux qui leur sont dédiés. Lors d'une évolution, un outil d'assistance exploite cette documentation pour, d'une part, garantir sa mise à jour, et, d'autre part, notifier au développeur les effets possibles sur les exigences qualité des changements architecturaux qu'il réalise.

2007

Prendre en compte le temps dans le développement d'applicationsà base de composants reste une tâche difficile pour le concepteur car le temps n'est pas quantifiable comme les autres ressources et ne peut doncêtre structuré de manière isolée. Faceà ce défi, cet article présente une technique pour intégrer des propriétés temporelles dans des composants logiciels traditionnels. L'objectif de nos travaux est donc d'aider l'architecteà introduire le temps dans les composants sans interférer avec les fonctionnalités déjà définies. Pour cela, nous définissons des motifs correspondantà des propriétés de temps, comme par exemple le temps de réponse ou la période. Nous intégrons ensuite ces motifs aux composants afin d'obtenir des composants avec des informations de temps. Nous appliquons le principe de la séparation des préoccupations pour permettre la spécification du temps de manière indépendante de la spécification fonctionnelle traditionnelle. Ceci facilite l'intégration des outils de vérification temporelle dans le développement de logiciels en permettant l'emploi des méthodes formelles pour le temps lors de l'assemblage de composants, ceci sans modifier le processus de conception existant. Ce travail est financé par ARTIST2, le réseau d'excellence de la conception de systèmes embarqués. 1 par exemple en utilisant des profils [26]

L'objet, 2004

Dans cet article nous présentons, au travers d'une mise en oeuvre concrète, une approche portant sur l'intégration du test dans les composants logiciels. Le but de ces fonctionnalités de test ajoutées aux composants est de développer des scénarios de test sur mesure. Cela concerne en particulier les composants sur étagère (COTS) développés dans des environnements hétérogènes. Cette technologie, développée dans le cadre du projet européen Component+, est illustrée ici au travers d'un système domotique. ABSTRACT. In this paper, we present, via a concrete realisation example, an approach to integrate tests in software components. The objectives of theses test functionnality is to develop in-situ test scenarios. This in particular concerns COTS built to be deployed in heterogeneous environments. This technology, developed within the Component+ European project, is here illustrated here via a home automation system. MOTS-CLÉS : Composant, Composabilité, Test Intégré, Certification.

2009

Messabihi)@univ-nantes.fr http://www.lina.sciences.univ-nantes.fr/coloss/ Résumé. La démarche de construction du logiciel en partant de l'architecture, nécessite la prise en compte de la correction à différentes étapes afin d'assurer la qualité du logiciel final. Ainsi la correction est une préoccupation qui doit être prise en compte au niveau des composants et de leurs assemblages pour élaborer l'architecture logicielle. Kmelia est un langage et un modèle à composants multi-service où les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et les vérifier. Les services de Kmelia peuvent êtres paramétrés par des données et sont dotés d'assertions (pré/post-conditions opérant sur les données). Dans cet article nous nous intéressons à la correction des modèles à composants en couvrant différents aspects: la correction au niveau des services et la correction des assemblages du point de vue des données présentes dans les interfaces des services. Nous présentons les enrichissements du langage de données de Kmelia permettant de traiter la correction au niveau des services et de l'architecture. Nous illustrons l'étude par un exemple.

2010

Aujourd’hui, de nombreux systemes a base de composants sont critiques ; leur fonctionnement requiert un niveau de confiance maximal. Les methodes formelles comme le Model-Checking sont utilisees pour garantir les proprietes cruciales, avec un haut degre d'automatisation. Cependant, le Model-Checking souffre d'explosion combinatoire lorsque les systemes deviennent trop grands. Cette these propose un cadre de description haut niveau, ou la verification accompagne la modelisation du systeme, et limite le probleme de l'explosion par une verification modulaire des composants du systeme. L'approche se base sur les observateurs, qui s'executent en parallele d’un systeme sans en modifier le comportement global et permettent de decrire des proprietes. La modularite de la verification vient de la possibilite de remplacer avec surete tout ou partie d'un systeme par un autre. Ceci est rendu possible par l'utilisation conjointe du Model-Checking et de l’Interpretation...