University of Twente Student Theses
MODEST language syntax for structural model parameters
Apriyadi, R.A. (2021) MODEST language syntax for structural model parameters.
|
PDF
342kB |
| 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: | https://purl.utwente.nl/essays/87066 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page