网格应用模型及方法研究

针对实现资源共享和协同工作的网格技术应用研究与发展现状，文章给出网格应用总体结构；根据Petri网系统特点，提出基于Petri网的服务流网SF—net模型，设计了基于UML的网格工作流程序的一般性开发方法。并在此基础上定义了基于Petri网的网格作业描述语言；讨论了当前工业界Web服务业务过程执行语言BPEL4WS及进程代数CSP与文中所提服务流网的结合，引入服务代数概念，表明了服务流网SF-net的灵活性。

Modes and Methods of Grid Applications

Grid is an innovative information services infrastructure to implement dynamic, distributed resources sharing and collaboration. In accordance with current state of grid application's research and development, an architecture with five levels from abstract to concrete is proposed; because of distributed and concurrent characters in grid applications, service flow net model SF-net based on Petri net is presented; then a general and integrated method to develop grid workflow applications based on UML is introduced, utilizing it a grid job describe language based on Petri net is defined; Moreover SF-net's link with industry solutions in Web service composition(BPEL4WS) and process algebra(CSP) is discussed, so service algebra is introduced, it shows good flexibility of SF-net.