协议综合系统的研究

A study on protocol synthesis system

将离散事件动态系统的监控理论用于网络协议的综合过程．由给定的全局服务规格要求出发，运用控制系统理论，能够直接得到满足要求的协议描述．指明了控制理论为协议综合和验证提供了新的途径和方法．

In this paper, We have successfully applied the supervisory control theory of DEDS. to the synthesizing process of network protocol. Given the requirements of globle service specifications (control objects), we can obtain the satisfactory protocol specifications directly from service specifications by using supervisor synthesis techniquice. This provides new methods for the protcol synthesis and verification.