SEMANTICAS DE PRUEBAS PARA ALGEBRAS DE PROCESOS PROBABILISTICOS.

Autor: NUÑEZ GARCIA MANUEL
Año: 1995
Universidad: COMPLUTENSE DE MADRID
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION
Centro de lectura: MATEMATICAS
Director: FRUTOS ESCRIG DAVID DE
Tribunal: RODRIGUEZ ARTALEJO MARIO , SMOLKA SCOTT , LLAMOSI CASAS ALBERTO , GABARRO VALLES JOAQUIN , PENA MARI RICARDO
Resumen de la tesis

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.
Materias relacionadas