Implementación de los tipos abstractos de datos SDL en un lenguaje lógico concurrente

• Autores: José Carlos Canal Velasco , Lidia Fuentes Fernández
• Localización: II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 595-604
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • SDL es una técnica de descripción formal para la especificación de protocolos de comunicación. La definición de datos en SDL se realiza mediante especificaciones algebraicas y presenta características particulares que lo diferencian de otros formalismos, como la combinación de herencia, tipos genéricos y expresiones regulares o el poliformismo funcional. Por otro lado, la mayor parte de las herramientas existentes en el mercado ignoran este aspecto del lenguaje lo que limita los prototipos que generan. Basándonos en que los lenguajes lógicos son un buen candidato para la implementación de especificaciones algebraicas, presentamos un traductor del lenguaje de definición de datos de SDL DRL, un lenguaje lógico concurrente. Además describimos el motor de reducción que permite la ejecución de las especificaciones traducidas, lo que, para mayor eficiencia, se hace utilizando técnicas de metainterpretación. Este trabajo se enmarca dentro del proyecto de Terminal Multimedia del Plan Nacional de Banda Ancha, en el que nuestro grupo ha participado.