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

作者：吕毅; 王源; 李晓林

来源：电子学报, 2007, (02): 292-298.

• 服务网格
• 3A使用模式
• 抽象状态机
• 网格模型 service grid
• 3A utilization mode
• abstract state machine
• grid model

用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine)对用户和服务网格(USG)进行了形式化建模,最后证明了用户和服务网格系统在满足用户合法性s、ession连通性和服务连续性的情况下,用户可以3A使用服务网格.

• 单位
  计算机科学国家重点实验室; 中科院软件研究所; 中国科学院计算技术研究所