-
题名REAL:面向可靠性评估的软件架构描述语言
- 1
-
-
作者
陈未如
李磊
王军
-
机构
沈阳化工学院计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第10期2241-2245,共5页
-
基金
辽宁省教育厅基金项目(2009B149)
-
文摘
为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。
-
关键词
面向可靠性评估的软件架构描述语言
软件架构
架构描述语言
组件
可扩展标记语言
-
Keywords
reliability evaluation oriented architecture description language（real）
software architecture（SA）
architecture description language（ADL）
component
XML
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向服务架构软件实现前的可靠性评价方法
- 2
-
-
作者
吕堂祺
黄宁
贾晓光
王东
-
机构
北京航空航天大学可靠性与系统工程学院
北京航空航天大学计算机学院
-
出处
《计算机应用》
CSCD
北大核心
2011年第9期2436-2439,2484,共5页
-
基金
国防"十一五"预研项目
-
文摘
为了在软件实现前评估其可靠性,针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法:用OWL-S描述软件的需求和设计信息,利用Maude为OWL-S过程模型的控制结构定义形式化语义,使用分布函数构建软件的操作剖面,在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述,在Maude系统的支持下,通过重写得到软件的可靠度,并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响,能够在软件实现前根据软件设计预测其可靠度,为软件的开发设计提供了工程指导。
-
关键词
面向服务架构
OWL—S模型
重写逻辑
操作剖面
可靠性评价
-
Keywords
Service-oriented architecture （SOA）
OWL-S （ Ontology Web language for Services） model
rewrite logic
operational profile
reliability evaluation
-
分类号
TP311.521
[自动化与计算机技术—计算机软件与理论]
-
