形式描述技术与协议工程

形式描述技术是获得完益的、准确的、一致的、简洁的和无二义性的系统描述的有力工具，对设计、分析，规范和实现信息处理系统有重大意义；协协议工程是近十年发展起来的协议开发方法，本文简要介绍形式描述技术的发展及协议工程各阶段的任务。