Coordination technologies for just-in-time integration

José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingChapter


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.

Original languageEnglish
Title of host publicationFormal Methods at the Crossroads
Subtitle of host publicationFrom Panacea to Foundational Support
EditorsB. K. Aichernig, T. Maibaum
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages14
ISBN (Electronic)9783540400073
ISBN (Print)9783540205272
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743


  • Design Pattern
  • Software Architecture
  • Output Channel
  • Input Channel
  • Joint Behaviour

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Coordination technologies for just-in-time integration'. Together they form a unique fingerprint.

Cite this