- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
UML类图的形式化及分析
!# 类图的形式化及分析
韦银星 张申生 曹 健
(上海交通大学计算机系计算机集成技术研究室,上海 !; )
:
CD0’- E)’DFGH59#9461#)*1#5
摘 要 统一建模语言 ( )是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业
%+/
标准。但是 不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。 是一种广泛使用的形式化规约
%+/
语言,适合用来精确地表示模型的语法和语义。文章采用 符号来表示 类图的组成元素的语法和语义及其映射
%+/
关系,最后对%+/ 类图的一些性质进行分析和验证。
关键词 统一建模语言 对象约束语言 形式化方法
文章编号 ( ) 文献标识码 中图分类号
$!DI;;$D !! $DJD; ? KL;$!
$ %’()*+,)-+. )./ $.)*01+1 2 !# 3*)11 4+)5’)(
67+ 8+.9+.5 :;).5 ;7.1;7.5 3) =+).
( , , , )
7MK /03 7,@16): N5’)5) =)@0:6)6 NO0.O0’ P’0,6,. %’Q):9’6F NO0.O0’ !;
: ( )
$1-’)?- KO) %’(’)* +,*)-’. /0.10.) %+/ ’9 0 5,, .:0@O’50- ,*)-’. -0.10.)#M6 O09 3)5,) 0 *) (056,
, ,
960*0:* ’ 6O) 00-FB’. 0* *)9’.’. 6O) ,34)56 ,:’)6)* 9F96)#R,E)Q): 6O) %+/ ’9 ,6 0 (,:0- -0.10.) ’6 -05S9
,( @:)5’9) 9)06’59#N,) @:,3-)9 0:) :)91-6)* ’ 3)5019) ,( 6O’9# ’9 0 E’*)-F 19)* (,:0- 9@)5’(’506’, -0.10.)#M6
,
91’69 (,: @:)5’9)-F :)@:)9)6’. 6O) 9F60G 0* 9)06’59 ,( 0 ,*)-#M 6O’9 @0@): ,606’, ’9 19)* 6, :)@:)9)6 6O)
,
)-))69 ,( 5-099 *’0.:0 ,( 6O) %+/ ’ 6O) 9F60G 9)06’59 0* 0@@’. 3)6E)) 6O)#T’0--F 9,) @:,@):6’)9 ,(
6O) %+/ 5-099 *’0.:0 ’9 00-FB)* 0* Q):’(’)*#
:
您可能关注的文档
最近下载
- QB_T 4563-2013金砂糖.pdf
- 大坝安全监测系统运检导则(试行) QGDW 46 10022.24-2020.docx VIP
- 第五单元 一方水土养一方人 达标训练(含答案) 浙江省人教版七年级人文地理下册.docx
- 奋进新征程建功新时代PPT模板.ppt VIP
- 规范《GB712-88-船体用结构钢》.pdf
- 二年级上册语文教学设计21《狐假虎威》一等奖 刘芳 部编版.docx VIP
- Q_GDW 46 10022.25-2020 通风空调系统运检导则.docx
- 12如何帮助学生学会正确地与异性同学交往?.docx VIP
- 专题1.2 数轴与动点经典题型(四大题型)(原卷版).docx VIP
- 拉森钢板桩专项施工方案.doc
文档评论(0)