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