移动组件系统模型的分析与描述

作     者：魏峻 周桓 WEI Jun;Zhou Huan

作者机构：中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080 

基　　金：国家自然科学基金重点资助项目! (6 98330 30 ) 国家重点基础研究发展规划资助项目! (G19980 30 40 4) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2001年第12卷第1期

页      码：56-64页

摘      要：移动计算是新兴的分布式计算范型 ,其主要特征是计算组件与计算场所能动态改变绑定关系 ,表现出移动性 ,从而带来许多新的系统设计需求 .从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念 ,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述 .通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制 ,进而抽象出移动系统设计所需的语言结构 ,为移动系统设计和开发提供了分析基础 .

主 题 词：移动组件系统模型 形式方法 软件系统 组件关系 无线通信 

学科分类：0810[工学-土木类] 08[工学] 0835[0835] 081001[081001] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2001.01.008

馆 藏 号：203141163...