Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Theoretical Aspects of Computing

ICTAC 2004: Theoretical Aspects of Computing - ICTAC 2004 pp 52–67Cite as

Specifying Software Connectors

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3407))

Abstract

Orchestrating software components, often from independent suppliers, became a central concern in software construction. Actually, as relevant as components themselves, are the ways in which they can be put together to interact and cooperate in order to achieve some common goal. Such is the role of the so-called software connectors: external coordination devices which ensure the flow of data and enforce synchronization constraints within a component’s network. This paper introduces a new model for software connectors, based on relations extended in time, which aims to provide support for light inter-component dependency and effective external control.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM TOSEM 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. Arbab, F.: Abstract behavior types: A foundation model for components and their composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 33–70. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Arbab, F., Rutten, J.: A coinductive calculus of component connectors, CWI Tech. Rep. SEN-R0216. CWI, Amsterdam (2002); To appear in the proceedings of WADT 2002

    Google Scholar 

  5. Barbosa, L.S.: Components as processes: An exercise in coalgebraic modeling. In: Smith, S.F., Talcott, C.L. (eds.) FMOODS - Formal Methods for Open Object-Oriented Distributed Systems, September 2000, pp. 397–417. Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  6. Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science 9(8), 891–909 (2003)

    Google Scholar 

  7. Barbosa, M.A., Barbosa, L.S.: A Relational Model for Component Interconnection. Journal of Universal Computer Science 10(7), 808–823 (2004)

    Google Scholar 

  8. Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 189–210. Cambridge University Press, Cambridge (2000)

    Google Scholar 

  9. Bird, R., Moor, O.: The algebra of programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)

    Google Scholar 

  10. Broy, M.: Semantics of finite and infinite networks of communicating agents. Distributed Computing 2 (1987)

    Google Scholar 

  11. Costa, G., Reggio, G.: Specification of abstract dynamic data types: A temporal logic approach. Theor. Comp. Sci. 173(2) (1997)

    Google Scholar 

  12. Fiadeiro, J., Lopes, A.: Semantics of architectural connectors. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 505–519. Springer, Heidelberg (1997)

    Google Scholar 

  13. Gelernter, D., Carrier, N.: Coordination languages and their significance. Communication of the ACM 2(35), 97–107 (1992)

    Article  Google Scholar 

  14. Grimes, R.: Profissional dcom programming. Wrox Press (1997)

    Google Scholar 

  15. Jifeng, H., Zhiming, L., Xiaoshan, L.: A contract-oriented approach to component-based programming. In: Liu, Z. (ed.) Proc. of FACS 2003, Formal Approaches to Component Software, Pisa (September 2003)

    Google Scholar 

  16. Matena, V., Stearns, B.: Applying entreprise javabeans: Component-based development for the j2ee platform. Addison-Wesley, Reading (2000)

    Google Scholar 

  17. Meng, S., Barbosa, L.S.: On refinement of generic state-based software components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 506–520. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. Nierstrasz, O., Achermann, F.: A calculus for modeling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 339–360. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Nierstrasz, O., Dami, L.: Object-Oriented Software Composition. In: Nierstrasz, O., Tsichritzis, D. (eds.) Component-oriented software technology, pp. 3–28. Prentice-Hall International, Englewood Cliffs (1995)

    Google Scholar 

  20. Oaks, S., Wong, H.: Jini in a nutshell. O’Reilly and Associates, Sebastopol (2000)

    Google Scholar 

  21. Papadopoulos, G., Arbab, F.: Coordination models and languages, Advances in Computers. The Engineering of Large Systems 46, 329–400 (1998)

    Google Scholar 

  22. Rutten, J.: Elements of stream calculus (an extensive exercise in coinduction), Tech. report. CWI, Amsterdam (2001)

    Google Scholar 

  23. Schneider, J.-G., Nierstrasz, O.: Components, scripts, glue. In: Barroca, L., Hall, J., Hall, P. (eds.) Software Architectures - Advances and Applications, pp. 13–25. Springer, Heidelberg (1999)

    Google Scholar 

  24. Siegel, R.: CORBA: Fundamentals and programming. John Wiley & Sons Inc., Chichester (1997)

    Google Scholar 

  25. Szyperski, C.: Component software, beyond object-oriented programming. Addison-Wesley, Reading (1998)

    Google Scholar 

  26. Wermelinger, M., Fiadeiro, J.: Connectors for mobile programs. IEEE Trans. on Software Eng. 24(5), 331–341 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática, Universidade do Minho, Campus de Gualtar, 4710-057, Braga, Portugal

    Marco Antonio Barbosa & Luís Soares Barbosa

Authors
  1. Marco Antonio Barbosa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Soares Barbosa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute of Software Technology, United Nations University, Macau, China

    Zhiming Liu

  2. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, 6-10-1-Hakozaki, Higashi-ku, 812-8581, Fukuoka, Japan

    Keijiro Araki

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbosa, M.A., Barbosa, L.S. (2005). Specifying Software Connectors. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31862-0_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25304-4

  • Online ISBN: 978-3-540-31862-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation