几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容.然后再对其主要优缺点进行分析,最后对这三种语言和方法从七个方面加以分析比较,并列表总结。