%0 Journal Article
%T Research on behavior semantic modeling oriented component and its application<br>一种面向构件的行为语义模型及其应用研究
%A YUE Yang
%A ZENG Guang-ping
%A <br>岳洋
%A 曾广平
%J 计算机应用研究
%D 2012
%I 
%X 以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。
%K 构件
%K 动态行为
%K 行为描述语言
%K 替换性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=4189763B19B8AD458E4112C42FF10A4F&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=8CD2A779BF9E6C32&eid=290C357E8EC0A94B&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=19