Contribución al análisis y transformación de especificaciones lotos
- PAVON GOMEZ, SANTIAGO
- Juan Quemada Vives Doktorvater/Doktormutter
Universität der Verteidigung: Universidad Politécnica de Madrid
Jahr der Verteidigung: 1991
- Juan Bautista Riera García Präsident/in
- José Antonio Mañas Argemí Sekretär/in
- David de Frutos Escrig Vocal
- Juan Antonio de la Puente Alfaro Vocal
- Miquel Bertrán Salvans Vocal
Art: Dissertation
Zusammenfassung
La tesis se centra en el diseño de sistemas distribuidos, especialmente en le desarrollo de algoritmos y herramientas para dar soporte al proceso de diseño de estos sistemas basado en lotos.Lotos es una FDT que permite describir los requisitos de un sistema de forma no ambigua, y permite verificar y probar que los desarrollos realizados durante el proceso de diseño se ajustan a los requisitos dados.Los algoritmos desarrollados se pueden clasificar en dos grupos: el primero esta basado en funciones de exploración de estados. Particularmente se han desarrollado diferentes funciones de expansión y paso de pruebas. El segundo grupo comprende un conjunto de funciones de descomposición de funcionalidad. Estos algoritmos se han implementado en un prototipo software.