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

曹玉辉 1; 2; 王卫红 2; 覃征 1

您当前的位置：

首页 >

文章列表页 >

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

专题研究 | 更新时间：2025-12-08

- 面向移动协同的扩展式动态环境演算范型研究
- Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration
- 西安交通大学学报 2008年42卷第4期页码：427-430+435
- 作者机构：
  
  1. 西安交通大学电子与信息工程学院,西安,710049
  2. 河北经贸大学信息技术学院,石家庄,050061
- 作者简介：
- 基金信息：
  
  : 2007-09-17. 作者简介: 曹玉辉(1969-),男,在职博士生,副教授;覃征(联系人),男,教授,博士生导师. 基金项目: 国家高技术研究发展计划资助项目(2003AA412020);陕西省科学技术发展计划“十五”攻关资助项目(2000K08-G12);国防“十一五”预研基金资助项目(402040202)
- DOI：
  中图分类号： TP301
- 网络首发：2008-04-10，
  
  纸质出版：2008
- 稿件说明：
移动端阅览
曹玉辉 1, 2, 王卫红 2, 等. 面向移动协同的扩展式动态环境演算范型研究[J]. 西安交通大学学报, 2008,42(4):427-430+435.

曹玉辉 1, 2, 王卫红 2, et al. Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration[J]. 2008, 42(4): 427-430+435.
曹玉辉 1, 2, 王卫红 2, 等. 面向移动协同的扩展式动态环境演算范型研究[J]. 西安交通大学学报, 2008,42(4):427-430+435. DOI：

曹玉辉 1, 2, 王卫红 2, et al. Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration[J]. 2008, 42(4): 427-430+435. DOI：

摘要

针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统

提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念“环境”进行深入解析的基础上给出其在协同计算情境下的新语义

之后抽取刻画协同行为的基础动作A

并将A作为刻画协作性的基本单位.进而将动作行为理论引入到动态环境演算中

即在动态环境演算的基础上将A作为参与环境演算的基本实体

从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计算的移动性

同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例描述.较之经典动态环境演算

EMA弥补了不能刻画移动协同中的协作性缺陷

为移动协同理论框架的完善提供了依据

为移动协同应用的构建提供了一种新的理论基础.

Abstract

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.

关键词

Keywords

references

MILNER R, PARROW J, WALKER D. A calculus of mobile process(Part I and II)[J]. Information and Computation, 1992,100(1):1-40.

CARDELLI L, GORDON A D. Mobile ambients [M]. Foundations of software science and computation structure. Heidelberg: Netherlands: Springer-Verlag, 1998:140-155.

WEISER M. The world is not a desktop [J]. Interactions, 1994,1(1):7-8.

王卫红,曹玉辉.一种多维策略的移动协同群组形成模型 [J].西安交通大学学报,2007,41(8):894-898.

WANG Weihong, CAO Yuhui. Multi-dimension policy for formulation model of mobile collaborative group[J]. Journal of Xi'an Jiaotong University, 2007,41(8):894-898.

LUFF P, HEATH C. Mobility in Collaboration [C]∥Proceedings of ACM Conference on Computer Supported Cooperative Work. New York, USA: ACM Press, 1998:305-314.

FONTAINE M, PARISE S, MILLEN D R. Using collaborative environments to transform your organiza-tion's business processes [EB/OL]. [2006-01-10]. http:∥www-03. ibm.com/industries/government/doc.

CATOVIC A, TEKINAY S. Reducing transmit power and extending network lifetime via user cooperation in the next generation multihop wireless networks[J]. Communication and Networks, 2002,4(4):351-362.

EMAMIAN V, ANGHEL P, KAVEH M. Multi-user spatial diversity in a shadow-fading environment [C]∥Proceeding of IEEE Veh Tech. Piscataway, USA: IEEE, 2002:573-576.

LI Yushun, SHI Meilin. Mobile collaboration writing[C]∥14th IEEE Proceedings on Personal, Indoor and Mobile Radio Communications. Piscataway, USA: IEEE, 2003:849-853.

CAPORUSCIO M, INVERARD P. Yet another framework for supporting mobile and collaborative work [C]∥Proceeding of 12th IEEE Workshops Enabling Technologies: Infrastructure for Collaborative Enterprises. Los Alamitos, USA: IEEE Computer Society, 2003:81-86.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

语义区分和子图整合驱动的知识图谱表示学习方法

混合电解槽阵列协同的风光耦合制氢系统双层多目标优化

电动车辆间接热系统快速除湿响应迟滞机理及优化控制策略

离子液体改性燃料的电流体动力学效应研究

采用机器学习的大规模并行程序I/O性能建模与预测方法