Towards Dynamic Adaptation of Probabilistic Systems

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.

• Type: Journal
• Year: 2010
• Where: ISOLA
• Authors: Suzana Andova, Luuk Groenewegen, Erik P. de Vink
• Keywords: Behavior, Collaboration, Coordination Language Paradigm, Formal Methods, ISOLA 2010