Formalizing adaptation on-the-fly

S. Andova, L.P.J. Groenewegen, J. Stafleu, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)


Paradigm models specify coordination of collaborating components via constraint control. Component McPal allows for later addition of new constraints and new control in view of unforeseen adaptation. After addition McPal starts coordinating migration accordingly, adapting the system towards to-be collaboration. Once done, McPal removes obsolete control and constraints. All coordination remains ongoing while migrating on-the-fly, being deflected without any quiescence. Through translation into process algebra, supporting formal analysis is arranged carefully, showing that as-is and to-be processes are proper abstractions of the migrating process. A canonical critical section problem illustrates the approach.
Original languageEnglish
Title of host publicationProceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'09, Rhodes, Greece, July 11th, 2009; in conjunction with ICALP'09)
EditorsG. Salaün, M. Sirjani
Publication statusPublished - 2009

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061


Dive into the research topics of 'Formalizing adaptation on-the-fly'. Together they form a unique fingerprint.

Cite this