基于Petri网的SysML活动图的分析与验证

• 作者: 付建丹 张亮忠 熊选东 王松锋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 系统建模语言 Petri网 活动图 建模
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 138-142
• 分类号: TP301
• 字数: 5659字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.09.031

摘要

系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段.为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则.应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等.采用列举法和模拟法验证了所建模型的一致性.证书申请活动图的实例表明,该方法是可行的.

作者信息

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