@inproceedings{c7e2c3a491de437aa0ca56559e273649,
title = "Towards dynamic adaptation of probabilistic systems",
abstract = "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.",
author = "S. Andova and L.P.J. Groenewegen and {Vink, de}, E.P.",
year = "2010",
doi = "10.1007/978-3-642-16561-0_19",
language = "English",
isbn = "978-3-642-16560-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "143--159",
editor = "T. Margaria and B. Steffeb",
booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II)",
address = "Germany",
}