PEPA Performance Evaluation Process Algebra

1
PEPA(Performance Evaluation Process Algebra)

• Héctor Antonio Tafoya
• Uriel Cruz Pineda
• Jennifer Peña Franco

2
Definiciones
3
Sintaxis

• generate definitions( )
• 1 terms empty list
• 2 for each statemachine S do
• 3 for each state s (of S) do
• 4 behaviours empty list
• 5 for each outgoing transition t (of s) do
• 6 w name of trigger event of t
• 7 r contents of rate(...) expression of t
• 8 tgt name of target state of t
• 9 behaviours behaviours (w, r).tgt
• 10 end for
• 11 n name of state s
• 12 terms terms n behaviours0
  behaviours1 ...
• 13 end for
• 14 end for
• 15 return terms

4
Definiciones permitidas

• P(a,r).P Un prefijo con tasa r
• P(b,2).P Un prefijo con tasa 2
• P(c,2.0r).P Un prefijo con tasa 2.0r
• P(d,infty).P Un prefijo con tasa al infinito
• P(a,r).P (b,2).P Una elección válida

5
Definiciones incorrectas

• PP variable mal definida.
• PQltgtR La cooperación puede que no sea usada en
  definiciones
• PQ.R Composiciones secuenciales no son
  permitidas
• P(a,r).P/a En definiciones hiding no es
  aceptada
• P(a,r)P Se omite alto-total
• P(ar).P Coma omitida en actividad
• P(a,r).P Punto y coma omitidos despúes de la
  definición.

6
Ejemplo

• Considerando
• lambda 0.05
• m0.1
• g 0.01
• r0.001
• mu 1.0
• Browser (display,0.4lambda).(cache,m).Browser
• (display,0.6lambda).(get,g).(download,infty).(rel
  ,r).Browser
• Server (get,infty).(download,mu).(rel,infty).Serv
  er
• Browserltget,download,relgtServer

7
Primer ejemplo
3.- Derive-A pantalla-Descomprimida/ Comprimida
1.-En File-Load-ejem.pepa
2.-Ver si el parseo fue exitoso
8
Uncompressed
9
Compressed
4.- Solvers-Método del Gradiente Lineal
Biconjugado
10
(No Transcript)
11
Navegando a través de los estados
12
Encontrando la probabilidad de que se esté en un
estado dependiendo de las acciones que se tomen
13
Fuentes de información.

• PEPA. http//www.dcs.ed.ac.uk/pepa/tools/ 01
  Abril 2008.
• Eclipse. http//www.eclipse.org/downloads/ 02
  Abril 2008.