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

摘要：

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

关键词：规范说明、UML、谓词转移

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

在线出版日期：2004-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：44-46