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

    33 Citations (Scopus)
    38 Downloads (Pure)

    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.
    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
    PublisherSpringer
    Pages87-104
    Number of pages18
    ISBN (Print)3-540-42556-X
    DOIs
    Publication statusPublished - Sep 2001
    EventProcess Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001 - Aachen, Germany
    Duration: 12 Sep 200114 Sep 2001

    Publication series

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

    Conference

    ConferenceProcess Algebra and Probabilistic Methods - Performance Modelling in Verification, PAPM-PROBMIV 2001
    CountryGermany
    CityAachen
    Period12/09/0114/09/01

    Keywords

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

    Cite this

    d' Argenio, P. R., Hermanns, H., Katoen, J. P., & Klaren, J. (2001). MODEST: A modelling language for stochastic timed systems. In L. de Alfaro, & S. Gilmore (Eds.), Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV) (pp. 87-104). (Lecture Notes in Computer Science 2165; Vol. 2165). Berlin: Springer. https://doi.org/10.1007/3-540-44804-7_6