Description, simulation and implementation of communication protocols using PDIL

Authors:
J. P. Ansart;V. Chari;M. Neyer;O. Rafiq;D. Simon
Affiliations:
RHIN Project, Agence de l 'Informatique, Tour FIAT, PARIS - La Défense, France;RHIN Project, Agence de l 'Informatique, Tour FIAT, PARIS - La Défense, France;RHIN Project, Agence de l 'Informatique, Tour FIAT, PARIS - La Défense, France;RHIN Project, Agence de l 'Informatique, Tour FIAT, PARIS - La Défense, France;RHIN Project, Agence de l 'Informatique, Tour FIAT, PARIS - La Défense, France
Venue:
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Year:
1983

Citing 1
Cited 2

A Model of Entity for the Definition of Protocols, Services, and Interfaces

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification

Extending the statechart formalism: event scheduling & disposition

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Some operational tools in a OSI protocols study environment

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. This work is largely based on the present result of subgroups A and B of ISO/SC16/WG1/FDT with significant extensions.