In this chapter we present an introduction to the novel approach to performance modeling provided by stochastic process algebras (SPA). Like queueing networks and stochastic Petri nets, and their variants, these formal languages can be regarded as high-level model specification languages for low-level stochastic models. The advantages of SPAs are that they incorporate the attractive features of process algebras and thus bring to the area of performance modeling several attributes which are not offered by the existing formalisms. Perhaps the most important such feature is the compositionality which is inherent in the models and can be exploited during their analysis. Throughout this chapter we will present several simple examples which illustrate this and several other aspects of the SPA approach to performance modeling.

Stochastic Process Algebras: a New Approach to Performance Modeling

RIBAUDO, MARINA
1998

Abstract

In this chapter we present an introduction to the novel approach to performance modeling provided by stochastic process algebras (SPA). Like queueing networks and stochastic Petri nets, and their variants, these formal languages can be regarded as high-level model specification languages for low-level stochastic models. The advantages of SPAs are that they incorporate the attractive features of process algebras and thus bring to the area of performance modeling several attributes which are not offered by the existing formalisms. Perhaps the most important such feature is the compositionality which is inherent in the models and can be exploited during their analysis. Throughout this chapter we will present several simple examples which illustrate this and several other aspects of the SPA approach to performance modeling.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11567/199465
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact