服务网格的用户3A使用模式  

3A Utilization Mode of Service Grid

作　　者：吕毅[1] 王源[2] 李晓林[2] 

机构地区：[1]中科院软件研究所计算机科学重点实验室,北京100080 [2]中科院计算技术研究所,北京100080

出　　处：《电子学报》2007年第2期292-298,共7页Acta Electronica Sinica

基　　金：国家863高技术研究发展计划(No.2002AA104310);中国科学院知识创新工程(No.20014010)

摘　　要：用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine)对用户和服务网格(USG)进行了形式化建模,最后证明了用户和服务网格系统在满足用户合法性s、ession连通性和服务连续性的情况下,用户可以3A使用服务网格.How users can use Grid effectively is a key issue in the research on interface and utilization mode of Grid. In this paper,the definitions of 3A（Any time,Any place and Any device） utilization mode was presented,and a formal model of user and service grid system （USG） was built using ASM.And based on USG model and these formal definitions, a theorem on 3A utilization mode was also be proposed, and the theorem was proved that if USG can satisfy the user validity, session connectivity and service continuity, then users can use service grid at any time. any olace, and on any device.

关 键 词：服务网格 3A使用模式 抽象状态机 网格模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]