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

• 作者: 岳洋 曾广平
• 来源期刊: 计算机应用研究
• 关键词: 构件 动态行为 行为描述语言 替换性
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1751-1755
• 分类号: P311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.05.040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾广平	北京科技大学计算机与通信工程学院	91	508	11.0	17.0
2	岳洋	北京科技大学计算机与通信工程学院	5	12	2.0	3.0