MODEST: A modelling language for stochastic timed systems

P.R. d' Argenio, H. Hermanns, Joost P. Katoen, J. Klaren

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    34 Citations (Scopus)
    151 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationJoint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV)
    EditorsL. de Alfaro, S. Gilmore
    Place of PublicationBerlin
    Number of pages18
    ISBN (Print)3-540-42556-X
    Publication statusPublished - Sept 2001
    EventProcess Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001 - Aachen, Germany
    Duration: 12 Sept 200114 Sept 2001

    Publication series

    NameLecture Notes in Computer Science 2165
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    ConferenceProcess Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001


    • METIS-204137
    • EWI-946
    • IR-37170

    Cite this