Skip to main content
SpringerLink
Log in

A Compositional Approach to Connector Construction

  • Conference paper
  • First Online:
Recent Trends in Algebraic Development Techniques (WADT 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2267))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Article  Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

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

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Faculty of Sciences, University of Lisbon, Campo Grande, 1749-016, Lisboa, Portugal

    Antónia Lopes & José Luiz Fiadeiro

  2. Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon, 2829-516, Caparica, Portugal

    Michel Wermelinger

  3. ATX Software SA, Alameda António Sérgio 7, 1A, 2795-023, Linda-a-Velha, Portugal

    Michel Wermelinger & José Luiz Fiadeiro

Authors
  1. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Wermelinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Via Dodecaneso,35, 16146, Genova, Italy

    Maura Cerioli  & Gianna Reggio  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation