| 基于I/O自动机的网格服务组合的形式化 |
| |
| 引用本文： | 卢暾,张望,李志蜀,殷锋,金虎.基于I/O自动机的网格服务组合的形式化[J].华南理工大学学报(自然科学版),2005,33(11):55-60. |
| |
| 作者姓名： | 卢暾 张望 李志蜀 殷锋 金虎 |
| |
| 作者单位： | 四川大学,计算机学院,四川,成都,610064;新加坡国立大学,设计技术研究所,新加坡,119260 |
| |
| 基金项目： | 国家高技术研究发展计划（863计划）资助项目（2002AA144020） |
| |
| 摘 要： | 为了描述网格服务挖掘（GSM）中的网格服务组合,提出了一种基于I/O的网格服务自动机模型GSAM（Grid Service Automata Model）.该模型定义了两种类型的网格服务自动机GSA（Grid Service Automata）--描述服务功能的网格服务功能自动机GSFA（Grid Service Functional Automata）和描述服务间交互通道的网格服务通道自动机GSCA（Grid Service Channel Automata）.同时给出网格服务兼容签名、组合签名、隐藏操作的定义,以及几个相关的定理来精确刻画网格服务的组合过程和方法.文中还举例说明了如何利用GSAM对GSM中的网格服务共享存储器系统进行建模.结果表明,所提出的模型能够精确描述网格服务的组合及其形式化的推导.
|
| 关 键 词： | 开放网格服务体系结构 网格服务挖掘 I/O自动机 网格服务自动机 网格服务自动机模型 网格服务组合 |
| 文章编号： | 1000-565X（2005）11-0055-06 |
| 收稿时间： | 2005-01-05 |
| 修稿时间： | 2005年1月5日 |
Formalization of Grid Service Composition Based on I/O Automata |
| |
| Lu Tun,Zhang Wang,Li Zhi-shu,Yin Feng,Jin Hu.Formalization of Grid Service Composition Based on I/O Automata[J].Journal of South China University of Technology(Natural Science Edition),2005,33(11):55-60. |
| |
| Authors: | Lu Tun Zhang Wang Li Zhi-shu Yin Feng Jin Hu |
| |
| Institution: | 1. School of Computer, Sichuan Univ., Chengdu 610064, Sichuan, China; 2. Design Technology Institute, National Univ. of Singapore, Singapore 119260 |
| |
| Abstract: | |
| |
| Keywords: | open grid service architecture grid service mining I/O automata grid service automata grid service automata model grid service composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
