Submitted: May 2007
Abstract
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 will be 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 will be highlighted, most notably concerning timed aspects of value passing.