网格服务链模型的验证分析技术及应用

• 作者: 吴澄 王跃宣 许可
• 来源期刊: 中国科学E辑
• 学科: 工学
• 关键词: 网格 网格服务链 形式化方法 模型验证 状态Pi演算
• 年，卷（期）: 2007,（4）
• 页码范围: 467-485
• 页数: 19页
• 分类号: TP3
• 字数: 15415字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9275.2007.04.001

摘要

确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴澄	清华大学自动化系	125	4840	34.0	67.0
2	许可	清华大学自动化系	10	23	3.0	4.0
3	王跃宣	清华大学自动化系	4	214	3.0	4.0