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

被引：4

作者：

魏峻

周桓

机构：

[1] 中国科学院软件研究所计算机科学开放研究实验室!北京

[2] 中国科学院软件研究所对象技术中心!北京

来源：

软件学报 | 2001年 / 01期

关键词：

移动组件系统模型; 形式方法; 移动性; 位置; 组件; 组件关系;

D O I：

10.13328/j.cnki.jos.2001.01.008

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：56 / 64

页数：9