A Compositional Approach to Generalised semi-Markov Processes

P.R. d' Argenio, Joost P. Katoen, Ed Brinksma

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

    Abstract

    This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semantics of this process algebra is given in terms of stochastic automata, an extension of automata with clocks that are basically random variables of continuous or discrete nature. We show that GSMPs are a proper subset of stochastic automata and provide some example laws that are useful for the verification of such models.
    Original languageEnglish
    Title of host publicationWODES'98: International Workshop on Discrete Event Systems
    Subtitle of host publication26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia
    EditorsAlessandro Giua, R. Smedinga, M.P. Spathopoulos
    Place of PublicationLondon
    PublisherInstitution of Electrical Engineers (IEE)
    Pages391-397
    Number of pages7
    ISBN (Print)9780852967102
    Publication statusPublished - 1998
    Event4th International  Workshop on Discrete Event Systems, WODES 1998 - Cagliari, Italy
    Duration: 26 Aug 199828 Aug 1998
    Conference number: 4

    Workshop

    Workshop4th International  Workshop on Discrete Event Systems, WODES 1998
    Abbreviated titleWODES
    CountryItaly
    CityCagliari
    Period26/08/9828/08/98

    Keywords

    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-PA: PROCESS ALGEBRAS
    • GSMP
    • Process algebra
    • Discrete-event simulation
    • Compositionality
    • Equational reasoning

    Fingerprint Dive into the research topics of 'A Compositional Approach to Generalised semi-Markov Processes'. Together they form a unique fingerprint.

    Cite this