关键词: 开放网格服务体系结构, 网格服务挖掘, I/O自动机, 网格服务自动机, 网格服务自动机模型, 网格服务组合

Abstract:

In order to describe the grid service composition during grid service mining(GSM),a formulized mo-del,namely,the GSAM(Grid Service Automata Model)based on I/O automata,is presented.In this model,two types of d service automata(GSA)-the d service functional automata(GSFA)and the grid service channel automata(GSCA)-are defined to respectively describe the service functions and the channels between services.Moreover,the definitions of grid service compatible signature,composite signature and hiding operation are presen. ted,along with the related theorems precisely depicting the process and methods of grid service composition. Be-sides,the shared memory system of grid service in GSM is modeled by GSAM ,showing that the proposed model ac-curately describes the d service composition and its formal deduction.

Key words: open grid service architecture, grid service mining, I/O automata, grid service automata, grid service automata model, d service composition