位置:成果数据库 > 期刊 > 期刊详情页
支持运行监控的可信软件体系结构设计方法
  • ISSN号:0254-4164
  • 期刊名称:计算机学报
  • 时间:0
  • 页码:1-15
  • 语言:中文
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]武汉大学软件工程国家重点实验室,武汉430072, [2]国防科学技术大学计算机学院网络与信息安全研究所,长沙410073
  • 相关基金:国家“八六三”高技术研究发展计划项目基金(2003AA142O1O 2006AA01Z168); 国家自然科学基金(60773006)资助
  • 相关项目:面向方面的软件体系结构设计方法研究
中文摘要:

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.

英文摘要:

Nowadays,the trustworthiness has become the noticed focus in qualities of software,which emphasizes analysis,measurement,corresponding applications and support environments for the trustworthiness quality.Injecting monitoring capacity into software can be one of the approaches to improve the credibility of software.However,the current work primarily concentrates on the programming and coding level,lacking a systematic architectural design approach to guide the whole design and analysis process for the trusted software.By introducing aspect-oriented architectural design approach and relevant techniques into the design and analysis of software,this paper tries to offer an effective and systematic solution for the trusted software system.Based on trusted software constitution model with the capability of monitoring,the proposed approach utilizes a special kind of aspect-oriented architecture description language AC2-ADL to depict such software system,contributing to comprehension,evolution and reusability of software architectural design decisions.Summarily,the whole designing process of the approach is discussed systematically through a case study in e-business domain.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433