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.
|Title of host publication||Proceedings 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)|
|Editors||G. Salaün, M. Sirjani|
|Publication status||Published - 2009|
|Name||Electronic Notes in Theoretical Computer Science|