An integrated approach for modeling and analyzing functional and performance properties of concurrent systems has been proposed in [BDG1995]. The approach is based on the stochastic process algebra EMPA and the class of generalized stochastic Petri nets. In this paper we assess the suitability of the approach, and in particular of EMPA, for simulation purposes. The result is that EMPA turns out to be adequate both from the modeling point of view due to its compositionality and its expressive power, and from the simulative analysis point of view since its semantics has been defined in the operational style.
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems
Bernardo, Marco
1996
Abstract
An integrated approach for modeling and analyzing functional and performance properties of concurrent systems has been proposed in [BDG1995]. The approach is based on the stochastic process algebra EMPA and the class of generalized stochastic Petri nets. In this paper we assess the suitability of the approach, and in particular of EMPA, for simulation purposes. The result is that EMPA turns out to be adequate both from the modeling point of view due to its compositionality and its expressive power, and from the simulative analysis point of view since its semantics has been defined in the operational style.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.
