论文部分内容阅读
协议工程是计算机通信及网络研究中正在发展着的一个重要领域，其主要目的在于提供开发协议软件的一种自动的系统的方法，而协议综合是协议自动生成过程的一个重要环节。所谓面向服务的协议综合是指协议自动生成是从（Ｎ）层服务的形式描述出发，利用（Ｎ－１）层提供的服务，自动生成提供（Ｎ）层服务的（Ｎ）层协议的一种方法。面向服务的协议综合可确保所生成的协议不仅在语法上正确，而且还可保证语议上的正确，从而消除（减少）