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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
