Complutense University Library

Semánticas de pruebas para álgebras de procesos probabilísticos

Núñez García, Manuel (2002) Semánticas de pruebas para álgebras de procesos probabilísticos. Tesis PhD.

Official URL: http://eprints.ucm.es/tesis/19911996/X/2/X2005001.pdf

View download statistics for this eprint

==>>> Export to other formats

Abstract

En esta tesis presentamos un algebra de procesos que ha sido extendida con información probabilística. Definimos una semántica operacional para nuestro lenguaje, y a continuación definimos una semántica de pruebas parametrizadas por una cierta familia de pruebas. La caracterización vendrá dada por la probabilidad con la que los procesos pasan las pruebas del conjunto dado. Una vez definido el marco general, consideraremos dos conjuntos de pruebas los cuales estarán asociados a una interpretación de los modelos reactivos y generativo respectivamente. Para la interpretación del modelo reactivo daremos una caracterización alternativa de la semántica pruebas, la cual esta basada en trazas probabilísticas. Dado que el operador de elección externa no es congruente, definimos una semántica denotacional para el lenguaje en el que no se considera la elección externa. Esta semántica denotacional es completamente abstracta con respecto a la semántica de pruebas. Para la interpretación generativa, definimos una caracterización alternativa basada en conjuntos de aceptación probabilísticos y una semántica denotacional basada en árboles de aceptación probabilísticos. Además, para este modelo definimos una semántica axiomatica. Demostramos que todas estas semánticas son equivalentes a la semántica de pruebas para el modelo generativo. A continuación damos una serie de ejemplos en los cuales mostramos la utilidad de nuestro lenguaje a la hora de especificar sistemas concurrentes que dependen de información probabilística. Finalizamos extendiendo nuestro lenguaje con un operador de composición paralela y discutiendo los problemas que presenta incluir un operador de restricción.

Item Type:Thesis (PhD)
Additional Information:Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, leída el 25-06-1996
Directors:
DirectorsDirector email
Frutos Escrig, David deUNSPECIFIED
Uncontrolled Keywords:Lingüística matemática
Subjects:Sciences > Mathematics > Probabilities
Sciences > Mathematics > Cybernetics
ID Code:3454
Deposited On:17 May 2005
Last Modified:30 Oct 2011 10:37

Repository Staff Only: item control page