VALUE PASSING IN MODEST

MoDeST is a language to model stochastic timed systems. It provides a wide range of orthogonal features, but does not have direct support for passing values between concurrent processes. In the first part of this thesis, a semantics for value passing in MoDeST is developed, with particular focus on the specific differences between MoDeST and existing value-passing modelling languages. In the second part, key steps of the implementation of these semantics for use with the Möbius simulation and performance evaluation framework are highlighted, most notably concerning timed aspects of value passing.

The thesis is available here.