Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-12-10-2
Fecha Publicación: 23-10-2012
Título: Applying stochastic equivalence to performance evaluation in dtsiPBC
Detalle:
We propose an extension of discrete time stochastic Petri box calculus (dtsPBC) presented by I.V. Tarasyuk with immediate multiactions, called dtsiPBC. dtsiPBC is a discrete time analogue of stochastic Petri box calculus (sPBC) with immediate multiactions proposed by H. Maci`a, V. Valero and others within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined on the basis of a subclass of labeled discrete time stochastic Petri nets with immediate transitions. A consistency of both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions and explain how it can be used to reduce their transition systems and underlying semi-Markov chains, as well as to compare the stationary behaviour. We prove that the introduced equivalence guarantees a coincidence of performance characteristics and can be used for performance analysis simplification. In a case study, a method of modeling, performance evaluation and behaviour preserving reduction of concurrent systems is outlined and applied to the shared memory system.




 
Autores
 
Autor Detalles
TARASYUK, IGOR V. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences (IIS SB RAS), 6, Acad. Lavrentiev ave., Novosibirsk 630090, Russia
MACIA SOLER, HERMENEGILDA I3A -Instituto de Investigación en Informática de Alabcete Campus Universitario s/n 02071 Albacete (Spain)
VALERO RUIZ, VALENTIN I3A -Instituto de Investigación en Informática de Alabcete Campus Universitario s/n 02071 Albacete (Spain)



 
Ficheros
 
Fichero Bytes Detalles
technicalreport_dtsiPBC_oct2012.pdf 732.4K

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal