Research On Satuation Calculus-Based Grid Services Composition

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.