Adaptations dynamiques et orthogonales de composants logiciels distribués

L'evolution logicielle de systemes distribues en cours de fonctionnement, aujourd'hui peu maitrisee, devra etre prise en charge dans les plates-formes intergicielles de demain. Nous explorons cette direction dans le cadre d'une plate-forme componentielle exploratoire, Comet, en experimentant le support dynamique de services distribues nommes protocoles. Les changements locaux necessaires pour operationnaliser ces protocoles sont decrits de facon orthogonale --- independamment des composants applicatifs deja deployes --- sous la forme de roles. Nous distinguons trois familles principales d'adaptations via les notions de roles fonctionnels, de crochets et de filtres. L'application d'un protocole, par assignation dynamique des roles le definissant, permet la mise a jour incrementale des systemes. Les protocoles que nous presentons dans cette etude concernent le deboguage adaptatif et la synchronisation du flux de communication dans le cadre d'une application simple de client/serveur multimedia. Les verifications associees aux adaptations dynamiques presentees se divisent en trois categories: contrats de typage, d'acces et de securite. Nous proposons egalement une premiere evaluation en conditions reelles de ce moteur adaptatif, dans le cadre de notre exemple applicatif.

[1]  Gregor Kiczales,et al.  D: A Language Framework for Distributed Programming , 1997 .

[2]  Tom Fitzpatrick.  Open component-oriented multimedia middleware for adaptive distributed applications , 2000 .

[3]  David C. Luckham,et al.  Rapide: A language and toolset for simulation of distributed systems by partial orderings of events , 1997, Partial Order Methods in Verification.

[4]  Frédéric Peschanski.  A versatile event-based communication model for generic distributed interactions , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[5]  Gul Agha,et al.  Modular specification of interaction policies in distributed computing , 1996 .

[6]  K. Geihs,et al.  Middleware Challenges Ahead , 2001, Computer.

[7]  F. Tom.  Open Component-Oriented Multimedia Middleware for Adaptive Distributed Applications , 2000 .

[8]  Michel Riveill,et al.  Dynamic Component Composition in .NET , 2004, J. Object Technol..

[9]  Laurence Duchien,et al.  JAC : A Flexible and Efficient Framework for AOP in Java , 2001 .

[10]  Gustavo Alonso,et al.  Just-in-time aspects: efficient dynamic weaving for Java , 2003, AOSD '03.

[11]  이준상,et al.  미래 소프트웨어 개발기술 : Aspect - Oriented Programming과 Subject - Oriented Programming , 2003 .

[12]  Margo I. Seltzer,et al.  Dealing with disaster: surviving misbehaved kernel extensions , 1996, OSDI '96.

[13]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[14]  Gordon S. Blair,et al.  Towards a Reflective Component-Based Middleware Architecture , 2000 .

[15]  Xuejun Chen.  Extending RMI to support dynamic reconfiguration of distributed systems , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[16]  Frédéric Peschanski,et al.  When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets , 2003, ZB.

[17]  Gul Agha,et al.  Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures , 1999 .

[18]  Françoise André,et al.  Dynamic Adaptability: The MolèNE Experiment , 2001, Reflection.

[19]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[20]  Huw Evans,et al.  Zones, contracts and absorbing changes: an approach to software evolution , 1999, OOPSLA '99.