University of Twente Student Theses


MODEST language syntax for structural model parameters

Apriyadi, R.A. (2021) MODEST language syntax for structural model parameters.

[img] PDF
Abstract: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.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page