一种结构化形式化说明的方法

形式化方法使用数学符号来描述系统的性质 ,它具有精确性、无二义性和一致性等优点 .这些优点使形式化方法在安全性要求很高的情况和大型系统中得到了广泛的应用 .但用形式化方法书写的系统规格说明往往是冗长而乏味的 ,为了帮助开发人员书写和理解形式化说明 ,需要一种结构化的方法来分解、组织形式化说明 ,使之具有灵活性和可管理性并具有良好的风格 .