基于概率模型检测的SysML活动图验证方法

• 作者: 严亚伟 周雁舟
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 系统建模语言 活动图 模型测试 概率模型检测 概率模型检测器
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件与算法
• 页码范围: 928-932
• 页数: 5页
• 分类号: TP311
• 字数: 3134字
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2016.04.017

摘要

针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则.利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证.实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周雁舟		16	79	5.0	8.0
2	严亚伟		3	4	1.0	2.0