DEVELOPMENT AND STRUCTURE OF AN X.25 IMPLEMENTATION

被引:7
作者
BOCHMANN, GV
JOACHIM, T
机构
[1] Département de Mathématiques, Ecole Polytechnique Fédérale, Lausanne
[2] National du Traitement de l’Information, Upper Volta
关键词
Communications software Concuffent Pascal; formal specification process structuring protocol implementation stepwise refinement structured programming X.25 protocol; Index Terms;
D O I
10.1109/TSE.1979.230181
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper describes experience with an implementation of the X.25 communication protocols for accessing public data networks. The implementation effort is characterized by: 1) the development of a formalized protocol specification on which all further implementation work is based, and 2) the use of Concurrent Pascal as the implementation language. The main features of the formalized protocol specification are given, and a method for deriving a protocol implementation based on parallel processes, monitors, and classes is explained. The overall structure of the system and the step-wise refinements leading to the complete implementation are discussed. Some comments on the possible implementation on multiple microprocessors are also given. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.
引用
收藏
页码:429 / 439
页数:11
相关论文
共 13 条
[1]  
(1976)
[2]  
Joachim T., Implantation du protocole standard X.25 à partir d'un modèle de formalisation et de mécanismes abstraits de programmation, (1977)
[3]  
Brinch Hansen P., The programming language Concurrent Pascal, IEEE Trans. Software Eng., SE-1, pp. 199-207, (1975)
[4]  
Bochmann G.V., Gecsei J., A unified model for the specification and verification of protocols, Proc. IFIP Congr, pp. 229-234, (1977)
[5]  
Bochmann G.V., Chung R.J., A formalized description of HDC classes of procedures, Proc. IEEE Nat. Telecommun. Conf., pp. 03A 2-1-03A2-11, (1977)
[6]  
Schmid H.A., On the efficient implementation of conditional critical regions and the construction of monitors, Acta Inform., 6, pp. 227-249, (1976)
[7]  
Desjardins P., Un pilote pour controleur de communication dans Solo-Sigma
[8]  
Rybczynski A.M., Collection of questionsand answers on X.25, (1977)
[9]  
Bochmann G.V., Specification and verification of computer communication protocols, (1978)
[10]  
Belsnes D., X.25 DTE implement in Simula, Proc. Eurocomp