论文信息 - An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols

An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols

This paper presents a method for specifying real communication protocols within the frame of the Open System Interconnection Model. A protocol specification is achieved in two steps:

Mohamed Bettaz | M. Bettaz

[1] Hartmut Ehrig,et al. Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag) , 1989, Software-Entwicklung.

[2] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[3] Leslie Lamport,et al. What Good is Temporal Logic? , 1983, IFIP Congress.

[4] Fred Halsall,et al. Data Communications Computer Networks & OSI , 1988 .

[5] Jonathan Billington,et al. PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..