Port-Based Reliability Computing for Service Composition

被引:13
作者
Ding, Zuohua [1 ]
Jiang, Mingyue [1 ]
Kandel, Abraham [2 ]
机构
[1] Zhejiang Sci Tech Univ, Coll Sci, Hangzhou 310018, Zhejiang, Peoples R China
[2] Univ S Florida, Dept Comp Sci & Engn, Tampa, FL 33620 USA
基金
美国国家科学基金会;
关键词
Service composition; service component architecture; reliability computing; NHPP; SOFTWARE-RELIABILITY; MODEL;
D O I
10.1109/TSC.2011.17
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Web service composition is a distributed model to construct new web service on top of existing primitive or other composite web services. However, current service technologies, including proposed composition languages, do not address the reliability of web service composition. Thus, it is hard to predict the system reliability. In this paper, we propose a method to compute system reliability based on Service Component Architecture (SCA), a standard that provides a language-independent way to define and compose service components in the system. We first present a formal service component signature model with respect to the specification of the SCA assembly model, and then propose a language-independent dynamic behavior model for specifying the interface behavior of the service component by port activities. Then, the failure behaviors of ports are defined through the Nonhomogeneous Poisson Process (NHPP). Based on the semantics of ports, several rules have been generated to compute reliability of port expressions, thus the overall system reliability can be automatically computed. An Online Shop example from IBM web site is given to illustrate our method, together with a testing bed to calculate port reliability.
引用
收藏
页码:422 / 436
页数:15
相关论文
共 44 条
[1]  
[Anonymous], 1996, HDB SOFTWARE RELIABI
[2]  
[Anonymous], 2003, SIGECOM EXCH
[3]  
BEIZER B., 1983, SOFTWARE TESTING TEC
[4]  
Berardi D., 2005, 31 INT C VERY LARGE, P613
[5]   Effect of code coverage on software reliability measurement [J].
Chen, MH ;
Lyu, MR ;
Wong, WE .
IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (02) :165-170
[6]   A USER-ORIENTED SOFTWARE-RELIABILITY MODEL [J].
CHEUNG, RC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) :118-125
[7]   Integration testing using interface mutation [J].
Delamaro, ME ;
Maldonado, JC ;
Mathur, AP .
SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1996, :112-121
[8]   A rigorous approach towards test case generation [J].
Ding, Zuohua ;
Zhang, Kao ;
Hu, Jueliang .
INFORMATION SCIENCES, 2008, 178 (21) :4057-4079
[9]   A Rigorous Model of Service Component Architecture [J].
Ding, Zuohua ;
Chen, Zhenbang ;
Liu, Jing .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 207 (33-48) :33-48
[10]  
Dolbec J., 1995, Proc. of the Conference of the Centre for Advanced Studies on Collaborative Research (CASCON'95), P19