UML用例图的Z形式规范  

Formal Specification of UML Use Case Diagram with Z Notation

作　　者：汤小康[1] 王志刚[1] 曹步文[1] 

机构地区：[1]湖南师范大学数学与计算机学院,湖南长沙410081

出　　处：《计算机与现代化》2006年第11期12-13,16,共3页Computer and Modernization

摘　　要：统一建模语言UML已经成为面向对象建模语言的标准,用例图在面向对象的软件开发过程中起着重要的作用,但是它缺乏Z形式语言的精确性。为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中。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.

关 键 词：统一建模语言 用例图 形式化 Z语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]