【作 者】朱晓红

【摘 要】网格是一种新的为实现资源整合和共享的高性能分布式计算平台。它将各种
资源（计算资源、存储资源、设备资源、知识资源）根据需要集成到一个统一的
网格平台上，实现资源的整合和贡献。
开放网格服务体系结构 OGSA 是目前网格事实上的标准。它的基本思想是将
网格上的资源和功能都抽象成服务，并为这些服务提供统一的接口。具体的网格
应用即是根据应用目标和应用环境选择适合的网格服务组成一个执行序列进行执
行。网格通过这种方式实现了分布在异地的多种资源的整合和共享。网格服务组
合目前的发展目标是在减少或没有人参与的情况下，实现网格服务的自动发现、
选择与组合。
寻找一种适合的网格服务描述模型，对网格服务的功能、前置条件、运行结
果进行精确描述是实现网格服务自动组合的前提。本文在分析现有的几种模型的
基础上，选择并详细介绍了来源于语义 Web 技术的 OWL-S 服务描述模型。
论文将网格服务的自动组合这一问题抽象为针对具体目标的动态领域的动态
行为规划问题，基于 OWL-S 对网格服务的精确描述，采用状态演算这一动态行为
规划方法对网格服务的自动组合进行分析。并在状态演算中为处理用户偏好，增
加了意愿公理的表示和处理。从而给出了一种基于状态演算的网格服务自动组合
方法 OWL-SC。本文最后将 OWL-SC 的组合结果映射到 Petri 网模型，采用 Petri
网模型验证了网格服务自动组合结果的正确性。

【关键词】网格服务，Petri 网，状态演算，模型验证，OWL－S

【下 载】 (浏览821次)