移动组件系统模型的分析与描述
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金重点资助项目(69833030);国家重点基 础研究发展规划资助项目(G1998030404)


Specifying and Analyzing Model for Mobile Component Systems
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

魏峻,周桓.移动组件系统模型的分析与描述.软件学报,2001,12(1):56-64

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1999-06-28
  • 最后修改日期:1999-11-23
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号