Article

A compositional formalization of connector wrappers

Authors:

Bridget Spitznagel and

David GarlanAuthors Info & Claims

ICSE '03: Proceedings of the 25th International Conference on Software Engineering

May 2003

Pages 374 - 384

Published: 03 May 2003 Publication History

Publisher Site Get Access

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 defciencies.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 diffcult 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.

References

[1]

R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.]]

Digital Library

[2]

R. DeLine. Resolving Packaging Mismatch. PhD thesis, Carnegie Mellon, School of Computer Science, 1999. Issued as CMU Technical Report CMU-CS-99-141.]]

[3]

T. Fraser, L. Badger, and M. Feldman. Hardening COTS software with generic software wrappers. In IEEE Symposium on Security and Privacy, pages 2--16, 1999.]]

[4]

D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch, or, why it's hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software Engineering, Seattle, Washington, April 1995.]]

Digital Library

[5]

W. L. Heimerdinger and C. B. Weinstock. A conceptual framework for system fault tolerance. Technical Report CMU/SEI-92-TR-33, Carnegie Mellon University, 1992.]]

[6]

C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.]]

Digital Library

[7]

H. Hueni, R. E. Johnson, and R. Engel. A framework for network protocol software. Proceedings of OOPSLA'95, pages 358--369, 1995.]]

Digital Library

[8]

G. Hunt and D. Brubacher. Detours: Binary interception of win32 functions. In Proceedings of the 3rd USENIX Windows NT Symposium, pages 135--143, Seattle, WA, July 1999.]]

Digital Library

[9]

A. Lopes, M. Wermelinger, and J. L. Fiadeiro. A compositional approach to connector construction. In Recent Trends in Algebraic Development Techniques, volume LNCS 2267, pages 201--220. Springer-Verlag, 2001.]]

Digital Library

[10]

M. R. Lyu. Software Fault Tolerance. John Wiley and Sons, 1995.]]

Digital Library

[11]

J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley and Sons, 1999.]]

Digital Library

[12]

R. Milner. Communication and Concurrency. Prentice Hall, 1989.]]

Digital Library

[13]

P. Narasimhan, L. E. Moser, and P. M. Melliar-Smith. Exploiting the internet inter-ORB protocol interface to provide CORBA with fault tolerance. In Proceedings of the 3rd USENIX Conference on Object-Oriented Technologies and Systems (COOTS). USENIX, 1997.]]

Digital Library

[14]

S. W. O'Malley and L. L. Peterson. A dynamic network architecture. ACM Transactions on Computer Systems, 10(2):110--143, May 1992.]]

Digital Library

[15]

J. Pan, P. Koopman, D. Siewiorek, Y. Huang, R. Gruber, and M. L. Jiang. Robustness testing and hardening of CORBA ORB implementations. In Proceedings of the International Conference on Dependable Systems and Networks (ICDSN/FTCS), pages 141--150, July 2001.]]

Digital Library

[16]

J. Postel. Transmission control protocol. Technical report, RFC-793, 1981.]]

[17]

L. Sha, J. Goodenough, and B. Pollack. Simplex architecture: Meeting the challenges of using COTS in high-reliability systems. Crosstalk, April 1998.]]

[18]

M. Shaw. Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status. In Proceedings of the Workshop on Studies of Software Design, May 1993.]]

Digital Library

[19]

M. Shaw. Architectural issues in software reuse: It's not just the functionality, it's the packaging. In Proceedings of the Symposium on Software Reuse (SSR'95), April 1995.]]

Digital Library

[20]

B. Spitznagel and D. Garlan. A compositional approach for constructing connectors. In The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), pages 148--157, Royal Netherlands Academy of Arts and Sciences Amsterdam, The Netherlands, August 2001.]]

Digital Library

[21]

R. van Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using Ensemble. Technical report, Cornell/TR97-1638, 1997.]]

Digital Library

Cited By

