实时可信服务的构件设计与形式化描述

• 作者: 向涛 孙世新 桑楠 王晓斌 陈文宇
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 自适应系统 构件 形式化方法 服务质量
• 年，卷（期）: 2011,（1）
• 页码范围: 122-127
• 分类号: TP302|TP301.2
• 字数: 4709字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2011.01.023

摘要

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质童(QoS保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程.QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBAComponent Model)构件技术实现.Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制.研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性.形式化方法研究为构件实体间的交互提供了保证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙世新	电子科技大学计算机科学与工程学院	141	955	16.0	22.0
2	桑楠	电子科技大学计算机科学与工程学院	105	1275	18.0	30.0
3	王晓斌	电子科技大学计算机科学与工程学院	28	239	8.0	14.0
4	陈文宇	电子科技大学计算机科学与工程学院	45	389	10.0	18.0
5	向涛	电子科技大学计算机科学与工程学院	7	49	3.0	7.0