Article

A Compositional Approach to Connector Construction

Authors:

Antónia Lopes,

Michel Wermelinger, and

José Luiz FiadeiroAuthors Info & Claims

WADT '01: Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

April 2001

Pages 201 - 220

Published: 01 April 2001 Publication History

Abstract

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 separately as higher-order connectors. Complex connectors can then be described as suitable combinations of higher-order connectors and basic connectors. We use CommUnity, a Unitylike parallel program design language that we have been using for formalising aspects of architectural design, for illustrating our approach to the compositional construction of connectors and also to motivate the categorical semantics of higher-order connectors that we propose.

References

[1]

R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3):213-249, July 1997.

[2]

K. Chandy and J. Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.

[3]

G. Denker, J. Meseguer and C. Talcott, "Rewriting semantics of meta-objects and composable distributed services", Internal report, Computer Science Laboratory, SRI International, 1999.

[4]

J.L. Fiadeiro, A. Lopes and M. Wermelinger, "A Mathematical Semantics for Architectural Connectors". Submitted for publication (available at http://www.fiadeiro.org /jose/papers)

[5]

J.L. Fiadeiro and A. Lopes, "Algebraic Semantics of Coordination, or what is in a signature?", in AMAST'98, A. Haeberer (ed), LNCS 1548, Springer-Verlag 1999.

[6]

J.L. Fiadeiro and A. Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505-519.

[7]

N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996.

[8]

D. Garlan, "Higher-Order Connectors", Presented at the Workshop on Compositional Software Architectures, Monterey, CA, January 6-7, 1998.

[9]

D. Garlan and B. Spitznagel, "Toward compositional construction of complex connectors", Proceedings of the Eighth International Symposium on the Foundations of Software Engineering (FSE-8), November 2000.

[10]

S. Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2):337-356, 1993.

[11]

N. Mehta, N. Medvidovic and S.Phadke, "Towards a taxonomy of software connectors", Proc. of 22nd International Conference on Software Engineering, ACM Press, 2000, 178-187.

[12]

M. Wermelinger, A. Lopes and J.L. Fiadeiro, "Superposing Connectors", in Proc. 10th International Workshop on Software Specification and Design, IEEE Computer Society Press 2000, 87-94. (also available at http://ctp.di.fct.unl.pt/~mw/proj/fast /index.html)

[13]

M. Wermelinger and J. L. Fiadeiro, "Connectors for mobile programs", IEEE Trans. on Software Eng., 24(5):331-341, May 1998.

[14]

M. Wermelinger and J.L. Fiadeiro, "Algebraic Software Architecture Reconfiguration", in Software Engineering - ESEC/FSE'99, LNCS 1687, pp. 393-409, Springer-Verlag 1999.

[15]

M. Wermelinger, A. Lopes and J.L. Fiadeiro, "A Graph Based Architectural (Re)configuration Language", Proc. ESEC/FSE'01, ACM Press, 2001. In print.

Cited By

Slotos TSeinturier LAlmeida ECarlson J(2014)A specification schema for software connectorsProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602464(139-148)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602464
Lau KLing LUkis VElizondo P(2007)Composite connectors for composing software componentsProceedings of the 6th international conference on Software composition10.5555/1785051.1785079(266-280)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1785051.1785079
Spitznagel BGarlan DClarke LDillon LTichy W(2003)A compositional formalization of connector wrappersProceedings of the 25th International Conference on Software Engineering10.5555/776816.776862(374-384)Online publication date: 3-May-2003
https://dl.acm.org/doi/10.5555/776816.776862

Recommendations

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
Connector Modeling Method for Component Extraction
APSEC '99: Proceedings of the Sixth Asia Pacific Software Engineering Conference

As the component raises a principal factor in software engineering to ensure the productivity and reusability of the software, component extracting and implementation, component-based system construction, verification of component interfaces, and other ...
Read More
A Basic Logic for Reasoning about Connector Reconfiguration
Behavior of Composed Concurrent Systems: Logic and Reasoning

Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if components are connected using a coordination layer, then the way in which they are ...
Read More

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

WADT '01: Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

April 2001

344 pages

ISBN:3540431594

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 April 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

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

Other Metrics

View Author Metrics

Citations

Cited By

Slotos TSeinturier LAlmeida ECarlson J(2014)A specification schema for software connectorsProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602464(139-148)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602464
Lau KLing LUkis VElizondo P(2007)Composite connectors for composing software componentsProceedings of the 6th international conference on Software composition10.5555/1785051.1785079(266-280)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1785051.1785079
Spitznagel BGarlan DClarke LDillon LTichy W(2003)A compositional formalization of connector wrappersProceedings of the 25th International Conference on Software Engineering10.5555/776816.776862(374-384)Online publication date: 3-May-2003
https://dl.acm.org/doi/10.5555/776816.776862

View Options

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

Media

Figures

Other

Tables

View Table of Contents