Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #78   Download bibtex file Type :   Html | Bib | Both
Add to my selection
A Compositional Formalization of Connector Wrappers

Bridget Spitznagel and David Garlan.


In The 2003 International Conference on Software Engineering (ICSE'03), 2003.

Online links: PDF PS   Bibtex entry   Plain Text

Abstract
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independently developed and potentially mismatched parts, wrappers may be used to overcome mismatch as well as to remedy extra-functional deficiencies. Unfortunately the current practice of wrapper creation and use is ad hoc, resulting in artifacts that are often hard to reuse or compose, and whose impact is difficult to analyze. What is needed is a more principled basis for creating, understanding, and applying wrappers. Focusing on the class of connector wrappers (wrappers that address issues related to communication and compatibility), we present a means of characterizing connector wrappers as protocol transformations, modularizing them, and reasoning about their properties. Examples are drawn from commonly practiced dependability enhancing techniques.

Keywords: Software Architecture.  
    Created: 2006-08-21 17:28:17     Modified: 2006-08-21 18:36:20
Feedback: ABLE Webmaster
Last modified: Tue June 20 2017 16:43:41
        BibAdmin