基于UML的形式化规范说明研究

The study of formal specification based on UML

软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。

The specification phase is of great importance to the whole process of the software development. This paper put forward a formal method of software specification and a set of mathematics models,which is based on UML and the program semantics of predicate transformer.With the advantage of both UML and formal specification, Application of the method in this paper can be easily expressed and understood together with the mathematic rigorism.