PEPA

PEPA
For the drug see PEPA (drug)

Performance Evaluation Process Algebra (PEPA) is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s.[1] The language extends classical process algebras such as Milner's CCS and Hoare's CSP by introducing probabilistic branching and timing of transitions.

Rates are drawn from the exponential distribution and PEPA models are finite-state and so give rise to a stochastic process, specifically a continuous-time Markov process (CTMC). Thus the language can be used to study quantitative properties of models of computer and communication systems such as throughput, utilisation and response time as well as qualitative properties such as freedom from deadlock. The language is formally defined using a structured operational semantics in the style invented by Gordon Plotkin.

As with most process algebras, PEPA is a parsimonious language. It has only four combinators, prefix, choice, co-operation and hiding. Prefix is the basic building block of a sequential component: the process (a, r).P performs activity a at rate r before evolving to behave as component P. Choice sets up a competition between two possible alternatives: in the process (a, r).P + (b, s).Q either a wins the race (and the process subsequently behaves as P) or b wins the race (and the process subsequently behaves as Q). The co-operation operator requires the two "co-operands" to join for those activities which are specified in the co-operation set: in the process P < a, b> Q the processes P and Q must co-operate on activities a and b, but any other activities may be performed independently. Finally, the process P/{a} hides the activity a from view (and prevents other processes from joining with it).

Syntax

Given a set of action names, the set of CCS processes is defined by the following BNF grammar:

P ::= (a,\lambda).P\,\,\, | \,\,\,P + Q\,\,\, | \,\,\,P\stackrel{\triangleright \!\! \triangleleft}{\scriptstyle{L}}Q\,\,\, | \,\,\,P/L\,\,\,|\,\,\,A

The parts of the syntax are, in the order given above

action 
the process (a,λ).P can perform an action a at rate λ and continue as the process P.
choice 
the process P+Q may behave as either the process P or the process Q.
cooperation 
processes P and Q exist simultaneously and behave indepdendently for actions whose names do not appear in L. For actions whose names appear in L, the action must be carried out jointly and a race condition determines the time this takes.
hiding 
the process P behaves as usual for action names not in L, and performs a silent action τ for action names that appear in L.
process identifier 
write A \overset{\underset{\mathrm{def}}{}}{=} P to use the identifier A to refer to the process P.

External links

References

  1. ^ Hillston, Jane (1996). A Compositional Approach to Performance Modelling. Cambridge University Press. ISBN 0521571898. http://www.dcs.ed.ac.uk/pepa/book.pdf. Retrieved 2009-04-21. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Pepa — Pepa, la tía Pepa expr. menstruación. ❙ «La tía Pepa, la tía Pepita. Menstruación.» VL. ❙ ▄▀ «Dolores no puede hacer el amor esta noche porque le ha venido la tía Pepa.» ❘ no se ha podido documentar fuera de diccionarios …   Diccionario del Argot "El Sohez"

  • Pepa — f Spanish: pet form of JOSEFA (SEE Josefa). Variant: Pepita …   First names dictionary

  • Pepa — Pepa, Pepita spanische Koseform von → Josefa (Bedeutung: Gott möge vermehren) …   Deutsch namen

  • pepa — adjetivo 1. Uso/registro: jergal. Origen: Perú. Atractivo …   Diccionario Salamanca de la Lengua Española

  • Pepa — There are various references to the word Pepa.The known ones are listed below:*PEPA (Performance Evaluation Process Algebra) a stochastic process algebra designed for modelling computer and communication systems. *PEPA (drug) an ampakine drug… …   Wikipedia

  • Pepa — ► sustantivo femenino 1 BOTÁNICA Semilla o simiente de algunos frutos: ■ la sandía tiene muchas pepas. SINÓNIMO pepita FRASEOLOGÍA ► interjección ¡viva la pepa! Se usa para indicar alegría y despreocupación por una cosa: ■ tú ahí tumbado y… …   Enciclopedia Universal

  • pepa — {{#}}{{LM P29792}}{{〓}} {{SynP30508}} {{[}}pepa{{]}} ‹pe·pa› {{《}}▍ s.f.{{》}} {{♂}}En zonas del español meridional,{{♀}} hueso o pepita. {{#}}{{LM SynP30508}}{{〓}} {{CLAVE P29792}}{{\}}{{CLAVE}}{{/}}{{\}}SINÓNIMOS Y ANTÓNIMOS:{{/}} {{[}}pepa{{]}} …   Diccionario de uso del español actual con sinónimos y antónimos

  • pepa — delinc. Pena de prisión perpetua (G. y P.)// aer. bomba, proyectil// ins. granada// futb. gol// pop. hipoc. de Josefa. una pepa pop. Lo que no importa nada …   Diccionario Lunfardo

  • Pepa — Pepa2 (Hipocorístico del n. p. Josefa). viva la Pepa. (Por alus. a la Constitución de 1812, promulgada el día de San José). loc. interj. irón. U. para referirse a toda situación de desbarajuste, despreocupación o excesiva licencia …   Diccionario de la lengua española

  • pepa — pepa1 1. f. pepita (ǁ simiente de algunas frutas). 2. El Salv. anacardo (ǁ fruto). pepa de zambo. f. Ecuad. vinchuca (ǁ insecto) …   Diccionario de la lengua española

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”