摘要
计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。
Computer Network Protocol Formal Deseription Technique (FDT) is one of Computer Net-work Protocol Engineering's basic and important project. LOTOS is one method of FDT. It is being developed by thy ad-hoc group on FDT in ISO/TC97/SC21/WG1. Upon the research on standard LOTOS, this paper has made a very important improvement on its process syntex notation, and a new concept of intuitive LOTOS has been developed.
出处
《通信学报》
EI
CSCD
北大核心
1989年第4期28-38,共11页
Journal on Communications
