Journal of Software:2001.12(1):56-64

(中国科学院 软件研究所 计算机科学开放研究实验室, 北京 100080,中国科学院 软件研究所 对象技术中心,北京 100080)
Specifying and Analyzing Model for Mobile Component Systems
Chart / table
Similar Articles
Article :Browse 2590   Download 3077
Received:June 28, 1999    Revised:November 23, 1999
> 中文摘要: 移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系,表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述.通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制,进而抽象出移动系统设计所需的语言结构,为移动系统设计和开发提供了分析基础.
Abstract:Mobile computing is a new computing paradigm. A main feature of this paradigm is dynamically changing the binding between com putational components and computational locations, which brings new requirements to the design of distributed systems. In this paper, an abstract model for mobi le component systems is proposed. Not only Location, Component, Mobility and Res ource Access as the basic elements of mobile systems are identified in the abstr act model, but modeling mobile systems by basic elements, relationships among el ements and relationship changes is also characterized. Based on set theory and o perational reduction rules, these elements, relationships and mobility mechanism s are specified in a formal manner. The analysis and formal specifications can b e applied to the design basis of mobile systems and their specification languages.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金重点资助项目(69833030);国家重点基 础研究发展规划资助项目(G1998030404) 国家自然科学基金重点资助项目(69833030);国家重点基 础研究发展规划资助项目(G1998030404)
Foundation items:
Reference text:


WEI Jun,ZHOU Huan.Specifying and Analyzing Model for Mobile Component Systems.Journal of Software,2001,12(1):56-64