Journal of South China University of Technology (Natural Science Edition) ›› 2005, Vol. 33 ›› Issue (11): 55-60.

Previous Articles     Next Articles

Formalization of Grid Service Composition Based on I/O Automata

Lu Tun1  Zhang Wang2  Li Zhi-shu1  Yin Feng1  Jin Hu1   

  1. 1.School of Computer,Sichuan Univ ,Chengdu 610064,Sichuan,China;2.Design Technology Institute,National Univ.of Singapore,Singapore 119260
  • Received:2005-01-05 Online:2005-11-25 Published:2005-11-25
  • Contact: 卢暾(1977-)男，博士生，主要从事网格计算和分布式系统研究 E-mail:lutun@263.net
  • About author:卢暾(1977-)男，博士生，主要从事网格计算和分布式系统研究
  • Supported by:

    国家高技术研究发展计划(863计划)资助项目(2002AA144020)

PDF

474

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