A Compositional Approach to Generalised semi-Markov Processes

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

A Compositional Approach to Generalised semi-Markov Processes

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

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 language	English
Title of host publication	WODES'98: International Workshop on Discrete Event Systems
Subtitle of host publication	26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia
Editors	Alessandro Giua, R. Smedinga, M.P. Spathopoulos
Place of Publication	London
Publisher	IEE
Pages	391-397
Number of pages	7
ISBN (Print)	9780852967102
Publication status	Published - 1998
Event	4th International Workshop on Discrete Event Systems, WODES 1998 - Cagliari, Italy Duration: 26 Aug 1998 → 28 Aug 1998 Conference number: 4

Workshop

Workshop	4th International Workshop on Discrete Event Systems, WODES 1998
Abbreviated title	WODES
Country/Territory	Italy
City	Cagliari
Period	26/08/98 → 28/08/98

Keywords

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

Cite this

@inproceedings{b494160e251546c2bd510aa10b3aadb6,

title = "A Compositional Approach to Generalised semi-Markov Processes",

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.",

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

author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Ed Brinksma",

year = "1998",

language = "English",

isbn = "9780852967102",

pages = "391--397",

editor = "Alessandro Giua and R. Smedinga and M.P. Spathopoulos",

booktitle = "WODES'98: International Workshop on Discrete Event Systems",

publisher = "IEE",

address = "United Kingdom",

note = "4th International Workshop on Discrete Event Systems, WODES 1998, WODES ; Conference date: 26-08-1998 Through 28-08-1998",

}

d' Argenio, PR, Katoen, JP & Brinksma, E 1998, A Compositional Approach to Generalised semi-Markov Processes. in A Giua, R Smedinga & MP Spathopoulos (eds), WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia. IEE, London, pp. 391-397, 4th International Workshop on Discrete Event Systems, WODES 1998, Cagliari, Italy, 26/08/98.

A Compositional Approach to Generalised semi-Markov Processes. / d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Ed.
WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia. ed. / Alessandro Giua; R. Smedinga; M.P. Spathopoulos. London: IEE, 1998. p. 391-397.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Compositional Approach to Generalised semi-Markov Processes

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Ed

N1 - Conference code: 4

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - FMT-PA: PROCESS ALGEBRAS

KW - GSMP

KW - Process algebra

KW - Discrete-event simulation

KW - Compositionality

KW - Equational reasoning

M3 - Conference contribution

SN - 9780852967102

SP - 391

EP - 397

BT - WODES'98: International Workshop on Discrete Event Systems

A2 - Giua, Alessandro

A2 - Smedinga, R.

A2 - Spathopoulos, M.P.

PB - IEE

CY - London

T2 - 4th International Workshop on Discrete Event Systems, WODES 1998

Y2 - 26 August 1998 through 28 August 1998

ER -

A Compositional Approach to Generalised semi-Markov Processes

Abstract

Workshop

Keywords

Fingerprint

Cite this