Behavioural approach to OSI system design

Abstract The wide range of requirements posed by protocol design is not accommodated by any single extant formal description technique. As a solution, the behavioural language LIPS is proposed, the use of which is illustrated in four typical design steps: specification, verification, simulation and performance evaluation.

[1]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[2]  Willem P. de Roever,et al.  A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..

[3]  Vincenza Carchiolo,et al.  A tool for the automated verification of eccs specifications of osi protocols , 1988 .

[4]  P. M. Melliar-Smith,et al.  An interval logic for higher-level temporal reasoning , 1983, PODC '83.

[5]  Amir Pnueli The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..

[6]  Gregor von Bochmann,et al.  Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..

[7]  Giuseppe Pappalardo Experiences with a Verification and Simulation Tool for Behavioural Languages , 1987, PSTV.

[8]  Michal Sajkowski Protocol Verification Techniques: Status Quo and Perspectives , 1984, PSTV.

[9]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[10]  Rune Gustavsson,et al.  Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic , 1984, PSTV.

[11]  Giuseppe Pappalardo,et al.  A LOTOS Specification of the PROWAY Highway Service , 1986, IEEE Transactions on Computers.

[12]  T. F. Paitkowski The state of the art in protocol engineering , 1986, SIGCOMM '86.

[13]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[14]  Thomas F. Piatkowski,et al.  A formal comparison of formal protocol specification techniques , 1985, PSTV.