The stochastically timed process algebra GSMPA enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled. To accomplish this, the mechanism of action identification as well as the adoption of the preselection policy for alternative actions have been introduced. A restricted version of GSMPA is presented together with the definition of its integrated semantics, from which it is possible to derive by projection a functional semantics and a performance semantics in the form of an extended generalized semi-Markov process (EGSMP). The class of EGSMPs is an extension, we have introduced, of the well-known class of GSMPs. Therefore already established theoretical results for GSMP, such as their solution through the notion of insensitivity, can be applied for performance evaluation purposes.

From EMPA to GSMPA: Allowing for General Distributions

Bernardo, Marco;
1997

Abstract

The stochastically timed process algebra GSMPA enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled. To accomplish this, the mechanism of action identification as well as the adoption of the preselection policy for alternative actions have been introduced. A restricted version of GSMPA is presented together with the definition of its integrated semantics, from which it is possible to derive by projection a functional semantics and a performance semantics in the form of an extended generalized semi-Markov process (EGSMP). The class of EGSMPs is an extension, we have introduced, of the well-known class of GSMPs. Therefore already established theoretical results for GSMP, such as their solution through the notion of insensitivity, can be applied for performance evaluation purposes.
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/11576/1891867
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact