MoDeST: A Modelling language for Stochastic Timed Systems


Share/Save/Bookmark

D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric (2001) MoDeST: A Modelling language for Stochastic Timed Systems. In: Joint International Workshop on Process Algebra and Probabilistic Methods. Performance Modelling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany.

[img]
Preview
PDF
244Kb
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.
Item Type:Conference or Workshop Item
Copyright:© 2001 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/37170
Official URL:http://dx.doi.org/10.1007/3-540-44804-7_6
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 204137