Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

Christel BaierChristel Baier, Philipp ChrszonPhilipp Chrszon, Clemens DubslaffClemens Dubslaff, Joachim KleinJoachim Klein, Sascha KlüppelholzSascha Klüppelholz

DOI Link

Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
In It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, volume 10865 of Lecture Notes in Computer Science, 38--56. Springer, 2018

Details
Bibtex

KurzfassungAbstract
We present an extension of the popular probabilistic model checker Prism with multi-actions that enables the modeling of complex coordination between stochastic components in an exogenous manner. This is supported by tooling that allows the use of the exogenous coordination language Reo for specifying the coordination glue code. The tool provides an automatic compilation feature for translating a Reo network of channels into Prism’s guarded command language. Additionally, the tool supports the translation of reward monitoring components that can be attached to the Reo network to assign rewards or cost to activity within the coordination network. The semantics of the translated model is then based on weighted Markov decision processes that yield the basis, e.g., for a quantitative analysis using Prism. Feasibility of the approach is shown by a quantitative analysis of an energy-aware network system example modeled with a role-based modeling approach in Reo.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-90089-6_3.

@incollection{BCDKK2018,
  author    = {Christel Baier and Philipp Chrszon and Clemens Dubslaff and
               Joachim Klein and Sascha Kl{\"{u}}ppelholz},
  title     = {Energy-Utility Analysis of Probabilistic Systems with Exogenous
               Coordination},
  booktitle = {It's All About Coordination. Essays to Celebrate the Lifelong
               Scientific Achievements of Farhad Arbab},
  series    = {Lecture Notes in Computer Science},
  volume    = {10865},
  publisher = {Springer},
  year      = {2018},
  pages     = {38--56},
  doi       = {10.1007/978-3-319-90089-6_3}
}