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

以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMCsoftMancomponent构件的行为描述语言BDL;同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。