基于CPi-calculus的网格服务行为研究

计算机科学 ›› 2007, Vol. 34 ›› Issue (6): 13-18.

• 计算机网络与信息安全 • 上一篇下一篇

基于CPi-calculus的网格服务行为研究

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金资助项目（60173026）、上海科委重大项目（03DZ15029）、上海高校网格技术E-研究院资助（200301-1）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,

关键词: 网格计算服务组合行为交互模型 CPi-calculus

Abstract: Current grid service choreography proposals remain at the descriptive level, without providing any kind of reasoning mechanism for checking the compatibility of grid services. The research work on how to formalize and verify the behavior of composite gr

Key words: Grid computing, Service composition, Interactive behavior model, CPi-calculus

. 基于CPi-calculus的网格服务行为研究[J]. 计算机科学, 2007, 34(6): 13-18. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于CPi-calculus的网格服务行为研究

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0