-
题名支持运行监控的可信软件体系结构设计方法
被引量：13
- 1
-
-
作者
文静
王怀民
应时
倪友聪
王涛
-
机构
武汉大学软件工程国家重点实验室
国防科学技术大学计算机学院网络与信息安全研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第12期2321-2334,共14页
-
基金
国家"八六三"高技术研究发展计划项目基金(2003AA142O1O
2006AA01Z168)
国家自然科学基金(60773006)资助
-
文摘
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
-
关键词
面向侧面的体系结构描述语言
面向侧面的软件开发方法
支持运行监控的可信软件构造模型
软件工程
可信软件开发
-
Keywords
aspect-oriented architecture description language
aspect-oriented software architecture design
trusted software constitution model based on monitoring
software engineering
trusted software development
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于ACME的面向方面软件体系结构设计方法
被引量：3
- 2
-
-
作者
刘长林
张广泉
黄静
-
机构
苏州大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《苏州大学学报（工科版）》
CAS
2011年第2期6-13,共8页
-
基金
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)
江苏省高校自然科学研究项目(编号08KJB520010)
-
文摘
软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义。随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象。通过使用方面,AOP在代码层次很好地解决了横切问题。因此,根据现阶段研究成果,本文把AOP中方面的概念引入到软件体系结构设计过程中,提出了一种基于ACME的面向方面软件体系结构设计方法。ACME可以实现对面向方面软件体系结构设计过程的形式化验证。依据该方法,使用AcmeStudio设计了网上书店系统的体系结构。
-
关键词
ACME
面向方面
软件体系结构设计
-
Keywords
ACME
aspect-oriented
software architecture design
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
