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

• 作者: 刘晋 崔健
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: 嵌入式系统 UML Petri网
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 软件天地
• 页码范围: 6-9
• 页数: 4页
• 分类号: TP311
• 字数: 2438字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2009.09.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晋	辽宁师范大学计算机与信息技术学院	40	126	5.0	9.0
2	崔健	辽宁师范大学计算机与信息技术学院	8	24	2.0	4.0