| 基于颜色Petri网的网格服务组合 |
| |
| 引用本文： | 翟正利. 基于颜色Petri网的网格服务组合[J]. 计算机科学, 2014, 41(1): 152-155,177 |
| |
| 作者姓名： | 翟正利 |
| |
| 作者单位： | 同济大学电子与信息工程学院 上海201804 ;青岛理工大学计算机工程学院 青岛266520 |
| |
| 基金项目： | 本文受国家重点基础研究发展计划(973计划)(2010CB328101), 国家自然科学基金(61173181), 上海市自然科学基金(13ZR1443100), 山东省优秀中青年科学家科研奖励基金(BS2010DX009),青岛市科技计划项目(12-1-4-4-(7)-JCH)资助 |
| |
| 摘 要： | 在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。
|
| 关 键 词： | 网格服务组合 组件服务 会话协议 过程组合 颜色Petri网 |
| 收稿时间： | 2013-09-25 |
| 修稿时间： | 2013-11-18 |
Grid Services Composition Based on Colored Petri Nets |
| |
| ZHAI Zheng-li. Grid Services Composition Based on Colored Petri Nets[J]. Computer Science, 2014, 41(1): 152-155,177 |
| |
| Authors: | ZHAI Zheng-li |
| |
| Affiliation: | College of Electronics and Information Engineering,Tongji University,Shanghai 201804,China; College of Information Engineering,Qingdao Technological University,Qingdao 266520,China |
| |
| Abstract: | |
| |
| Keywords: | Grid service composition Component service Session protocol Process combination Colored Petri nets |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
