扩展UML与Petri网应用在嵌入式系统设计中的研究

• 作者: CUI Jian LIU Jin 刘晋 崔健
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 嵌入式系统 UML Petri网 建模 设计方法
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 技术交流
• 页码范围: 46-47,50
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2009.07.016

摘要

随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML,在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.文章研究一种将时间约束Petri网和扩展UML,相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML,的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔健	辽宁师范大学计算机与信息技术学院	8	24	2.0	4.0
2	刘晋		1	3	1.0	1.0
3	LIU Jin		1	3	1.0	1.0
4	CUI Jian		1	3	1.0	1.0