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)

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.
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
PublisherSpringer
Pages143-159
ISBN (Print)978-3-642-16560-3
DOIs
Publication statusPublished - 2010

Publication series

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

Fingerprint

Dynamical systems
Servers
Chemical analysis

Cite this

Andova, S., Groenewegen, L. P. J., & Vink, de, E. P. (2010). Towards dynamic adaptation of probabilistic systems. In T. Margaria, & B. Steffeb (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II) (pp. 143-159). (Lecture Notes in Computer Science; Vol. 6416). Berlin: Springer. https://doi.org/10.1007/978-3-642-16561-0_19
Andova, S. ; Groenewegen, L.P.J. ; Vink, de, E.P. / Towards dynamic adaptation of probabilistic systems. Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). editor / T. Margaria ; B. Steffeb. Berlin : Springer, 2010. pp. 143-159 (Lecture Notes in Computer Science).
@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",

}

Andova, S, Groenewegen, LPJ & Vink, de, EP 2010, Towards dynamic adaptation of probabilistic systems. in T Margaria & B Steffeb (eds), Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). Lecture Notes in Computer Science, vol. 6416, Springer, Berlin, pp. 143-159. https://doi.org/10.1007/978-3-642-16561-0_19

Towards dynamic adaptation of probabilistic systems. / Andova, S.; Groenewegen, L.P.J.; Vink, de, E.P.

Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). ed. / T. Margaria; B. Steffeb. Berlin : Springer, 2010. p. 143-159 (Lecture Notes in Computer Science; Vol. 6416).

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

TY - GEN

T1 - Towards dynamic adaptation of probabilistic systems

AU - Andova, S.

AU - Groenewegen, L.P.J.

AU - Vink, de, E.P.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-16561-0_19

DO - 10.1007/978-3-642-16561-0_19

M3 - Conference contribution

SN - 978-3-642-16560-3

T3 - Lecture Notes in Computer Science

SP - 143

EP - 159

BT - Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II)

A2 - Margaria, T.

A2 - Steffeb, B.

PB - Springer

CY - Berlin

ER -

Andova S, Groenewegen LPJ, Vink, de EP. Towards dynamic adaptation of probabilistic systems. In Margaria T, Steffeb B, editors, Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). Berlin: Springer. 2010. p. 143-159. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-16561-0_19