RGPS服务层元模型活性验证

• 作者: 应婉婷 杨浩
• 来源期刊: 数字化用户
• 关键词: BPEL Promela LTL 活性
• 年，卷（期）: 2017,（36）
• 所属期刊栏目: 综合论坛
• 页码范围: 260
• 页数: 1页
• 字数: 799字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-0843.2017.36.240

摘要

基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL语言与Promela语言的转换.最后,用Spin工具验证RGPS服务层元模型的活性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨浩	浙江传媒学院新媒体学院	5	6	1.0	2.0
2	应婉婷	浙江传媒学院新媒体学院	1	0	0.0	0.0