| 基于CPi-calculus的网格服务行为研究 |
| |
| 引用本文： | 周静,曾国荪.基于CPi-calculus的网格服务行为研究[J].计算机科学,2007,34(6):13-18. |
| |
| 作者姓名： | 周静 曾国荪 |
| |
| 作者单位： | 同济大学计算机科学与技术系,上海,201804;国家高性能计算机工程技术中心同济分中心,上海,201804;同济大学计算机科学与技术系,上海,201804;国家高性能计算机工程技术中心同济分中心,上海,201804 |
| |
| 基金项目： | 国家自然科学基金
,
上海市科委资助项目
,
上海市高等学校网格技术E-研究院项目 |
| |
| 摘 要： | 当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。
|
| 关 键 词： | 网格计算 服务组合 行为交互模型 CPi-calculus |
A Study of Grid Service Behavior Using CPi-calculus |
| |
| ZHOU Jing,ZENG Guo-Sun.A Study of Grid Service Behavior Using CPi-calculus[J].Computer Science,2007,34(6):13-18. |
| |
| Authors: | ZHOU Jing ZENG Guo-Sun |
| |
| Abstract: | |
| |
| Keywords: | Grid computing Service composition Interactive behavior model CPi-calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
