RG PS服务层元模型正确性验证

• 作者: 张莉 杨浩 杨淑贞
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 网络式软件 BPEL Promela LTL公式 正确性验证
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 8-10
• 页数: 3页
• 分类号: TP306
• 字数: 2565字
• 语种: 中文
• DOI: 10.11907/rjdk.162588

摘要

随着网络式软件复杂程度的日益增加，如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点，在 RGPS需求元建模框架的指导下，提出 RGPS服务层元模型正确性验证。首先用 BPEL 语言和 WSDL语言把 RGPS服务层元模型描述成 BPEL 模型，再用 Promela 语言实现 BPEL 模型的建模，最后输入 LTL 公式对RGPS服务层元模型进行安全性和活性验证分析。以城市交通出行系统为例，采用 RGPS需求元模型为框架，构建城市交通出行系统服务层元模型。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张莉	浙江长征职业技术学院计算机与信息技术系	8	41	3.0	6.0
2	杨浩	浙江传媒学院新媒体学院	5	6	1.0	2.0
3	杨淑贞	浙江长征职业技术学院计算机与信息技术系	4	2	1.0	1.0