Formalization of Grid Service Composition Based on I/O Automata

Lu Tun,Zhang Wang,Li Zhi-shu,Yin Feng,Jin Hu
2005-01-01
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 grid service automata(GSA)—the grid 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 presented,along with the related theorems precisely depicting the process and methods of grid service composition.Besides,the shared memory system of grid service in GSM is modeled by GSAM,showing that the proposed model accurately describes the grid service composition and its formal deduction.
What problem does this paper attempt to address?