基于有色Petri网的SysML序列图的分析与验证

• 作者: 付建丹 张亮忠 熊选东 王松锋
• 来源期刊: 计算机应用研究
• 关键词: 系统建模语言 有色Petri网 序列图 建模 模型转换
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3341-3347
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.09.037

摘要

针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则,重点是把序列图的常用结构如可选结构、条件结构、并行结构以及循环结构等映射为有色Petri网.这当中既包含结构元素,如库所、变迁、输入/输出弧,又包含逻辑元素,如全局声明中的颜色集和变量、颜色集与库所、弧表达式以及初始标志.应用这些规则可以将序列图转换为有色Petri网模型,进而对其进行仿真分析,并可通过有色Petri网工具验证模型的无死锁性、可达性、有界性和活性.最后通过数字证书更新的实例分析了映射前后两种模型的语义,验证了映射的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	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