网格服务链模型的验证分析技术及应用 |
| |
引用本文: | 许可,王跃宣,吴澄.网格服务链模型的验证分析技术及应用[J].中国科学(E辑),2007,37(4):467-485. |
| |
作者姓名: | 许可 王跃宣 吴澄 |
| |
作者单位: | 清华大学自动化系,北京,100084 |
| |
摘 要: | 确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性.
|
关 键 词: | 网格 网格服务链 形式化方法 模型验证 状态Pi演算 |
收稿时间: | 2005-10-12 |
修稿时间: | 2005-10-122006-07-28 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|