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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM TOSEM 6(3), 213–249 (1997)
Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
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)
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
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)
Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science 9(8), 891–909 (2003)
Barbosa, M.A., Barbosa, L.S.: A Relational Model for Component Interconnection. Journal of Universal Computer Science 10(7), 808–823 (2004)
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)
Bird, R., Moor, O.: The algebra of programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)
Broy, M.: Semantics of finite and infinite networks of communicating agents. Distributed Computing 2 (1987)
Costa, G., Reggio, G.: Specification of abstract dynamic data types: A temporal logic approach. Theor. Comp. Sci. 173(2) (1997)
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)
Gelernter, D., Carrier, N.: Coordination languages and their significance. Communication of the ACM 2(35), 97–107 (1992)
Grimes, R.: Profissional dcom programming. Wrox Press (1997)
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)
Matena, V., Stearns, B.: Applying entreprise javabeans: Component-based development for the j2ee platform. Addison-Wesley, Reading (2000)
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)
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)
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)
Oaks, S., Wong, H.: Jini in a nutshell. O’Reilly and Associates, Sebastopol (2000)
Papadopoulos, G., Arbab, F.: Coordination models and languages, Advances in Computers. The Engineering of Large Systems 46, 329–400 (1998)
Rutten, J.: Elements of stream calculus (an extensive exercise in coinduction), Tech. report. CWI, Amsterdam (2001)
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)
Siegel, R.: CORBA: Fundamentals and programming. John Wiley & Sons Inc., Chichester (1997)
Szyperski, C.: Component software, beyond object-oriented programming. Addison-Wesley, Reading (1998)
Wermelinger, M., Fiadeiro, J.: Connectors for mobile programs. IEEE Trans. on Software Eng. 24(5), 331–341 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)