基于知识和面向对象的协议自动实现方法与支持环境

协议实现是协议工程学的重要环节。目前它所面临的主要问题是如何提高协议软件开发的自动化程度和提高不能自动实现的代码的复用率。本研究采用基于知识和面向对象的方法、提出了一种新的协议软件构成方法、将协议软件划分为：协议内容类、形式描述语言类、实现类和环境类四部分。研究实现了一个原型系统；它采用Estelle描述语言、C++为目标语言、Solaris Z.X环境、多线程方案。它具有软件结构合理、自动化程度和手工代码复用率高、系统开放性好、实现者因素封装性好等特点，可方便地对实现知识进行处理，便于知识的添加和更新，从而具有较好的可移植性和通用性。已用“交替位协议”测试了该系统，达到了良好效果。研究工作跻身国际先进水平行列。