MoDeST - A Modelling and Description Language for Stochastic Timed Systems
Title | MoDeST - A Modelling and Description Language for Stochastic Timed Systems |
Publication Type | Conference Paper |
Year of Publication | 2001 |
Authors | D'Argenio, PR, Hermanns, H, Katoen, J-P, Klaren, R |
Editor | de Alfaro, L, Gilmore, S |
Conference Name | Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings |
Publisher | Springer |
ISBN Number | 3-540-42556-X |
Abstract | This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs — such as iteration, alternatives, atomic statements, and exception handling — with means to describe complexsystems in a compositional manner. In addition, MoDeST incorporates means to describe important phenomena such as non-determinism, probabilistic branching, and hard real-time as well as soft real-time (i.e., stochastic) aspects. The language is influenced by popular and user-friendly specification languages such as Promela, and deals with compositionality in a light-weight process-algebra style. Thus, MoDeST (i) covers a very broad spectrum of modelling concepts, (ii) possesses a rigid, process-algebra style semantics, and (iii) yet provides modern and flexible specification constructs. |
DOI | 10.1007/3-540-44804-7_6 |
PDF (Full text):