Description, simulation and implementation of communication protocols using PDIL

Abstract

Abstrac tThis paper presents the basis of PDIL, a language designed for specifying protocol s and services and allowing automati c implementation . The main objectives of th e language are unambiguous description , simulation and automatic implementation . Th e first pert presents the objects that PDI L allows to manipulate : machines, channels , contexts, automata, interactions . The secon d part gives an overview of a PDIL descriptio n unit in its language aspect . This paper als o introduces general ideas about the descriptio n of simulation and automatic implementation o f protocols or services .This work is largely based on the presen t result of subgroups A and B o f ISO/SC16/WG1/FDT with significant extensions .

Síntesis de protocolos de comunicación a partir de especificaciones de servicio

“…Se pretende finalmente proporcionar una base para el desarrollo de un entorno de diseño de servicios y protocolos, dentro del marco del Modelo de Referencia de OSI. Comparado con otros entornos existentes (por ejemplo [Han86] y [Ans83b]) que facilitan la labor de edición y verificación de las especificaciones, así como la obtención semiautomática de código fuente, aquí se tratará además de dar al usuario la posibilidad de diseñar un sistema desde un nivel de abstracción superior, un nivel de requisitos a partir del cual derivar el diseño operacional.…”