文件名称:论文研究-一种面向构件的行为语义模型及其应用研究.pdf
文件大小:1.34MB
文件格式:PDF
更新时间:2022-08-11 12:40:54
构件, 动态行为, 行为描述语言, 替换性
以SOFA/CDL作为刻画动态行为的形式化语义基础, 从交互语义层面入手, 提出面向SMCsoftMan component构件的行为描述语言BDL; 同时, 针对CDL在行为刻画上的不足进行扩展, 给出了针对SMC的行为描述框架。在此基础上, 选取典型的构件动态替换作为应用背景, 得到基于BDL表达的构件上下文无关替换定义及其判定定理, 验证了上述模型在构件行为语义抽象中的有效性和正确性。