Resumen de Desarrollo de protocolos basado en Lenguajes lógicos concurrentes

Manuel Díaz Rodríguez, Pedro Merino Gómez, Bartolomé Rubio, José María Troya Linero

• español

  Los lenguajes lógicos se están utilizando como formalismo para especificación y análisis de protocolos de comunicaciones. La clase de los Lenguajes Lógicos Concurrentes (LLCs) puede añadir aún más posibilidades en las diferentes fases de la ingeniería de protocolos, dado que están especialmente diseñados para soportar la concurrencia. En este trabajo analizamos sus aportaciones y deficiencias presentando casos prácticos de especificación, simulación, validación y construcción de prototipos. Se presenta un lenguaje lógico concurrente diseñado especialmente para construir el núcleo de ejecución distribuido de un entorno para simulación y validación e protocolos. Se describen varias extensiones a los LLCs para permitir una ejecución eficiente en sistemas distribuidos y para controlar el tiempo real.

• English

  Logic Languages are being used as specificación and analysis formalism for protocol communication. The family of Concurrent Logic Languages (CLLs) can offer even more chances in the different phases of protocol engineering, due to they are specially designed to support concurrency. In this paper we analyze their advantages and disadvantages, and we present some examples of specification, simulation, validation and prototyping of practical applications. A new concurrent logic language is introduced, specially designed to work as a distributed kernel of a environment for protocol simulation and validation. We describe a set of extensions to CLLs to support the efficient execution on distributed system and real-time control.