Dynamically Adapting the Behaviour of Software Components

Available component-oriented platforms address software interoperability only at the signature level, while they do not provide suitable mechanisms for adapting components with mismatching interaction behaviour. This paper presents a methodology for automatically developing adaptors capable of solving behaviour mismatches between heterogeneous components. These adaptors are generated from abstract specifications of the intended connection between the components, by taking into account both signature interfaces and component behaviours.

[1]  Dimitra Giannakopoulou,et al.  Behaviour Analysis of Software Architectures , 1999, WICSA.

[2]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[3]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..

[4]  Loe M. G. Feijs,et al.  Modelling Microsoft COM Using pi-Calculus , 1999, World Congress on Formal Methods.

[5]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[6]  Gianluigi Zavattaro,et al.  Process Algebraic Specification of the New Asynchronous CORBA Messaging Service , 1999, ECOOP.

[7]  Stéphane Ducasse,et al.  Executable connectors: towards reusable design elements , 1997, ESEC '97/FSE-5.

[8]  Antonio Brogi,et al.  Coordinating interaction patterns , 2001, SAC.

[9]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[10]  José M. Troya,et al.  Specification and Refinement of Dynamic Software Architectures , 1999, WICSA.

[11]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[12]  Lidia Fuentes,et al.  Extending CORBA Interfaces with Protocols , 2001, Comput. J..

[13]  André Schiper,et al.  Theory and Practice in Distributed Systems , 1995, Lecture Notes in Computer Science.

[14]  Antonio Vallecillo,et al.  New Issues in Object Interoperability , 2000, ECOOP Workshops.

[15]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[16]  Paola Inverardi,et al.  Uncovering Architectural Mismatch in Component Behavior , 1999, Sci. Comput. Program..

[17]  Jeff Magee,et al.  Modelling Darwin in the Pi-Caculus , 1994, Dagstuhl Seminar on Distributed Systems.