Description, simulation and implementation of communication protocols using PDIL
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon · 1983
This paper presents the basis of PDIL, a language designed for specifying protocols and services and allowing automatic implementation. The main objectives of the language are unambiguous description, simulation and automatic implementation. The first part presents the objects that PDIL allows to manipulate : machines, channels, contexts, automata, interactions. The second part gives an overview of a PDIL description unit in its language aspect. This paper also introduces general ideas about the description of simulation and automatic implementation of protocols or services.