Formalizing Adaptation On-the-Fly

  • Authors:

  • S. Andova;L. P. J. Groenewegen;J. Stafleu;E. P. de Vink

  • Affiliations:

  • Department of Mathematics and Computer Science, TU/e, Eindhoven, the Netherlands;FaST Group, LIACS, Leiden University, The Netherlands;FaST Group, LIACS, Leiden University, The Netherlands;Department of Mathematics and Computer Science, TU/e, Eindhoven, the Netherlands

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

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.