计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2009年
10期
1743-1749
,共7页
语义%行为%ambient%基调%论域
語義%行為%ambient%基調%論域
어의%행위%ambient%기조%론역
网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.
網絡計算繫統中涉及的操作複雜,很難直接給齣一種的語義描述框架.作為一種網絡計算模型,Ambient縯算主要刻畫瞭計算的分佈性和移動性.目前關于Ambient的語義研究很多,但均是基于規約規則的語義形式.這種描述方式儘管簡潔,一方麵卻具有不確定性,不利于實際的網絡計算繫統的設計和直接實現;另一方麵,這種語義描述方式均在一箇層次上描述Ambient縯算繫統中的各種行為語義,使得Ambient縯算中各種計算行為糾纏在一起,複雜而難以理解.根據Ambient縯算的結構特點,給齣瞭Ambient縯算的一種分層語義描述形式,繫統以ambient為單元,分成3層進行描述,分彆給齣不同層上行為的語法定義、語義定義、語義方程以及不同層間的轉換函數的定義,從而給齣Ambient縯算繫統的指稱語義描述形式.這種描述方式從層次化的角度分析瞭Ambient縯算的計算行為,有助于對Ambient縯算中行為的理解和實際應用繫統的實現.
망락계산계통중섭급적조작복잡,흔난직접급출일충적어의묘술광가.작위일충망락계산모형,Ambient연산주요각화료계산적분포성화이동성.목전관우Ambient적어의연구흔다,단균시기우규약규칙적어의형식.저충묘술방식진관간길,일방면각구유불학정성,불리우실제적망락계산계통적설계화직접실현;령일방면,저충어의묘술방식균재일개층차상묘술Ambient연산계통중적각충행위어의,사득Ambient연산중각충계산행위규전재일기,복잡이난이리해.근거Ambient연산적결구특점,급출료Ambient연산적일충분층어의묘술형식,계통이ambient위단원,분성3층진행묘술,분별급출불동층상행위적어법정의、어의정의、어의방정이급불동층간적전환함수적정의,종이급출Ambient연산계통적지칭어의묘술형식.저충묘술방식종층차화적각도분석료Ambient연산적계산행위,유조우대Ambient연산중행위적리해화실제응용계통적실현.
