| 基于UML的形式化规范说明研究 |
| |
| 引用本文： | 王帆,梁洪峻. 基于UML的形式化规范说明研究[J]. 微处理机, 2004, 25(1): 44-46 |
| |
| 作者姓名： | 王帆 梁洪峻 |
| |
| 作者单位： | 天津大学计算机系,天津,300020 |
| |
| 摘 要： | 软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。
|
| 关 键 词： | 规范说明 UML 谓词转移 |
| 文章编号： | 1002-2279(2004)01-0044-03 |
| 修稿时间： | 2003-07-10 |
The study of formal specification based on UML |
| |
| WANG Fan,LIANG Hong-jun. The study of formal specification based on UML[J]. Microprocessors, 2004, 25(1): 44-46 |
| |
| Authors: | WANG Fan LIANG Hong-jun |
| |
| Abstract: | 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. |
| |
| Keywords: | Specification UML Predicate transformor |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