Autili MDi Salle AGallo FPompilio CTivoli MHaddad HWainwright RChbeir R(2018)Model-driven adaptation of service choreographiesProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167287(1441-1450)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167287
Angarita RGeorgantas NParra CHolston JIssarny VFerrario MPernici B(2017)Leveraging the service bus paradigm for computer-mediated social communication interoperabilityProceedings of the 39th International Conference on Software Engineering: Software Engineering in Society Track10.1109/ICSE-SEIS.2017.9(67-75)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICSE-SEIS.2017.9
Salle AGallo FPerucci A(2015)Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration PatternsRevised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 950910.1007/978-3-662-49224-6_20(240-252)Online publication date: 7-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-662-49224-6_20
Show More Cited By

Index Terms

A compositional formalization of connector wrappers

Recommendations

Smart compositional wrappers
Read More
A Compositional Approach to Connector Construction
WADT '01: Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. The idea is that individual properties of connectors, such as security and fault-tolerance, can be designed ...
Read More
ACME-Based Connector Interface Considering Component Important Factor
SKG '05: Proceedings of the First International Conference on Semantics, Knowledge and Grid

Recently, software development method supporting CBD(Component Based Development) has been adopted widely, and there have been many studies on composition and application of architecture that can effectively use CBD. ACME is one of ADL(Architecture ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '03: Proceedings of the 25th International Conference on Software Engineering

May 2003

841 pages

ISBN:076951877X

General Chair:
Lori Clarke
University of Massachusetts
,
Program Chairs:
Laurie Dillon
Michigan State University
,
Walter Tichy
University of Karlsruhe, Germany

Copyright © Copyright (c) 2003 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Sponsors

IEEE Computer Society Technical Council on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Computer Society

United States

Publication History

Published: 03 May 2003

Check for updates

Qualifiers

Article

Conference

ICSE03

Sponsor:

SIGSOFT

ICSE03: 25th International Conference on Software Engineering

May 3 - 10, 2003

Oregon, Portland

Acceptance Rates

ICSE '03 Paper Acceptance Rate 42 of 324 submissions, 13%;

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
638
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

Autili MDi Salle AGallo FPompilio CTivoli MHaddad HWainwright RChbeir R(2018)Model-driven adaptation of service choreographiesProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167287(1441-1450)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167287
Angarita RGeorgantas NParra CHolston JIssarny VFerrario MPernici B(2017)Leveraging the service bus paradigm for computer-mediated social communication interoperabilityProceedings of the 39th International Conference on Software Engineering: Software Engineering in Society Track10.1109/ICSE-SEIS.2017.9(67-75)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICSE-SEIS.2017.9
Salle AGallo FPerucci A(2015)Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration PatternsRevised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 950910.1007/978-3-662-49224-6_20(240-252)Online publication date: 7-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-662-49224-6_20
Inverardi PTivoli MNotkin DCheng BPohl K(2013)Automatic synthesis of modular connectors via composition of protocol mediation patternsProceedings of the 2013 International Conference on Software Engineering10.5555/2486788.2486790(3-12)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2486788.2486790
Inverardi PAutili MDi Ruscio DPelliccione PTivoli MMeyer BBaresi LMezini M(2013)Producing software by integration: challenges and research directions (keynote)Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2505428(2-12)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2505428
Issarny VBennaceur A(2012)Composing Distributed SystemsRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_6(168-196)Online publication date: 24-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-40615-7_6
Garlan DDwivedi VRuchkin ISchmerl B(2012)Foundations and tools for end-user architectingProceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management10.1007/978-3-642-34059-8_9(157-182)Online publication date: 19-Mar-2012
https://dl.acm.org/doi/10.1007/978-3-642-34059-8_9
Inverardi PIssarny VSpalazzese R(2010)A theory of mediators for eternal connectorsProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II10.5555/1939345.1939374(236-250)Online publication date: 18-Oct-2010
https://dl.acm.org/doi/10.5555/1939345.1939374
Spalazzese RInverardi P(2010)Mediating connector patterns for components interoperabilityProceedings of the 4th European conference on Software architecture10.5555/1887899.1887928(335-343)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.5555/1887899.1887928
Su GYing MZhang C(2010)An ADL-approach to specifying and analyzing centralized-mode architectural connectionProceedings of the 4th European conference on Software architecture10.5555/1887899.1887905(8-23)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.5555/1887899.1887905
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents