Fault diagnosis and handling for service composition based on Petri nets

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 2, 2010, Pages 231-247

  Fan, Gui Sheng ^a,b   Yu, Hui Qun ^a,b   Chen, Li Qiong ^c   Liu, Dong Mei ^a  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SHANGHAI KEY LABORATORY OF COMPUTER SOFTWARE EVALUATING AND TESTING   (China)

^c SHANGHAI INSTITUTE OF TECHNOLOGY   (China)

Author keywords

CTL (computational tree logic); Fault handling; Petri net; Reliability; Service composition

Indexed keywords

COMPONENT FAILURES; COMPUTATIONAL TREE LOGIC; CORRECTNESS CRITERION; FAULT ANALYSIS; FAULT DIAGNOSIS; FAULT HANDLING; FAULT MODEL; NETWORK FAILURE; SERVICE COMPOSITIONS; SIMULATION RESULT;

FAULT TREE ANALYSIS; GRAPH THEORY; PETRI NETS; QUALITY ASSURANCE; QUALITY OF SERVICE; TREES (MATHEMATICS);

RELIABILITY;

EID: 77950984225     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03790     Document Type: Article

References (17)

1. Li Q, Liu A, Liu H, Lin B, Gu N. Web services provision: Solutions, challenges and opportunities. In: Kim W, Choi HJ, Won D, eds. Proc. of the 3rd Int'l Conf. on Ubiquitous Information Management and Communication. New York: ACM Press, 2009. 70-87.
2. Papazoglou MP, Heuvel WJ. Service oriented architectures: Approaches, technologies and research issues. Int'l Journal on Very Large Data Bases, 2007, 16(3): 389-415.
3. Pleisch S, Schiper A. Approaches to fault-tolerant and transactional mobile agent execution-An algorithmic view. ACM Computing Surveys, 2004, 36(3): 219-262.
4. Chan KSM, Bishop J, Steyn J, Baresi L, Guinea S. A fault taxonomy for Web service composition. In: Nitto E, Ripeanu M, eds. Proc. of the Int'l Workshops on Service-Oriented Computing 2007. LNCS 4907, Heidelberg: Springer-Verlag, 2009. 363-375.
5. Liang D, Chen LF, Chen C, Lin F. Fault tolerant Web service. In: Chiang M, ed. Proc. of the 10th Asia-Pacific Software Engineering Conf. Los Alamitos: IEEE Computer Society Press, 2003. 310-319.
6. Dobson G. Using WS-BPEL to implement software fault tolerance for Web services. In: Crnkovic I, Grünbacher P, Biffl S, Merz P, Müller P, eds. Proc. of the 32nd EUROMICRO Conf. on Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society Press, 2006. 126-133.
7. Ardissono L, Furnari R, Goy A, Petrone G, Segnan M. Fault tolerant Web service orchestration by means of diagnosis. In: Volker G, Flávio O, eds. Proc. of the Software Architecture. LNCS 4344, Heidelberg: Springer-Verlag, 2006. 2-16.
8. Vijay D, Simon M, Luc M, Roure DD, Luck M. Transparent fault tolerance for Web services based architectures. In: Monien B, FeldMann R, eds. Proc. of the 8th Int'l Euro-Par Conf. on Parallel Processing. LNCS 2400, Heidelberg: Springer-Verlag, 2002. 107-201.
9. Zhang J, Qiu RG. Fault injection-based test case generation for SOA-oriented software. In: Robin GQ, ed. Proc. of the IEEE Int'l Conf. on Service Operations and Logistics and Informatics. Los Alamitos: IEEE Computer Society Press, 2006. 1070-1078.
10. Arlat J, Costes A, Crouzet Y, Laprie JC, Powell D. Fault injection and dependability evaluation of fault-tolerant systems. IEEE Trans. on Computers, 1993, 42(8): 913-923.
11. Looker N, Xu J. Assessing the dependability of SOAP RPC-based Web services by fault injection. In: Proc. of the 9th IEEE Int'l Workshop on Object-Oriented Real-Time Dependable Systems. Los Alamitos: IEEE Computer Society Press, 2003. 163-170.
12. Fan XQ, Jiang CJ, Wang JL. Random-QoS-Aware reliable Web service composition. Journal of Software, 2009, 20(3): 546-556 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/3339.htm
13. Fan GS, Liu DM, Chen LQ, Yu HQ. A coordination strategy for reliable service composition and its analysis. Chinese Journal of Computers, 2008, 31(8): 1445-1457 (in Chinese with English abstract).
14. Bhiri S, Perrin O, Godart C. Ensuring required failure atomicity of composite Web services. In: Proc. of the 14th Int'l Conf. on World Wide Web. New York: ACM Press, 2005. 138-147.
15. Schuldt H, Alonso G, Schek H. Concurrency control and recovery in transactional process management. In: Proc. of the 18th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems. New York: ACM Press, 1999. 316-326.
16. Yuan CY. The Theory and Application of Petri Nets. Beijing: Publishing House of Electronics Industry, 2005 (in Chinese).
17. He XD, Deng Y. A framework for developing and analyzing software architecture specifications in SAM. The Computer Journal, 2002, 45(1): 111-128.