Distributed adaptation of dining philosophers

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

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

5 Citations (Scopus)


Adaptation of a component-based system can be achieved in the coordination modelling language Paradigm through the special component McPal. McPal regulates the propagation of new behaviour and guides the changes in the components and in their coordination. Here we show how McPal may delegate part of its control to local adaptation managers, created on-the-fly, allowing for distribution of the adaptation indeed. We illustrate the approach for the well-known example of the dining philosophers problem, by modelling the migration from a deadlock-prone solution to a deadlock-free starvation-free solution without any system quiescence. The adaptation goes through various stages, exhibiting shifting control among McPal and its helpers, and changing degrees of orchestrated and choreographic collaboration.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software (7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010. Revised Selected Papers)
EditorsL. Soares Barbosa
Place of PublicationBerlin
ISBN (Print)978-3-642-27268-4
Publication statusPublished - 2012

Publication series

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


Dive into the research topics of 'Distributed adaptation of dining philosophers'. Together they form a unique fingerprint.

Cite this