Formalizing Adaptation On-the-Fly
S. Andova, L.P.J. Groenewegen, J. Stafleu and E.P. de Vink

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.