Sciweavers

PAPM
2001
Springer

MoDeST - A Modelling and Description Language for Stochastic Timed Systems

13 years 8 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
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 complex systems 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.
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where PAPM
Authors Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
Comments (0)