收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的UML模型映射与验证方法的研究

张昭理  
【摘要】: 统一建模语言(UML)是对象管理集团(OMG)的标准,是一种用于对软件密集型系统以及商业建模和非软件系统进行可视化、详述、构造和文档化的建模语言,主要适用于分析与设计阶段的系统建模。UML最主要的优点是表达软件系统的能力强、效率高。但UML的缺点是难以直接用数学工具对UML模型进行检验,另外UML在语义方面也存在一些不足。 作为软件系统建模的工具,Petri网的优点是:可以对一个系统的并发、同步行为以及资源共享建摸,而且有许多与Petri网相关联的对Petri网模型进行检测和行为分析的理论结果。Petri网的缺点是:开发者不容易绘制(特别是对于复杂系统的)Petri网图,并在对对象及对象间的关系建模时存在困难。 对复杂的并发系统进行有效建模要求有一套形式化体系,由它能获取系统的本质特性,如不确定性、同步性和并发性。Petri网提供一套清楚的具有并发性的形式化体系,但是缺乏彻底模块化的技术。而面向对象方法对高度可重用的和模块化的系统提供形式化体系,但是缺乏整体并发特性。于是许多人努力将Petri网和面向对象概念结合起来,以扬长避短,发挥各自的优势,形成一种更有效的软件建模技术。进一步深入的研究提出将UML与Petri网结合建模的解决方法是:用户先使用UML建模,然后将其转换为Petri网来验证。 在本文中,我们设计并讨论一个从UML动念模型到Petri网映射的实例,以获得一种灵活的、可定制的PBMUM方法(即基于Petri网的UML模型映射与验证方法),去推断面向对象模型的动态方面的一些特性,并分析该模型的特定部分。本文提出的PBMUM方法的基本思想是采用与UML具有同等功能的Petri网的形式化语义规则去描述UML的主要元素。


知网文化
【相似文献】
中国期刊全文数据库 前19条
1 赵俊峰;周建涛;邢冠男;;UML活动图到Petri网的转换方法及实现研究[J];计算机科学;2014年07期
2 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期
3 胡建军;;基于Petri网的UML顺序图分析[J];计算机工程与科学;2009年03期
4 马超;林红昌;丁佐华;;基于UML和Petri网的建模及其验证[J];浙江理工大学学报;2010年06期
5 陈志进;简炜;邵平凡;;UML状态图映射为Petri网模型的方法研究[J];湖北汽车工业学院学报;2008年02期
6 杨喜刚;张广泉;;基于UML状态图和Petri网的冷却水实时控制系统建模与分析[J];苏州大学学报(工科版);2009年06期
7 张炜钟;王智学;陈剑;;一种UML活动图到模糊Petri网的转换算法[J];系统仿真学报;2008年S2期
8 黄仁全;李为民;王春阳;贺筱军;;防空体系反制网电攻击的UML与Petri网模型[J];现代防御技术;2012年02期
9 陈志德;曾凡平;;UML状态图和Petri网络在类测试用例生成的应用[J];小型微型计算机系统;2010年03期
10 徐燕娟;李众;张日勋;;一维多规则正态云模型映射器的算法研究[J];科学技术与工程;2010年01期
11 杨真荣;李众;杨金牛;文海霞;;一种新的基于云模型映射关系的威胁评估方法[J];江苏科技大学学报(自然科学版);2007年S1期
12 荣震华;由五层模型映射构成的面向对象分析模型[J];上海交通大学学报;1997年08期
13 高键;李众;;一维云模型映射器设计及其应用研究[J];系统仿真学报;2006年07期
14 廖晓文;刘美;;基于UML与Petri网的嵌入式系统设计与验证[J];电子技术应用;2006年05期
15 崔尚森;孙琳;;基于UML状态图和基本Petri网生成测试用例[J];交通与计算机;2006年04期
16 张筠;崔哲;张宇渊;;UML和Petri网的建模验证方法[J];火力与指挥控制;2013年10期
17 刘涛;对象模型向数据模型映射的研究[J];佳木斯大学学报(自然科学版);2005年03期
18 于帆;王振辉;王振铎;;UML模型向ER模型映射方法研究[J];计算机系统应用;2006年12期
19 叶丽君;桑海;张明清;唐俊;;基于UML的概念模型的Petri网映射算法研究[J];计算机仿真;2009年03期
中国重要会议论文全文数据库 前10条
1 黄豫清;徐洁磐;张福炎;;多数据库中模型映射技术[A];第十五届全国数据库学术会议论文集[C];1998年
2 刘雨婷;王晓东;吴建德;范玉刚;邵宗凯;;基于改进Petri网的自动化立体仓库出库系统建模[A];2013年中国智能自动化学术会议论文集(第四分册)[C];2013年
3 赵不贿;王霄;赵德安;蔡兰;;人工智能中的Petri网方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
4 吴兆春;柏立军;徐心和;王梅生;;一类混杂系统的混杂Petri网建模[A];1997中国控制与决策学术年会论文集[C];1997年
5 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
6 孙萍;;基于Petri网的工作流层次化建模与分析[A];第二十三届中国控制会议论文集(上册)[C];2004年
7 张旭;魏建;熊静;;基于Petri网的民航旅行代理服务工作流建模研究[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 刘智勇;籍文雪;姚强;徐玲;王珺;杨颖;冯俊剑;;基于UML的国家卫生信息系统评估框架体系构建研究[A];中华医学会第二十一次全国医学信息学术会议论文汇编[C];2015年
9 寇海莲;宋波;韩瑛;;基于UML的网上选课系统的分析与设计[A];计算机与教育——全国计算机辅助教育学会第十二届学术年会论文集[C];2005年
10 邱文;崔蓓;赵伟;;使用UML构建ArcGIS空间数据库模式[A];江苏省测绘学会2008年度学术年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
2 陈晓亮;基于Petri网的离散事件系统混或诊断和监督控制研究[D];西安电子科技大学;2014年
3 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
4 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
5 熊伟;基于Petri网的远程智能故障诊断方法研究[D];华北电力大学;2014年
6 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
7 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
8 王军;基于复杂自适应Petri网的棉纺生产预报模型及其优化[D];东华大学;2016年
9 阳罚军;基于Petri网的多组合设备最优调度与控制[D];广东工业大学;2016年
10 窦亮;UML动态行为图的机械语义形式验证与精化研究[D];华东师范大学;2015年
中国硕士学位论文全文数据库 前10条
1 张昭理;基于Petri网的UML模型映射与验证方法的研究[D];华中师范大学;2004年
2 王冕;基于Petri网的UML状态图的形式化验证[D];山东大学;2013年
3 赵晋强;基于UML与Petri网的软件需求建模与验证[D];西安电子科技大学;2009年
4 周长红;UML图的Petri网建模[D];山东科技大学;2004年
5 孙和忠;基于UML和Petri网的电子政务需求建模与验证方法研究[D];哈尔滨工程大学;2015年
6 张晨光;基于UML和工作流Petri网的LDP协议一致性测试[D];内蒙古大学;2012年
7 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年
8 徐敏;基于UML和Petri网技术的负荷管理系统[D];河海大学;2006年
9 胡正梁;基于Petri网的UML形式化研究[D];安徽大学;2010年
10 杨柳倩;基于UML和有色Petri网的RBC切换建模与分析[D];兰州交通大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978