基于颜色Petri网的网格服务组合

摘要：

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例.对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现.网格服务的组合已经成为网格研究领域中的一个重要课题.由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用.讨论了以下几个问题:(1)如何精确描述网格服务的会话协议；(2)如何建立组合规则来对选定的组件服务进行合成；(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议.Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力.为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质.

关键词：网格服务组合、组件服务、会话协议、过程组合、颜色Petri网

所属期刊栏目：41

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2010CB328101;国家自然科学基金61173181;上海市自然科学基金13ZR1443100;山东省优秀中青年科学家科研奖励基金BS2010DX009;青岛市科技计划项目12-1-4-4-7-JCH

在线出版日期：2014-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：152-155,177