Semántica de comportamiento en lenguajes de especificación

• Autores: M. Pilar Nivela Alos
• Directores de la Tesis: Fernando Orejas Valdés (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1987
• Idioma: español
• Tribunal Calificador de la Tesis: Josep Díaz Cort (presid.) , Donald Sannella (secret.) , José Luis Balcázar Navarro (voc.) , Isidro Ramos Salavert (voc.) , Mario Rodríguez de Artalejo (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • EN ESTA TESIS SE PRESENTA UN MARCO FORMAL (INSTITUCION) ADECUADO PARA DEFINIR EN TERMINOS DE SEMANTICA DE COMPORTAMIENTO LAS CONSTRUCCIONES USUALES EN LOS LENGUAJES DE ESPECIFICACION ALGEBRAICA, SE DEFINE PARA ELLO LA SINTAXIS DE LAS ESPECIFICACIONES LA CLASE DE MODELOS ASOCIADA Y LA NOCION DE SATISFACION.

    BASANDOSE EN ESTOS CONCEPTOS SE ESTABLECE LO QUE ES UNA ESPECIFICACION PARAMETRIZADA UN PASO DE PARAMETROS Y UNA IMPLEMENTACION DEMOSTRANDOSE QUE LAS PROPIEDADES DE ESTOS MECANISMOS CONSIDERADAS USUALMENTE COMO DESEABLES SE CUMPLEN EN ESTE NUEVO MARCO.

    TODOS ESTOS RESULTADOS SE APLICAN AL ESTUDIO DEL LENGUAJE DE ESPECIFICACION MERLIN-T DEFINIDO CON DOS NIVELES DE SEMANTICA COMPATIBLES ENTRE SI. ADEMAS ESTELENGUAJE INCORPORA UNA CONSTRUCCION DENOMINADA UNIVERSO QUE LO CONVIERTE NO SOLO EN EL LENGUAJE DE ESPECIFICACION SINO EN UN LENGUAJE DE ESPECIFICACION -DISEÑO.