Coordination technologies for just-in-time integration

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

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
Pages308-321
Number of pages14
ISBN (Electronic)9783540400073
ISBN (Print)9783540205272
DOIs
Publication statusPublished - 2003

Publication series

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

Keywords

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

Fingerprint

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

Cite this