SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors
L'adaptation des composants logiciels est une problématique importante dans le cadre du génie logiciel basé composants (CBSE). La construction de systèmes à partir de composants réutilisables, ou sur l'étagère (COTS), induit plusieurs problèmes, principalement liés aux aspects de compatibilité et de communication. Les composants peuvent avoir des comportements incompatibles d'un point de vue interaction. D'un autre côté, il est parfois nécessaire d'améliorer un protocole de communication. Nous nous intéressons à ces problématiques grâce à notre outil, SYNTHESIS, qui permet à la fois la détection/l'évitement des interactions incompatibles et l'amélioration des protocoles de communication grâce à la synthèse de coordinateurs adéquats. Nous avons validé et appliqué SYNTHESIS à l'assemblage de composants Microsoft COM/DCOM.
Adaptation of software components is an important issue in Component Based Software Engineering (CBSE). Building a system from reusable or Commercial-Off-The-Shelf (COTS) components introduces a set of problems, mainly related to compatibility and communication aspects. On one hand, components may have incompatible interaction behavior. On the other hand, it might be necessary to enhance the current communication protocol. We address these problems by means of our tool (called SYNTHESIS) which allows one both for preventing incompatible interactions and for enhancing the communication protocol by synthesizing a suitable coordinator. We have validated and applied SYNTHESIS for assembling Microsoft COM/DCOM components.
M.TIVOLI, M.AUTILI
génie logiciel basé composants (CBSE), adaptation de composants, synthèse d'adaptateurs, assemblage de composants, transformation de protocoles, amélioration de protocoles.
Component Based Software Engineering, Component Adaptation, Adaptors Synthesis, Component Assembly, Protocol Transformation, Protocol Enhancement.
Anglais
|
