协议实现技术研究

论述了有限状态机、ＳＤＬ形式描述语言以及协议的一些具体实现技术，列举了一个协议实现的实例，并对协议的半自动实现技术做了较详细的描述．它们都是协议工程的一部分，可与协议设计技术、协议验证分析技术。