【作者】 朱晓红；

【导师】 孙跃；

【作者基本信息】 重庆大学 ， 控制理论与控制工程， 2006， 硕士

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

【Abstract】 Grid is a new integration and sharing of resources to achieve the high-performance distributed computing platform. It integrate resources (computing resources, storage resources, equipment resources, knowledge resources) into a unified grid platform,achieve integration of resources and contributions.Grid computing is a new high-performance distributed computing method .While the development of Web technologies ,the Open Grid Service Architecture(OGSA) was proposed .Thus ,Grid computing aggretated geographily distributed resources and services by the standardized Grid Services .One of the key challenges to enable the broader use of Grid services beyond the domain of scientific computing is the ability to perform complex tasks that require the modeling and coordination of the enactment of a number of distributed Grid .Based on OWL-S Grid service composition is a good candidate for supporting Grid service flow So ,it is highly attended that how are applied in the composition of Grid Services.Find a suitable grid services described models for grid services functions, per- conditions, operating results accurate description is the realization of grid services for automatic composition. The few existing models in the analysis of the basis of selection and detailed from semantic Web technology OWL-S services described models.We will automatically grid services composition for the specific objectives of the abstract field of dynamic behaviour dynamic planning, based on OWL-S accurate description of grid services, and using situation calculus, the dynamic behaviour of grid services planning methods automatic compositon analysis. Thereby providing a service based on a grid automatically calculate the composition method OWL-SC. The final results will map to the Petri net OWL-SC compositon models used Petri net model validation of the results of the combination of grid services automatically correctness.更多还原