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

面向移动协同的扩展式动态环境演算范型研究 第42卷第4期 2008年4月 西安交通大学 JOURNALOFXIANJIAOTONGUNIVERSITY Vo1.42N04 Apr.2008 面向移动协同的扩展式动态环境演算范型研究 曹玉辉, (1.西安交通大学电子与信息工程学院,710049, 王卫红,覃征 西安;2.河北经贸大学信息技术学院,050061,石家庄) 摘要:针对已有移动协同研究中尚缺乏既能描述移动性,又能描述协作性的演算系统,提出了一种 扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念环境进行深入解析的基础上 给出其在协同计算情境下的新语义,之后抽取刻画协同行为的基础动作A,并将A作为刻画协作 性的基本单位.进而将动作行为理论引入到动态环境演算中,即在动态环境演算的基础上将A作 为参与环境演算的基本实体,从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计 算的移动性,同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例 描述.较之经典动态环境演算,EMA弥补了不能刻画移动协同中的协作性缺陷,为移动协同理论 框架的完善提供了依据,为移动协同应用的构建提供了一种新的理论基础. 关键词:动态环境演算;移动协同;行为理论 中图分类号:TP301文献标志码:A文章编号:0253—987X(2008)04—0427—04 ResearchofExtendedMobileAmbientCalculusOriented MobileCollaboration CAOYuhui,WANGWeihong~,QINZheng (1.SchoolofElectronicsandInformationEngineering,XianJiaotongUniversity,Xian710049,China;2.Collieof InformationandTechnology,HebeiUniversityofEconomicsamp;Business,Siazhuang050061,China) Abstract:Sincethereisnoanycalculussysteminexistingresearchonmobilecollaborationcom— puting,whichcandescribebothmobilityandcollaborativecharacterofmobilecollaboration,a novelextendedmobileambient(E]MA)calculusiSproposedbasedontraditionalmobileambient calculus.ThebasicconceptAmbientinmobileambientcalculusiSanalyzed,andthenovelseman— ticincollaborationcomputingenvironmentisaddeamp;Then,thebasicconceptA,whichdescribes thecollaborativebehavior,iSabstracted,andiSusedasthebasicunittodescribecollaborative character.Subsequently,thebehaviortheoryiSintroducedtothetraditionalmobileambientcal— culus.thatiS.theconceptAiSusedasthebasiccalculusentityofEMAbasedonthemobilecal— culus.Thus,themobilityofmobilecollaborationcomputingisdescribedbyexistingmobileam— bientcalculusandthecollaborativecharacteriSdescribedbytheconceptA.Aninstanceofmobile collaborationbehavior,whichisdescribedbyEMA,isgiven.ThepracticeindicatesthatEMA makesupthegapofthemobileambientcalculusthatarenotabletodescribecollaborationand thatEM[Aprovidesanewideaforthetheoryframeworkofmobilecollaboration,andatheoretical backgroundformobilecollaborationapplicati