一种面向构件的行为语义模型及其应用研究  

Research on behavior semantic modeling oriented component and its application

作　　者：岳洋[1,2] 曾广平[1] 

机构地区：[1]北京科技大学计算机与通信工程学院,北京100083 [2]武警北京指挥学院,北京100012

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

基　　金：国家"863"计划资助项目(2009AA01Z119);国家自然科学基金资助项目(60973065)

摘　　要：以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.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]