Tesis doctoral de Alonso Gonzalez Luis M.
Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas que ineracicionan con su entorno enviando y recibiendo mensajes. La especificacion de un sistema esta dada por una familia de variables de estado que representan los estados del sistema; una familia de reglas de transicion que describen el cambio de estado que tiene lugar con cada operacion de comunicacion; una familia de guardas, que junto con las anteriores, describen las secuencias de comunicaciones posibles; una familia de reglas de vitalidad que describen ciertas propiedades del sistema. se incluye tambien una nocion de implementacion distribuida y se presentan tecnicas para establecer formalmente su corpeccion. la semantica de las especificaciones con variables de estado se establecen empleando un modelo matematico de los programas paralelos ampliamente difundido: el modlo de fallos. se definen una representacion de dicho modelo empleando una clase particular de automatas, los llamados automatas de aceptacion. Dicha representacion prporciona tambien las bases para la construccion de herramientas de verificacion auromatica de sistemas concurrentes, cuando el numero de estados es finito. La utilidad del metodo propuesto se ilustra mediante su aplicacion en diversos ejemplos no triviales.
Datos académicos de la tesis doctoral «Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes«
- Título de la tesis: Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
- Autor: Alonso Gonzalez Luis M.
- Universidad: País vasco/euskal herriko unibertsitatea
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Ricardo Peña Mari
- Tribunal
- Presidente del tribunal: De Frutos Escrig David
- José María Troya Linero (vocal)
- Angel Alvarez Rodriguez (vocal)
- Marisa Navarro Gómez (vocal)