Coordination Technologies for Just-in-Time Integration

  • José Luiz Fiadeiro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2757)


Whereas the emphasis of research in “Formal Methods” has been mainly directed to help developers in taming the complexity of constructing new systems, the challenge today is on evolution, namely on endowing system components with agility in responding to change and dynamically procuring collaborations from which global properties of the system can emerge. As a result, we are running the risk of building a new generation of legacy systems: systems in which interactions are too tightly coupled and rigid to operate in application environments that are “time critical”, for instance those that make use of Web Services, B2B, P2P or operate in what is known as “internet-time”. We suggest, and demonstrate, that support for “agility” can be found in what we call “coordination technologies” – a set of analysis techniques, modelling primitives, design principles and patterns that we have been developing for externalising interactions into explicit, first-class entities that can be dynamically superposed, “just-in-time”, over system components to coordinate their joint behaviour.


Design Pattern Software Architecture Output Channel Input Channel Joint Behaviour 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)CrossRefGoogle Scholar
  2. 2.
    Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 566–583. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  3. 3.
    Andrade, L.F., Fiadeiro, J.L.: Agility through Coordination. Information Systems 27, 411–424 (2002)zbMATHCrossRefGoogle Scholar
  4. 4.
    Andrade, L.F., Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Patterns for Coordination. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 317–322. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  5. 5.
    Back, R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM TOPLAS 10(4), 513–554 (1988)zbMATHCrossRefGoogle Scholar
  6. 6.
    Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)Google Scholar
  7. 7.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)Google Scholar
  8. 8.
    Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)zbMATHGoogle Scholar
  9. 9.
    Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming 28, 111–138 (1997)zbMATHCrossRefGoogle Scholar
  10. 10.
    Fiadeiro, J.L., 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
  11. 11.
    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
  12. 12.
    Finger, P.: Componend-Based Frameworks for E-Commerce. Communications of the ACM 43(10), 61–66 (2000)CrossRefGoogle Scholar
  13. 13.
    Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)zbMATHGoogle Scholar
  14. 14.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  15. 15.
    Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)CrossRefGoogle Scholar
  16. 16.
    Goguen, J.: Categorical Foundations for General Systems Theory. In: Pichler, F., Trappl, R. (eds.) Advances in Cybernetics and Systems Research, pp. 121–130. Transcripta Books (1973)Google Scholar
  17. 17.
    Gouveia, J., Koutsoukos, G., Andrade, L., Fiadeiro, J.L.: Tool Support for Coordination- Based Software Evolution. In: Pree, W. (ed.) Technology of Object-Oriented Languages and Systems – TOOLS 38, pp. 184–196. IEEE Computer Society Press, Los Alamitos (2001)CrossRefGoogle Scholar
  18. 18.
    Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM TOPLAS 15(2), 337–356 (1993)CrossRefGoogle Scholar
  19. 19.
    Koutsoukos, G., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Managing evolution in Telecommunications Systems. In: Zielinski, K., Geihs, K., Laurentowski, A. (eds.) New Developments on Distributed Applications and Interoperable Systems, pp. 133–139. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  20. 20.
    Koutsoukos, G., Kotridis, T., Andrade, L., Fiadeiro, J.L., Gouveia, J., Wermelinger, M.: Coordination technologies for business strategy support: a case study in stock-trading. In: Proceedings ECOOP 2001 Workshop on Object Oriented Business Solutions (WOOBS 2001), pp. 41–52 (2001)Google Scholar
  21. 21.
    Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: 4th Symp. On Foundations of Software Engineering, pp. 3–14. ACM Press, New York (1996)CrossRefGoogle Scholar
  22. 22.
    Shaw, M.: Procedure Calls are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status. In: Lamb, D.A. (ed.) ICSE-WS 1993. LNCS, vol. 1078. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  23. 23.
    Wermelinger, M., Fiadeiro, J.L.: Algebraic Software Architecture Reconfiguration. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, pp. 393–409. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  24. 24.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • José Luiz Fiadeiro
    • 1
  1. 1.Department of Mathematics and Computer ScienceUniversity of Leicester University RoadLeicesterUK

Personalised recommendations