The High Formal Description Based On The Application Of Grid

The Open Grid Service Architecture presents a concept of Grid Service combining the idea between Globus and Web Service, which displays the computer resource, storing resource, network, database as the style of service, by defining the standard service interface to hide the implement of service, the location of resource and the physical resource, so it enables every application which can share and interactive operate. But there exist a great number of grid services which are distributed and dynamic, the service information distributes different location and among the grid service there are certain correlation and dependent on.Once a kind of service becomes invalid, it affects the applicability serving with those associative possessions. So how to manage and maintain the dynamic grid service information in order to ensure that these cover applicability and compatibility, and supports the high efficiency information based service retrieval at the same time, it is said that the research of the grid service is an important issue. At present, many of the grid service information descripe by the XML, which has a semantic supporting, but the lack of strict formal description, how to choose the right formalized method to describe and formal the grid system is a key problem.At the point, computer academy presents a grid automaton theory model, and has begun to use the ASM(Abstract State Machine)to define a high level semantic model for grids written in ASM.After abstract ASM model from the real world sensor grid, based on ASM sensor grid of find target, connect the service, mapped resource and message's sending and receiving are presented; and precise definition of the functions of various levels and the state of evolution; in addition, Formal description of the model to provide a precise semantics, the mathematical foundation of this paradigm is that abstract state machine and its testing tools are AsmL .Net, using AsmL to produce finite state machines (FSM) and test cases for verification to the semantic model.