作　　者： ; ;

机构地区： 北京科技大学

出　　处： 《计算机应用研究》 2012年第5期1751-1755,共5页

摘　　要： 以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。 Taking the SOFA/CDL as the base of formalized semantics to depict component＇s dynamic behavior,through analysis for the interaction semantics among components,this paper put forward a behavior description language（BDL） for the SMC（softMan component）.And it proposed a behavior description framework to extend some properties in CDL for overcoming the weakness.Based on this,by choosing typical component substitution as the application background,this paper got the definitions and theorem related to context-free substitution expressed by BDL and certified the validity and correctness of the model working on dynamic behavior semantic Abstraction.

关 键 词： 构件 动态行为 行为描述语言 替换性

领　　域： [自动化与计算机技术] [自动化与计算机技术]