Tesis doctoral de Manuel Nuñez Garcia
En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion probabilistica. Definimos una semantica operacional para nuestro lenguaje, y a continuacion definimos una semantica de pruebas parametrizadas por una cierta familia de pruebas. La caracterizacion vendra 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 estaran asociados a una interpretacion de los modelos reactivos y generativo respectivamente. Para la interpretacion del modelo reactivo daremos una caracterizacion alternativa de la semantica pruebas, la cual esta basada en trazas probabilisticas. Dado que el operador de eleccion externa no es congruente, definimos una semantica denotacional para el lenguaje en el que no se considera la eleccion externa. Esta semantica denotacional es completamente abstracta con respecto a la semantica de pruebas. para la interpretacion generativa, definimos una caracterizacion alternativa basada en conjuntos de aceptacion probabilisticos y una semantica denotacional basada en arboles de aceptacion probabilisticos. Ademas, para este modelo definimos una semantica axiomatica. demostramos que todas estas semanticas son equivalentes a la semantica de pruebas para el modelo generativo. a continuacion damos una serie de ejemplos en los cuales mostramos la utilidad de nuestro lenguaje a la hora de especificar sistemas concurrentes que dependen de informacion probabilistica. finalizamos extendiendo nuestro lenguaje con un operador de composicion paralela y discutiendo los problemas que presenta incluir un operador de restriccion.
Datos académicos de la tesis doctoral «Semanticas de pruebas para algebras de procesos probabilisticos.«
- Título de la tesis: Semanticas de pruebas para algebras de procesos probabilisticos.
- Autor: Manuel Nuñez Garcia
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Frutos Escrig David De
- Tribunal
- Presidente del tribunal: Mario Rodríguez Artalejo
- Alberto Llamosi Casas (vocal)
- Scott Smolka (vocal)
- Joaquin Gabarro Valles (vocal)