收藏本站
《吉林大学学报(信息科学版)》 2011年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

UML图转有色Petri网图文法

吴海  孙永雄  付庆兴  徐佳琪  
【摘要】:为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。

【参考文献】
中国硕士学位论文全文数据库 前1条
1 周长红;UML图的Petri网建模[D];山东科技大学;2004年
【共引文献】
中国硕士学位论文全文数据库 前2条
1 彭妮;阶段化异步事件驱动高性能Web服务器[D];长沙理工大学;2006年
2 孙莹;Petri网和UML在建模过程中的转换机制研究[D];大连海事大学;2008年
【二级参考文献】
中国期刊全文数据库 前10条
1 孙吉贵,曹晓威;大规模线性优化求解系统的设计与实现[J];吉林大学学报(信息科学版);2004年03期
2 李桂,苏一丹;UML状态图的形式化[J];广西大学学报(自然科学版);2003年04期
3 刘钧,唐承统;基于产品族的PDM产品配置管理[J];机电产品开发与创新;2003年02期
4 梁义芝,王延章,缪旭东,刘云飞;UML活动图的形式语义及分析[J];计算机工程与应用;2003年18期
5 江曼;王天青;潘金贵;;基于UML状态图的面向对象软件测试用例生成[J];计算机科学;2006年06期
6 孙国梓,郁鼎文,吴志军;基于产品结构与配置管理为核心的PDM体系结构[J];计算机工程;2004年16期
7 陈刚,尹建伟,董金祥;大规模定制环境下产品版本管理的设计与实现[J];计算机辅助设计与图形学学报;2003年09期
8 汤文成,易红,幸研,肖金平;面向敏捷制造的产品配置管理[J];计算机集成制造系统-CIMS;2002年02期
9 孙国梓,郁鼎文,吴志军;个性化配置器的粗糙集方法研究[J];计算机集成制造系统-CIMS;2005年02期
10 柯飞帆;宁宣熙;;基于Petri网和UML的工作流模型设计[J];南京航空航天大学学报;2006年01期
中国硕士学位论文全文数据库 前2条
1 余雪雷;线性规划问题的一种改进算法[D];吉林大学;2006年
2 陆国浩;网络流量预测系统的研究与实现[D];苏州大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 谢彦辉;姚淑珍;郭峰;;顺序图至Petri网转化方法的研究与实现[J];计算机工程;2006年06期
2 应一舟;叶丽君;郭义喜;;基于XML的UML时序图向Petri网的转换[J];计算机工程;2009年22期
3 吴海;孙永雄;付庆兴;徐佳琪;;UML图转有色Petri网图文法[J];吉林大学学报(信息科学版);2011年04期
4 郭峰;张萌;;UML2.0顺序图的形式化研究[J];计算机工程与设计;2009年24期
5 赵莉苹;张海涛;;基于UML-OCPN的嵌入式系统建模[J];计算机工程;2009年20期
6 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
7 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
8 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
9 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
10 曾庆田,吴哲辉;Petri网分解的保性条件分析[J];小型微型计算机系统;2004年09期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
6 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
7 胡少媚;贺晓波;;支持快速反应的过程管理模型和仿真[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
8 胡红革;赵强;黄大贵;;分布式控制系统的混合Petri网建模和分析[A];第二届全国信息获取与处理学术会议论文集[C];2004年
9 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
10 乔非;吴启迪;严隽薇;;基于扩展Petri网的FMS调度结构[A];1998中国控制与决策学术年会论文集[C];1998年
中国重要报纸全文数据库 前1条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
3 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
4 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
5 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
6 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
7 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
8 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
9 路世忠;流程企业动力设备的集成维护管理系统研究[D];天津大学;2005年
10 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
中国硕士学位论文全文数据库 前10条
1 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
2 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
3 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
4 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
5 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
6 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
7 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
8 沈剑沧;XML查询方法研究[D];华东师范大学;2006年
9 彭钰;基于工作流的公文流转系统的研究与实现[D];武汉理工大学;2006年
10 张建东;基于J2EE的工作流系统的研究与实现[D];华北电力大学(河北);2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026