A formal approach to component adaptation

Component adaptation is widelyrecognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present a formal methodologyfor adapting components with mismatching interaction behaviour. The three main ingredients of the methodologyare: (1) the inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, and (3) a fullyautomated procedure to derive concrete adaptors from given high-level specifications.

[1]  José M. Troya,et al.  Compatibility and inheritance in software architectures , 2001, Sci. Comput. Program..

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

[3]  Alexander L. Wolf,et al.  Software architecture , 2001 .

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

[5]  Andrew P. Moore,et al.  How to Construct Formal Arguments that Persuade Certifiers , 1999 .

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

[7]  S. Mohan.  Building systems from commercial components [Book Review] , 2003, IEEE Software.

[8]  Jonathan P. Bowen,et al.  Industrial-Strength Formal Methods in Practice , 1999, Formal Approaches to Computing and Information Technology (FACIT).

[9]  Michel Wermelinger,et al.  Connectors for Mobile Programs , 1998, IEEE Trans. Software Eng..

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

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

[12]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[13]  Alan W. Brown,et al.  The Current State , 2016 .

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

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

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

[17]  Elie Najm,et al.  Infinite types for distributed object interfaces , 1999, FMOODS.

[18]  Stephen Fickas,et al.  Critiquing software specifications , 1988, IEEE Software.

[19]  John D. McGregor,et al.  A protocol based approach to specifying interoperability between objects , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

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

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

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

[23]  Rungsan Torsuwan.  Building as systems. , 1965 .

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

[25]  George T. Heineman,et al.  An Evaluation of Component Adaptation Techniques , 1998 .

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

[27]  Grady H. Campbell.  Adaptable components , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[28]  Paola Inverardi,et al.  Automatic synthesis of deadlock free connectors for COM/DCOM applications , 2001, ESEC/FSE-9.