Towards dynamic adaptation of probabilistic systems

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

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

4 Citations (Scopus)
1 Downloads (Pure)


Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavior, of new constraints and of new control in view of a new collaboration.McPal gradually adapts the system dynamics. It is shown that the approach also applies to the probabilistic setting. For a client-server example, where McPal adds, step-by-step, probabilistic behavior to deterministic components, precise modeling of changing system dynamics is achieved. This modeling of the transient behavior, spanning the complete migration range from as-is collaboration to to-be collaboration, serves as a stepping stone to quantitative analysis of the system during adaptation.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II)
EditorsT. Margaria, B. Steffeb
Place of PublicationBerlin
ISBN (Print)978-3-642-16560-3
Publication statusPublished - 2010

Publication series

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


Dive into the research topics of 'Towards dynamic adaptation of probabilistic systems'. Together they form a unique fingerprint.

Cite this