基于知识面向对象方法的协议半自动实现研究

基于知识和面向对象的方法被认为是协议软件开发中协方实现环节最有前途的方法之一。本文提出了一种面向对象的协议半自动实现技术。本文还介绍了一个基于Ｅｓｔｅｌｌｅ的协议半自动实现系统。