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

A Method for Structing Formal Spectification

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

Formal method describes the characters of a system with notations. This method comes with the advantages of accuracy, non ambiguity and consistency, which made the method widely used in applications that require high security and large systems. But specifications written in formal are prolixity and boring, so it needs a structured way to decompose and organize for writing and understanding more easily.