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

Departamento: INGENIERIA DE SISTEMAS TELEMATICOS

Acceso electrónico:

Director/a(s):

• Director/a: 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