SPARDL模型的Event-B解释

• 作者: 沈慧丽 綦艳霞 陈朝晖 顾斌
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 需求建模语言 周期性控制系统 Event-B 需求分析 精化 验证
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 3525-3528,3539
• 页数: 5页
• 分类号: TP311.521
• 字数: 3838字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.03525

摘要

针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释.通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发.最后,通过案例研究的分析展示用Event-B对SPARDL模型建模和验证的方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈朝晖		20	32	3.0	5.0
2	顾斌		19	85	6.0	8.0
3	綦艳霞		5	26	2.0	5.0
4	沈慧丽	华东师范大学软件学院	1	2	1.0	1.0