有哪些信誉好的足球投注网站- 1、本文档共3页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
UML用例图的Z形式规范.PDF
计 算 机 与 现 代 化
年第 期 总第 期
2006 11 JISUANJI YU XIANDAIHUA 135
文章编号： （ ）
1006-2475 2006 11-0012-02
用例图的 形式规范
UML Z
汤小康，王志刚，曹步文
（湖南师范大学数学与计算机学院，湖南 长沙 4 10081）
摘要：统一建模语言UML 已经成为面向对象建模语言的标准，用例图在面向对象的软件开发过程中起着重要的作用，但
是它缺乏 形式语言的精确性。为了对它的描述更加精确，本文使用 语言给出 中用例图的形式化描述，并将其应
Z Z UML
用在一个简单的图书馆管理系统中。
关键词：统一建模语言；用例图；形式化；语言
Z
中图分类号： 文献标识码：
TP311 A
Formal Specification of UML Use Case Diagram with Z Notation
， ，
TANG Xiao-kang WANG Zhi-gang CAO Bu-wen
（ ， ， ， ）
CoIIege of Math and Computer Science Hunan NormaI University Changsha 4 10081 China
：
Abstract Unified ModeIing Language has been a criterion of object-oriented modeIing Ianguage . Use case diagram is pIaying a more and
，
more important roIe in object-oriented software deveIopment but it Iacks the precision of formaI Ianguage such as Z . In order to make it
more precise ， ，
this paper describes formaIIy the use case diagram with Z Ianguage and uses it in a simpIe Iibrary management system .
： ； ； ；
Key words UML use case diagram formaIization Z Ianguage
语义的问题，本文将用形式化语言 给出 用例
文档评论（0）