Advertisement

On How Distribution and Mobility Interfere with Coordination

  • Antónia Lopes
  • José Luiz Fiadeiro
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2755)

Abstract

With the advent of the e-Economy, system architectures need to take into account that Distribution and Mobility define a dimension that is not orthogonal to the traditional two – coordination and computation. In this paper, we address the way that this additional dimension interferes with coordination. First, we address the effectiveness of connectors in place in a system when the properties of the media through which its components can be effectively coordinated are taken into account. Then, we consider the modelling of coordination styles that are location-dependent or even involve the management of the location of the coordinated parties.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)CrossRefGoogle Scholar
  2. 2.
    Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison Wesley, Reading (1998)Google Scholar
  3. 3.
    Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  4. 4.
    Chandy, K., Misra, J.: Parallel Program Design – A Foundation. Addison-Wesley, Reading (1988)zbMATHGoogle Scholar
  5. 5.
    Cugola, G., Ghezzi, C., Picco, G.P., Vigna, G.: Analyzing Mobile Code Languages. In: Tschudin, C.F., Vitek, J. (eds.) MOS 1996. LNCS, vol. 1222. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  6. 6.
    Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming 28, 111–138 (1997)CrossRefzbMATHGoogle Scholar
  7. 7.
    Fiadeiro, J.L., Lopes, A.: Algebraic Semantics of Coordination, or what is in a signature? In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548, p. 293. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  8. 8.
    Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A Mathematical Semantics for Architectural Connectors. To appear in the Lecture notes of the Summer School on Generic Programming. LNCS. Springer, Heidelberg (2003)Google Scholar
  9. 9.
    Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)zbMATHGoogle Scholar
  10. 10.
    Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM TOPLAS 15(2), 337–356 (1993)CrossRefGoogle Scholar
  11. 11.
    Lopes, A., Fiadeiro, J.L., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: SIGSOFT 2002/FSE-10, pp. 41–50. ACM Press, New York (2002)CrossRefGoogle Scholar
  12. 12.
    Lopes, A., Fiadeiro, J.L., Wermelinger, M.: A Compositional Approach to Connectors Construction. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol. 2267, pp. 201–220. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Roman, G.-C., McCann, P.J., Plun, J.Y.: Mobile UNITY: reasoning and specification in mobile computing. ACM TOSEM 6(3), 250–282 (1997)CrossRefGoogle Scholar
  14. 14.
    Roman, G.-C., Murphy, A.L., Picco, G.P.: Coordination and Mobility. In: Omicini, A., et al. (eds.) Coordination of Internet designs: Models, Techniques, and Applications, pp. 253–273. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  15. 15.
    Stamos, J., Gifford, D.: Remote Evaluation. ACM TOPLAS 12(4), 537–565 (1990)CrossRefGoogle Scholar
  16. 16.
    Wermelinger, M., Fiadeiro, J.L.: Connectors for Mobile Programs. IEEE TOSE 24(5), 331–341 (1998)Google Scholar
  17. 17.
    Wermelinger, M., Lopes, A., Fiadeiro, J.: A Graph Based Architectural (Re)configuration Language. In: Proc. 8th ESEC/9th FSE, pp. 21–32. ACM Press, New York (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Antónia Lopes
    • 1
  • José Luiz Fiadeiro
    • 2
  1. 1.Department of Informatics, Faculty of SciencesUniversity of Lisbon, Campo GrandeLisboaPortugal
  2. 2.Department of Mathematics and Computer ScienceUniversity of LeicesterLeicesterUK

Personalised recommendations