基于UML-OCPN的嵌入式系统建模

• 作者: 张海涛 赵莉苹
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 Petri网 嵌入式系统 建模
• 年，卷（期）: 2009,（20）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 56-58
• 页数: 3页
• 分类号: TP391.9
• 字数: 3990字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.20.019

摘要

针对统一建模语言(UML)缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法--UML-OCPN方法.该方法结合UML和对象着色Petri网(OCPN)的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证.实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张海涛	河南科技大学电子信息工程学院	20	132	6.0	10.0
2	赵莉苹	河南科技大学电子信息工程学院	1	3	1.0	1.0