基于随机Petri网的SysML状态机图的验证

• 作者: 刘军霞 熊选东 王松锋
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 系统建模语言 随机Petri网 广义随机Petri网 状态机图 建模
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 202-208
• 页数: 7页
• 分类号: TP301
• 字数: 6751字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2013.06.054

摘要

针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法.主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换.最后通过数字证书系统的一个实例说明该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊选东	解放军信息工程大学电子技术学院	15	68	5.0	7.0
2	刘军霞		3	27	2.0	3.0
3	王松锋	解放军信息工程大学电子技术学院	4	24	2.0	4.0