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