对uml模型与petri网模型的转换方法整合研究.pdf

导师签名中:钷上学位论文作者签名中:枥鲤气学位论文作者签名中:摘畸学位论文独创性声明学位论文版权使用授权书本学位论文作者完全了解直昌太堂有关保留、使用学位论文盘,允许论文被查阅和借阅。本人授权直昌大学可以将学位论文的全作及取得的研究成果。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得南昌大学或其他教育机构的学位或证二而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。签字日期:加年的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编本学位论文。同时授权中国科学技术信息研究所和中国学术期刊馀贪电子杂志社将本学位论文收录到《中国学位论文全文数据库》和《中国优秀博硕士学位论文全文数据库》中全文发表,并通过网络向社会公众提供信息服务。C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ年本人声明所呈交的学位论文是本人在导师指导下进行的研究工月日签字日期:学位论文独刨性声明/
摘要在本论文中,我们探讨了一个整合统一建模语言隤网的方法,此方法主要目的是用于系统的建模与分析阶段。在系统建模方面,我们首先利去建模系统需求,然后从用例图依次推导出序列图、类图、活动图和状态图,接着我们再将序列图、类图、活动图以及状态图分别转换为时序⒆派玴网、经典筒愦位痯网。在系统分析方面,我们利用这多种捶治鱿低承灾例如,可达性、守恒性、活性等约笆毙蛐灾纾厝恍⒕P⒅钡叫等R坏发现某些性质薹闶保颐侵苯诱攵哉庑┪侍舛訳模型进行修改,再转换到对应的蟹治觯馗凑庵值叫薷闹钡铰阄颐切枰的性质为止。关键词:煌骋唤S镅裕徽希用用例图
.篜,琣,,.—,琹瑄甇,;;,瑆
录目摘第乱浴目的及重要性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.系统建模及分析步骤⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。论文结构安排⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第耈建模⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·序列图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.类图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..活动图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。状态图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。第翽网与时序逻辑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯时序酝第峦骋唤S镅院蚉网之间的转换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯”将男蛄型甲;晃J毙騊网⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.;恍蛄型嫉亩韵笊摺.;恍蛄型贾卸韵蠹涞幕ザ叵怠.;皇奔湎拗啤将睦嗤甲;晃W派玃网⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯目录要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯用例图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯”
化着色目录⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:;:;⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:;⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:;⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯..:·⋯⋯⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯·⋯·⋯⋯
第乱目的及重要性系统建模及分析步骤在面向对象开发系统领域中,统一建模语言已经成为事实上的一个标准。不过,尽管统一建模语言本身不是专门设计用来作分析的,但它同样也遭遇到了缺乏分析能力的弱点【俊R虼耍颐俏A思忧客骋唤S镅缘墓δ埽提出一个互补方法是相当重要的。在论文中,我们提出了一个整合统一建模语言子图和;环椒ǖ哪J健N颐堑姆椒ㄊ墙玌的模型数据转换为僭擞肞网的可分析能力去加强镅匀狈Ψ治龅哪芰Α网是一种非常通用的建模与分析工具,我们根据最终的分析结果直接在上作修改,直到修改后的P吐阆胍5男灾剩幼沤玃网转换回P屯迹缓蠼幼沤邢乱唤锥蔚墓ぷ鳌本课题的目的主要是整合隤网来完成系统建模及分析工作。我们首先利用挠美ソO低承枨螅缓蟠佑美图依次推导出序列图、类图、活动图和状态图,接着我们再将序列图、类图、活动图以及状态图分别转换为时序⒆派玴网、经典筒愦化远韵低辰蟹治觥在课题中所探讨的方法主要是为了利用治龅哪芰床棺鉛语言缺乏分析能力的缺陷,而根据那些转化后的捶治鱿低承灾如公平性,局限性等约笆毙蛐灾如必然性、经常性等4送猓颐谴铀母霾煌的角度,即时间、静态行为、动态行为以及层