基于UML与Petri网的嵌入式系统设计与验证
被引量：2
摘要
提出了一种基于UML与Petri网的嵌入式系统设计与验证的方法,详细讨论了该方法的主要应用流程,并给出了一个应用实例。
出处
《电子技术应用》
北大核心
2006年第5期66-68,共3页
Application of Electronic Technique
参考文献4
-
1Douglass B P.RealTime UML:Developing Efficient Objects for Embedded Systems.Unitedstates Addison Wesley,2000
-
2Paltor I P,Lilius J.Digital Sound Recorder:A case study on designing embedded systems using the UML notation.Turku Centre for Computer Science TUCS Technical Report NO 234,January 1999
-
3Rational Software Corporation.Rational Rose Real-time 2002.http://www.rational.com/product/rosert,2002
-
4Gomaa H.Designing Concurrent,Distributed,and Real-Time Applications with UML.Unitedstates Addison Wesley,2000
同被引文献11
-
1柯飞帆,宁宣熙.基于Petri网和UML的工作流模型设计[J].南京航空航天大学学报,2006,38(1):121-125. 被引量：6
-
2江金龙,周献中,孙勇成,徐延勇.基于UML和Petri网的层次建模分析方法[J].系统仿真学报,2006,18(2):290-293. 被引量：15
-
3汪凯,张恒喜,王卓健.基于UML的飞机维修保障仿真研究[J].系统仿真学报,2006,18(5):1347-1349. 被引量：6
-
4崔尚森,孙琳.基于UML状态图和基本Petri网生成测试用例[J].交通与计算机,2006,24(4):116-119. 被引量：4
-
5王鹏,王树宗.基于Petri网的军队院校学籍管理流程优化[J].武汉理工大学学报（信息与管理工程版）,2006,28(12):27-30. 被引量：6
-
6HOANG J E, BAE D H. Software modeling and analysis using a hierarchical object-oriented petri net[J]. Information Sciences(S0020 - 0255 ), 2000,130 ( 1 - 4) : 133 - 64.
-
7MuDer Jeng, WeiZhao Lu. Extension of UML and its conversion to petri nets for semiconductor manufacturing modeling[C]//Proceedings of the 2002 IEEE International Conference on Robotics& Automation, Washington. DC,2002:3175 - 3180.
-
8张彦歆.结合UML和Petri Net技术的工作流建模的研究[J].微型电脑应用,2008,24(2):47-49. 被引量：5
-
9程建军.基于Petri网的研究生培养工作流模型[J].合肥工业大学学报（自然科学版）,2009,32(1):78-81. 被引量：10
-
10付意成,魏传江,王瑞年,朱启林.水量水质联合调控模型及其应用[J].水电能源科学,2009,27(2):31-35. 被引量：16
引证文献2
-
1秦怀斌,梁斌,邵明文,郭理,戴建国.基于UML和Petri网的系统服务获取流程建模[J].水电能源科学,2010,28(8):146-147. 被引量：1
-
2秦怀斌,梁斌,邵明文,郭理,戴建国.基于UML和Petri网的系统服务获取流程建模[J].安徽师范大学学报（自然科学版）,2011,34(1):38-41. 被引量：1
二级引证文献2
-
1秦怀斌,梁斌,张雨,郭理,邵明文,戴建国.基于UML的软件可靠性测试[J].水电能源科学,2010,28(12):119-120.
-
2张筠,崔哲,张宇渊.UML和Petri网的建模验证方法[J].火力与指挥控制,2013,38(10):154-156. 被引量：5
-
1蒋昌俊,闫春钢.并行程序的设计与验证[J].自动化博览,1997(1):16-16.
-
2张哲.图形处理中投影变换的硬件设计与验证[J].数字技术与应用,2014,32(6):179-179.
-
3简玲,吴悦,杨洪斌,聂新义.基于VHDL的8051中断系统的设计与验证[J].计算机工程与应用,2004,40(12):122-124.
-
4谭兰兰,曾莹.数据挖掘技术及其在电子商务中的应用[J].科技创新与应用,2016,6(9):97-97. 被引量：2
-
5过敏意.程序设计与验证的时态逻辑方法[J].计算机技术,1991(2):1-5.
-
6胡国友.数据库应用程序执行过程抽象[J].计算机与数字工程,2001,29(6):31-33.
-
7李博文,李孝忠.基于Petri网的审计工作流模型设计与验证[J].计算机应用,2006,26(S2):242-243. 被引量：2
-
8郑伟,徐静平,钟德刚,肖哲靖.基于Verilog的8051微控制器中断系统的设计与验证[J].计算机与数字工程,2012,40(1):59-62.
-
9甄卓,刘朝英,宋哲英,宋雪玲.三自由度并联机械手的目标定位和轨迹规划的设计与验证[J].电光与控制,2016,23(1):93-96. 被引量：11
-
10荣艳冬.关于Mybatis持久层框架的应用研究[J].信息安全与技术,2015,6(12):86-88. 被引量：53
