论文部分内容阅读
复杂系统中多个单元之间存在着不同的通信协议，开发人员通常需要花费大量的时间编写相应的协议解析代码。文中通过对常见的通信协议进行分析，提出了采用形式化描述方法来描述这些协议，并利用编译技术开发了相应的协议自动化解析程序。文中提出的方法避免了大量重复性代码的开发，减少了协议代码的开发工作，在通信协议软件开发方面具有很强的实用性。