A Compositional Approach to Generalised semi-Markov Processes
Title | A Compositional Approach to Generalised semi-Markov Processes |
Publication Type | Conference Paper |
Year of Publication | 1998 |
Authors | D'Argenio, PR, Katoen, J-P, Brinksma, E |
Conference Name | Proceedings of the 4th International Workshop on Discrete Event Systems, WODES'98, Caligari, Italy |
Publisher | IEE |
Abstract | This paper proposes a compositional approach to the specification and analysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generalised 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. |
PDF (Full text):