Tesis doctoral de Gonzalo León Serrano
El trabajo desarrollado describe un modelo conceptual de sistema concurrente y una herramienta notacional para describir su comportamiento observable. El modelo conceptual esta basado en la teoria general de redes (formalizacion de las redes de petri) como tratamiento basico de los eventos observables y de las tecnicas de descomposicion funcional (principalmente metodología galileo). La descripcion de un proceso concurrente se realiza mediante tres niveles estrechamente relacionados utilizndo una herramienta notacional denominada expresiones de coordinacion. El comportamiento de un sistema concurente se efectua mediante tres operaciones: composicion descomposicion y reetiquetado que permiten construir sistemas a partir de subsitemas.
Datos académicos de la tesis doctoral «Contribucion a la modelacion y especificacion del comportamiento observable de sistemas concurrentes«
- Título de la tesis: Contribucion a la modelacion y especificacion del comportamiento observable de sistemas concurrentes
- Autor: Gonzalo León Serrano
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1982
Dirección y tribunal
- Director de la tesis
- Fernando Saez Vacas
- Tribunal
- Presidente del tribunal: Riera Garcia Juan Bautista
- Antonio Ramón Vaquero Sánchez (vocal)
- Pedro De Miguel Anasagasti (vocal)
- Fernando Saez Vacas (vocal)