【摘要】 为了描述网格服务挖掘(GSM)中的网格服务组合,提出了一种基于I/O的网格服务自动机模型GSAM(Grid Service Automata Model).该模型定义了两种类型的网格服务自动机GSA(Grid Service Automata)———描述服务功能的网格服务功能自动机GSFA(Grid Service FunctionalAutomata)和描述服务间交互通道的网格服务通道自动机GSCA(Grid Service Channel Automata).同时给出网格服务兼容签名、组合签名、隐藏操作的定义,以及几个相关的定理来精确刻画网格服务的组合过程和方法.文中还举例说明了如何利用GSAM对GSM中的网格服务共享存储器系统进行建模.结果表明,所提出的模型能够精确描述网格服务的组合及其形式化的推导.更多还原

【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.更多还原