Tesis:
Diseño y verificación de sistemas en lotos
- Autor: LLAMAS NISTAL, Martín
- Título: Diseño y verificación de sistemas en lotos
- Fecha: 1994
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: QUEMADA VIVES, Juan
- Resumen: LOTOS (Language of Temporal Ordering Specification) es una Técnica de Descripción Formal desarrollada para la especificación formal de sistemas abiertos distribuidos. La idea básica de LOTOS es que los sistemas se pueden especificar definiendo la relación temporal entre las interacciones que constituyen su comportamiento externamente observable. LOTOS permite especificaciones no-ambiguas, precisas, completas e independientes de la implementación, y proporcionan una base formalmente, bien definida para la verificación y pruebas. Se puede utilizar LOTOS y su teoría matemática asociada como soporte de un proceso de diseño mediante refinamientos sucesivos de pasos, en donde el sistema se construye incrementalmente en una secuencia de pasos de diseño encaminados a obtener un producto que cumpla con un determinado documento de requisitos de usuario. Su puede determinar la consistencia entre los sucesivos modelos LOTOS hasta el producto final mediante la verificación de relaciones matemáticas que se han de mantener entre los distintos refinamientos