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

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

单位：中科院软件研究所计算机科学重点实验室; 北京100080; 中科院计算技术研究所; 北京100080