@inproceedings{9998764139be43f9abb05bc67a5151e9,
title = "MODEST: A modelling language for stochastic timed systems",
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.",
keywords = "METIS-204137, EWI-946, IR-37170",
author = "{d' Argenio}, P.R. and H. Hermanns and Katoen, {Joost P.} and J. Klaren",
note = "Imported from DIES; Process Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001 ; Conference date: 12-09-2001 Through 14-09-2001",
year = "2001",
month = sep,
doi = "10.1007/3-540-44804-7_6",
language = "Undefined",
isbn = "3-540-42556-X",
series = "Lecture Notes in Computer Science 2165",
publisher = "Springer",
pages = "87--104",
editor = "{de Alfaro}, L. and S. Gilmore",
booktitle = "Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV)",
address = "Germany",
}