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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

陈文宇, 向涛, 王晓斌, 桑楠, 孙世新

文章导航 > 电子科技大学学报 > 2011 > 40(1): 122-127

陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述[J]. 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

引用本文:

陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述[J]. 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

CHEN Wen-yu, XIANG Tao, WANG Xiao-bin, SANG Nan, SUN Shi-xin. Component-Based Software Design and Formal Description in Real-Time Creditable Service[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

Citation:

CHEN Wen-yu, XIANG Tao, WANG Xiao-bin, SANG Nan, SUN Shi-xin. Component-Based Software Design and Formal Description in Real-Time Creditable Service[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

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

doi: 10.3969/j.issn.1001-0548.2011.01.023

1.
电子科技大学计算机科学与工程学院成都 610054

基金项目:

国家863计划(2006AA01Z173,2007AA01Z131)

作者简介:
陈文宇(1968-)，男，博士，副教授，主要从事编译技术、模式识别和形式语言与自动机方面的研究.

中图分类号: TP302;TP301.2

Component-Based Software Design and Formal Description in Real-Time Creditable Service

1.
School of Computer Science and Engineering,University of Electronic Science & Technology of China Chengdu 610054

摘要: 针对分布式实时嵌入式系统DRES，设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM，以形式化方法描述构件，并推导构件各实体之间的自适应过程。QuOCCM由三部分组成，Client、Qoskets和Server，分别以CCM (CORBAC omponent Model)构件技术实现。Client与应用或功能构件交互，获取当前QoS需求，并触发自适应机制；Qoskets通过对QoS保证框架QuO进行改进，以构件技术实现QoS自适应调整策略；Server提供自适应调整之后的QoS保证机制。研究结果表明，该方法不仅保证了DRES中当前应用环境的QoS自适应需求，而且QoS保证与具体功能应用分离也降低了系统开发的复杂性。形式化方法研究为构件实体间的交互提供了保证。
- 自适应系统 /
- 构件 /
- 形式化方法 /
- 服务质量
Abstract: For distributed real time embedded system (DRES), the paper proposes a development model QuOCCM which can provide adaptive quality assurance. QuOCCM is composed of Client, Qoskets, and Server, all of them are implemented by component. The Client interacts with applications, gets QoS requirements, and trigs adaptive mechanism. The Qoskets extends QoS guarantee framework QuO and realizes the system QoS adaptive adjuster using component technology. The Server provides implements of quality assurance. Research shows that the method not only guarantees the adaptive QoS requirement, but also reduces the system complexity by separation of functional path and QoS path.
- adaptive systems /
- components /
- formal methods /
- quality of service (QoS)

[1]	孙海泳, 杨霞, 雷航, 乔磊, 杨拯. 基于TrustZone的TEE设计与信息流形式化验证 . 电子科技大学学报, 2019, 48(2): 259-263. doi: 10.3969/j.issn.1001-0548.2019.02.016
[2]	邓达, 徐鹏. 基于优先级的WMSN区分服务路由算法 . 电子科技大学学报, 2016, 45(3): 423-428. doi: 10.3969/j.issn.1001-0548.2016.02.019
[3]	张涛, 谢红, 黄少滨. 多Agent交互策略模型检测方法 . 电子科技大学学报, 2016, 45(5): 802-807. doi: 10.3969/j.issn.1001-0548.2016.05.016
[4]	张兵, 马新新, 志光. 轻量级RFID双向认证协议设计与分析 . 电子科技大学学报, 2013, 42(3): 425-430. doi: 10.3969/j.issn.1001-0548.2013.03.021
[5]	张勇实, 张乐君, 张健沛, 杨静, 国林, 夏磊. 基于QoS关联分析的分布式系统可生存性评估 . 电子科技大学学报, 2013, 42(1): 109-114. doi: 10.3969/j.issn.1001-0548.2013.01.023
[6]	夏靖波, 罗赟骞. IP网络运行质量模糊综合评估方法研究 . 电子科技大学学报, 2011, 40(2): 267-272. doi: 10.3969/j.issn.1001-0548.2011.02.022
[7]	崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议 . 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027
[8]	宋现锋, 刘军志. QoS支持下的GIS服务链最优化问题研究 . 电子科技大学学报, 2010, 39(2): 298-301,315. doi: 10.3969/j.issn.1001-0548.2010.02.031
[9]	刘正涛, 毛宇光, 王建东, 叶传标. 基于角色的层次受限委托模型 . 电子科技大学学报, 2010, 39(1): 114-118. doi: 10.3969/j.issn.1001-0548.2010.01.026
[10]	罗克露, 姜连波. 开放式体系架构的数字家庭中心服务器——智能化构件容器的研究与实现 . 电子科技大学学报, 2010, 39(2): 255-259,254. doi: 10.3969/j.issn.1001-0548.2010.02.022
[11]	郑培超, 贾韶军, 宋瀚涛, 莫笑丽. LTE系统上行保证服务质量的分组调度算法 . 电子科技大学学报, 2009, 38(2): 186-189. doi: 10.3969/j.issn.1001-0548.2009.02.07
[12]	苗建松, 孙丹丹, 丁炜. 移动Ad hoc网络中改进的动态源路由算法研究 . 电子科技大学学报, 2008, 37(1): 97-100.
[13]	白翔, 毛玉明. 支持多优先级的无线自组织网接纳控制方案 . 电子科技大学学报, 2008, 37(4): 530-533.
[14]	范英磊, 郑培超, 苏放, 李勇, 徐惠民. 异构网络中的视频传输服务质量框架 . 电子科技大学学报, 2008, 37(1): 90-93.
[15]	吴传信, 倪明放, 陈鸣. 路由选择的一种新遗传算法 . 电子科技大学学报, 2006, 35(5): 744-747.
[16]	赵明生, 李爱梅. 基于多协议交换的虚拟专用网络应用 . 电子科技大学学报, 2006, 35(1): 77-80,92.
[17]	屈峰, 闫达远. 基于PKI的Web QoS分类系统研究 . 电子科技大学学报, 2006, 35(4): 534-537.
[18]	吴援明, 黄际彦. 自相似业务流的有效带宽 . 电子科技大学学报, 2005, 34(3): 328-331.
[19]	文军, 任立勇. 自相似业务流下的服务质量保障 . 电子科技大学学报, 2004, 33(4): 423-426.
[20]	郭乐深, 刘锦德. 支持分布式实时服务的开放系统环境 . 电子科技大学学报, 2001, 30(1): 66-71.

WeChat

点击查看大图

计量

文章访问数: 3483
HTML全文浏览量: 130
PDF下载量: 56
被引次数: 0

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

doi: 10.3969/j.issn.1001-0548.2011.01.023

1. 电子科技大学计算机科学与工程学院成都 610054

基金项目:

国家863计划(2006AA01Z173,2007AA01Z131)

作者简介:
陈文宇(1968-)，男，博士，副教授，主要从事编译技术、模式识别和形式语言与自动机方面的研究.

收稿日期: 2009-07-26
修回日期: 2010-03-09
刊出日期: 2011-02-15

中图分类号: TP302;TP301.2

关键词:

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

English Abstract

陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述[J]. 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

引用本文:

陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述[J]. 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

CHEN Wen-yu, XIANG Tao, WANG Xiao-bin, SANG Nan, SUN Shi-xin. Component-Based Software Design and Formal Description in Real-Time Creditable Service[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

Citation:

CHEN Wen-yu, XIANG Tao, WANG Xiao-bin, SANG Nan, SUN Shi-xin. Component-Based Software Design and Formal Description in Real-Time Creditable Service[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发