协议工程协议的半自动实现协议实现的目的是要产生与机器无关的可执行的协议目标代码
而所谓的半自动实现，是指通过编译器，将Estell, Lotos等形式描述语言描述的协议规范文本直接转换成协议代码(C , Pascal等程序设计语言)
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
