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