| UML用例图的Z形式规范 |
| |
| 引用本文： | 汤小康,王志刚,曹步文. UML用例图的Z形式规范[J]. 计算机与现代化, 2006, 0(11): 12-13,16 |
| |
| 作者姓名： | 汤小康 王志刚 曹步文 |
| |
| 作者单位： | 湖南师范大学数学与计算机学院,湖南,长沙,410081;湖南师范大学数学与计算机学院,湖南,长沙,410081;湖南师范大学数学与计算机学院,湖南,长沙,410081 |
| |
| 摘 要： | 统一建模语言UML已经成为面向对象建模语言的标准，用例图在面向对象的软件开发过程中起着重要的作用，但是它缺乏Z形式语言的精确性。为了对它的描述更加精确，本文使用Z语言给出UML中用例图的形式化描述，并将其应用在一个简单的图书馆管理系统中。
|
| 关 键 词： | 统一建模语言 用例图 形式化 Z语言 |
| 文章编号： | 1006-2475（2006）11-0012-02 |
| 收稿时间： | 2005-12-27 |
| 修稿时间： | 2005-12-27 |
Formal Specification of UML Use Case Diagram with Z Notation |
| |
| TANG Xiao-kang,WANG Zhi-gang,CAO Bu-wen. Formal Specification of UML Use Case Diagram with Z Notation[J]. Computer and Modernization, 2006, 0(11): 12-13,16 |
| |
| Authors: | TANG Xiao-kang WANG Zhi-gang CAO Bu-wen |
| |
| Affiliation: | College of Math and Computer Science, Hunan Normal University, Changsha 410081, China |
| |
| Abstract: | Unified Modeling Language has been a criterion of object-oriented modeling Language. Use case diagram is playing a more and more important role in object-oriented software development, but it lacks the precision of formal language such as Z. In order to make it more precise, this paper describes formally the use case diagram with Z Language, and uses it in a simple library management system. |
| |
| Keywords: | UML use case diagram formalization Z language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
