面向移动协同的扩展式动态环境演算范型研究  

Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration

作　　者：曹玉辉[1] 王卫红[2] 覃征[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049 [2]河北经贸大学信息技术学院,石家庄050061

出　　处：《西安交通大学学报》2008年第4期427-430,435,共5页Journal of Xi'an Jiaotong University

基　　金：国家高技术研究发展计划资助项目(2003AA412020);陕西省科学技术发展计划“十五”攻关资助项目(2000K08-G12);国防“十一五”预研基金资助项目(402040202)

摘　　要：针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统,提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念"环境"进行深入解析的基础上给出其在协同计算情境下的新语义,之后抽取刻画协同行为的基础动作A,并将A作为刻画协作性的基本单位.进而将动作行为理论引入到动态环境演算中,即在动态环境演算的基础上将A作为参与环境演算的基本实体,从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计算的移动性,同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例描述.较之经典动态环境演算,EMA弥补了不能刻画移动协同中的协作性缺陷,为移动协同理论框架的完善提供了依据,为移动协同应用的构建提供了一种新的理论基础.Since there is no any calculus system in existing research on mobile collaboration computing, which can describe both mobility and collaborative character of mobile collaboration, a novel extended mobile ambient （EMA） calculus is proposed based on traditional mobile ambient calculus. The basic concept Ambient in mobile ambient calculus is analyzed, and the novel semantic in collaboration computing environment is added. Then, the basic concept A, which describes the collaborative behavior, is abstracted, and is used as the basic unit to describe collaborative character. Subsequently, the behavior theory is introduced to the traditional mobile ambient calculus, that is, the concept A is used as the basic calculus entity of EMA based on the mobile calculus. Thus, the mobility of mobile collaboration computing is described by existing mobile ambient calculus and the collaborative character is described by the concept A. An instance of mobile collaboration behavior, which is described by EMA, is given. The practice indicates that EMA makes up the gap of the mobile ambient calculus that are not able to describe collaboration and that EMA provides a new idea for the theory framework of mobile collaboration, and a theoretical background for mobile collaboration applications.

关 键 词：动态环境演算 移动协同 行为理论 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]