Abstract
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.
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 Connectors. ACM TOSEM 6(3), 213–249 (1997)
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)
Andrade, L.F., Fiadeiro, J.L.: Agility through Coordination. Information Systems 27, 411–424 (2002)
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)
Back, R., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM TOPLAS 10(4), 513–554 (1988)
Bass, L., Clements, P., Kasman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)
Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming 28, 111–138 (1997)
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)
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)
Finger, P.: Componend-Based Frameworks for E-Commerce. Communications of the ACM 43(10), 61–66 (2000)
Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)
Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)
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)
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)
Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM TOPLAS 15(2), 337–356 (1993)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fiadeiro, J.L. (2003). Coordination Technologies for Just-in-Time Integration. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive