Diseño y verificación de sistemas en lotos

  1. Llamas Nistal, Martín
Zuzendaria:
  1. Juan Quemada Vives Zuzendaria

Defentsa unibertsitatea: Universidad Politécnica de Madrid

Defentsa urtea: 1995

Epaimahaia:
  1. José Antonio Mañas Argemí Presidentea
  2. Tomás Pedro de Miguel Moro Idazkaria
  3. David de Frutos Escrig Kidea
  4. José M. Santos Suárez Kidea
  5. Juan Antonio de la Puente Alfaro Kidea

Mota: Tesia

Teseo: 50636 DIALNET

Laburpena

LOTOS (LENGUAGE OF TEMPORAL ORDERING SPECIFICACTION) ES UNA TECNICA DE DESCRIPCION FORMAL DESARROLLADA PARA LA ESPECIFICACION FORMAL DE SISTEMAS ABIERTOS DISTRIBUIDOS, LA IDEA BASICA DE LOTOS ES QUE LOS SISTEMAS SE PUEDEN ESPECIFICAR DEFINIENDO LA RELACION TEMPORAL ENTRE LAS INTERACCIONES QUE CONSTITUYEN SU COMPORTAMIENTO EXTERNAMENTE OBSERBABLE. LOTOS PERMITE ESPECIFICACIONES NO-AMBIGUAS, PRECISAS, COMPLETAS E INDEPENDIENTES DE LA IMPLEMENTACION, Y PROPORCIONAN UNA BASE FORMALMENTE BIEN DEFINIDA PARA LA VERIFICACION Y PRUEBAS. SE PUEDE UTILIZAR LOTOS Y SU TEORIA MATEMATICA 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. SE PUEDE DETERMINAR LA CONSISTENCIA ENTRE LOS SUCESIVOS MODELOS LOTOS HASTA EL PRODUCTO FINAL MEDIANTE LA VERIFICACION DE RELACIONES MATEMATICAS QUE SE HAN SE MANTENER ENTRE LOS DISTINTOS REFINAMIENTOS.