Tesis doctoral de Llorens Agost M. Luisa
En esta tesis doctoral se aborda el problema de la modelización y la verificación de sistemas concurrentes sujetos a cambios dinámicos. El formalismo de base es el de las redes de petri. En lo que concierne a la expresividad del modelo se busca un mecanismo que tenga en cuenta los cambios dinámicos estructurales de manera local, interna e incremental. Al mismo tiempo, las propiedades básicas de las redes de petri (acotabilidad de lugares, alcanzabilidad, interbloqueo y vivacidad) deben continuar siendo decidibles para este modelo extendido. En general, lo que se gana normalmente en términos de expresividad se traduce en una pérdida en términos de propiedades decidibles. hay que buscar, entonces, un equilibrio entre expresividad y computabilidad. las gramáticas de grafos y las redes automodificantes de valk son las dos líneas de investigación origen de nuestro modelo general: los sitemas de reescritura de redes. Ambas líneas dan lugar a modelos que mejoran la expresividad de las redes de petri para describir el cambio dinámico en sistemas concurrentes pero tienen el inconveniente de que casi todas las propiedades básicas decidibles de las redes de petri se pierden. Por ello, para estos modelos extendidos no pueden construirse herramientas automáticas de verificación. los sistemas de reescritura de redes son una combinación de redes de petri con sistemas de reescritura de grafos. Cada configuración del sistema es una red de petri y un cambio de configuración es una regla de reescritura de grafos. La expresividad de los sistemas de reescritura de redes es la misma que la de la máquina de turing, es decir, las propiedades básicas decidibles de las redes de petri se pierden en estos sistemas, no siendo posible la verificación automática. las redes reconfigurables son una subclase de los sistemas de reescritura de redes equivalente formalmente a las redes de petri, lo que asegura que todas las propiedades fundamentale
Datos académicos de la tesis doctoral «Redes reconfigurables. modelización y verificación«
- Título de la tesis: Redes reconfigurables. modelización y verificación
- Autor: Llorens Agost M. Luisa
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 05/11/2003
Dirección y tribunal
- Director de la tesis
- Javier Oliver Villarroya
- Tribunal
- Presidente del tribunal: María Alpuente frasnedo
- Fernando Cuartero gómez (vocal)
- Javier Campos laclaustra (vocal)
- María del mar Gallardo melgarejo (vocal)