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.
This research was partially supported by FundaçCo para a Ciência e Tecnologia through project POSI/32717/00 (FAST — Formal Approach to Software Architecture).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3):213–249, July 1997.
K. Chandy and J. Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.
G. Denker, J. Meseguer and C. Talcott, “Rewriting semantics of meta-objects and composable distributed services”, Internal report, Computer Science Laboratory, SRI International, 1999.
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)
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.
J.L. Fiadeiro and A. Lopes, "Semantics of Architectural Connectors", in TAPSOFT’97, LNCS 1214, Springer-Verlag 1997, 505–519.
N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996.
D. Garlan, "Higher-Order Connectors", Presented at the Workshop on Compositional Software Architectures, Monterey, CA, January 6–7, 1998.
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.
S. Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2):337–356, 1993.
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.
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)
M. Wermelinger and J. L. Fiadeiro, "Connectors for mobile programs", IEEE Trans. on Software Eng., 24(5):331–341, May 1998.
M. Wermelinger and J.L. Fiadeiro, "Algebraic Software Architecture Reconfiguration", in Software Engineering-ESEC/FSE’99, LNCS 1687, pp. 393–409, Springer-Verlag 1999.
M. Wermelinger, A. Lopes and J.L. Fiadeiro, "A Graph Based Architectural (Re)configuration Language", Proc. ESEC/FSE’01, ACM Press, 2001. In print.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopes, A., Wermelinger, M., Fiadeiro, J.L. (2002). A Compositional Approach to Connector Construction. In: Cerioli, M., Reggio, G. (eds) Recent Trends in Algebraic Development Techniques. WADT 2001. Lecture Notes in Computer Science, vol 2267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45645-7_10
Download citation
DOI: https://doi.org/10.1007/3-540-45645-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43159-6
Online ISBN: 978-3-540-45645-2
eBook Packages: Springer Book Archive