MODEST language syntax for structural model parameters

MODEST, a modeling language designed for stochastic timed and probabilistic systems with support for complex continuous aspects, provides users with a wide variety of tools at their disposal for the purpose of quantitative evaluations and modeling. Nevertheless, a caveat of the language is that structural model parameters (SMP) is not yet supported. SMP refers to the parameters that structurally alter the symbolic semantics of the automata generated from the parsed model. An instance of the consequence of such a feature's absence is the inability to flexibly initialize a process in a parallel composition a certain number of times with respect to a constant or model parameter. The contribution of this paper is the design of an extension to MODEST's syntax that facilitates the feature addressing this issue. The design is accompanied by a viability study that is in the form of a the design's prototype along with its performance on existing models.