Reliability evaluation before the accomplishment of service-oriented architecture software

doi:10.3724/SP.J.1087.2011.02436

Journal of Computer Applications ›› 2011, Vol. 31 ›› Issue (09): 2436-2439.DOI: 10.3724/SP.J.1087.2011.02436

• Computer software technology • Previous Articles Next Articles

Reliability evaluation before the accomplishment of service-oriented architecture software

LV Tang-qi¹,HUANG Ning¹,²,JIA Xiao-guang²,WANG Dong²

1. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China
2. School of Computer Science and Engineering, Beihang University, Beijing 100191, China

Received:2010-12-24 Revised:2011-01-30 Online:2011-09-01 Published:2011-09-01
Contact: LV Tang-qi

面向服务架构软件实现前的可靠性评价方法

吕堂祺¹,黄宁¹,²,贾晓光²,王东²

1. 北京航空航天大学可靠性与系统工程学院，北京 100191
2. 北京航空航天大学计算机学院，北京 100191

通讯作者: 吕堂祺
作者简介:吕堂祺(1987-)，男，江西九江人，硕士研究生，主要研究方向：网络可靠性；
黄宁(1968-)，女，北京人，教授，主要研究方向：网络可靠性、软件测试、软件可靠性；
贾晓光(1985-)，男，河南郑州人，硕士研究生，主要研究方向：软件测试、软件可靠性；
王东(1984-)，男，山东济南人，硕士研究生，主要研究方向：软件测试、软件可靠。
基金资助:
国防“十一五”预研项目

Abstract

Abstract: A reliability evaluation method was proposed to evaluate the reliability of Service-Oriented Architecture (SOA) before its realization. OWL-S (Ontology Web Language for Services), of which the formal semantics of the control structure was defined by Maude, was used to descript the information of software requirements and design. The operational profile of software was built up by distribution function. After this, how the information of operational profile and the architecture of software took part in reliability calculation was added in Maude. At last, the reliability of software could be achieved through rewriting with the supporting of Maude system. In addition, the Software Reliability Predict Tool (SRPT) was developed based on this method. The data flow, control flow, components as well as the operational profile and the architecture of software were considered in the impact on software reliability. According to the design of software, it can estimate the reliability before the accomplishment of software.

Key words: Service-Oriented Architecture (SOA), OWL-S (Ontology Web Language for Services) model, rewrite logic, operational profile, reliability evaluation

摘要： 为了在软件实现前评估其可靠性，针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法：用OWL-S描述软件的需求和设计信息，利用Maude为OWL-S过程模型的控制结构定义形式化语义，使用分布函数构建软件的操作剖面，在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述，在Maude系统的支持下，通过重写得到软件的可靠度，并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响，能够在软件实现前根据软件设计预测其可靠度，为软件的开发设计提供了工程指导。

关键词: 面向服务架构, OWL-S模型, 重写逻辑, 操作剖面, 可靠性评价

CLC Number:

TP311.521

LV Tang-qi HUANG Ning JIA Xiao-guang WANG Dong. Reliability evaluation before the accomplishment of service-oriented architecture software[J]. Journal of Computer Applications, 2011, 31(09): 2436-2439.

吕堂祺黄宁贾晓光王东. 面向服务架构软件实现前的可靠性评价方法[J]. 计算机应用, 2011, 31(09): 2436-2439.

[1]	Lei WANG, Shijuan CHENG, Yu HAN. Reliability evaluation of multi-component system based on time-varying Copula function [J]. Journal of Computer Applications, 2024, 44(3): 953-959.
[2]	Sirui WANG, Shijuan CHENG, Feimeng YUAN. Reliability evaluation method of high-reliability products based on improved evidence fusion [J]. Journal of Computer Applications, 2023, 43(7): 2140-2146.
[3]	Mingchao NING, Junbo ZHANG, Ge CHEN. Task scheduling algorithm for service-oriented architecture-based industrial software [J]. Journal of Computer Applications, 2023, 43(3): 885-893.
[4]	XU Jinrong, GUO Caiping, TONG Endong. Time-aware QoS prediction for SOA-based remote sensing image processing platform [J]. Journal of Computer Applications, 2020, 40(6): 1714-1721.
[5]	LI Jing, LIU Dongshi. Reliability evaluation model for cloud storage systems with proactive fault tolerance [J]. Journal of Computer Applications, 2018, 38(9): 2631-2636.
[6]	HU Qiang DU Yuyue. Service architecture and service discovery oriented to service clusters [J]. Journal of Computer Applications, 2013, 33(08): 2163-2166.
[7]	DUAN Han-cong LI Tong-xing LI Lin XING Jian-chuan. Distributed business deployment platform based on service-oriented architecture [J]. Journal of Computer Applications, 2012, 32(08): 2342-2345.
[8]	QU Zhi-yi TIAN Nan WEN Li-juan. Background modeling based on credibility evaluation [J]. Journal of Computer Applications, 2012, 32(06): 1532-1535.
[9]	. Communication control strategy of distributed and heterogeneous data synchronization based on SOA [J]. Journal of Computer Applications, 2012, 32(05): 1421-1424.
[10]	LI Xing-fang YUAN Ying-chun WANG Ke-jian. QoS computing method for Web services composition based on topological sequence reduction [J]. Journal of Computer Applications, 2012, 32(05): 1432-1435.
[11]	LI Fu-lin XU Kai-yong LI Li-xin. Design and implementation of uniform identity authentication system based on enterprise service bus [J]. Journal of Computer Applications, 2012, 32(01): 52-55.
[12]	WAN Nian-hong. Service-oriented self-adapted software architecture of cloud resource information integration [J]. Journal of Computer Applications, 2012, 32(01): 170-174.
[13]	Xiao-li LU Wei-yun DONG. Testing of service-oriented software: a metamorphic testing approach [J]. Journal of Computer Applications, 2011, 31(07): 1756-1758.
[14]	SHEN Ya-fen HUANG Ning PENG Yong-yi. Transformation of OWL-S model to rewrite-logic model [J]. Journal of Computer Applications, 2011, 31(06): 1491-1494.
[15]	. Intrusion tolerance model based on autonomic computing [J]. Journal of Computer Applications, 2010, 30(9): 2386-2388.

Reliability evaluation before the accomplishment of service-oriented architecture software

面向服务架构软件实现前的可靠性评价方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics