Dynamic adaptation with distributed control in paradigm

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

Adaptation of a component-based system can be achieved in the coordination modeling 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 modeling migration from a deadlock-prone solution to a deadlock-free and starvation-free solution without any system quiescence. The system migration goes through various stages, exhibiting a shift of control among McPal and its helpers, and changing degrees of orchestrated and choreographic collaboration. The distributed system adaptation is formally verified using the mCRL2 model checker. Keywords: Component-based systems; Dynamic system adaptation; Distributed control; Formal verification [Volume 94, part 3 is dedicated to selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)]
Originele taal-2Engels
Pagina's (van-tot)333-361
Aantal pagina's29
TijdschriftScience of Computer Programming
Volume94
Nummer van het tijdschrift3
DOI's
StatusGepubliceerd - 2014

Vingerafdruk

Duik in de onderzoeksthema's van 'Dynamic adaptation with distributed control in paradigm'. Samen vormen ze een unieke vingerafdruk.

Citeer dit