Title: Verifying integrity of exception handling in service-oriented software

Authors: Tong Xue; Shi Ying; Qing Wu; Xiangyang Jia; Xiaohui Hu; Xiaoying Zhai; Tao Zhang

Addresses: State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China ' State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China ' Department of Education Science, Wuhan University, Wuhan, China ' State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China; Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China ' State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China ' State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China ' Business Support Centre, Hubei Mobile, Wuhan, China

Abstract: In service-oriented software environments, that exceptions may not be fully handled is one of the main causes for system breakdown. Therefore, we need to verify integrity of software exception handling. At present verifying integrity of software exception handling mainly depends upon experiences of developer. Most of automatic formal verification mechanisms can only support some general features, such as equivalence, boundedness, security, etc. and easily cause state space explosion. This paper proposes an integrity verification method of exception handling in service-oriented software. We construct state spaces associated with exception handling and convert the issue of integrity verification into a model of boundedness analysis based on CPN, and reduce the size of state spaces by extending Stubborn Set and Transition Dependency Graph. An example and experimental results based on extended CPN tools confirm that our method has good generalisation abilities.

Keywords: service-oriented software; software exception handling; coloured Petri nets; CPNs; stubborn sets; state space; transition dependency graph; integrity verification.

DOI: 10.1504/IJGUC.2017.082133

International Journal of Grid and Utility Computing, 2017 Vol.8 No.1, pp.7 - 21

Received: 30 Jul 2015
Accepted: 07 Sep 2015
Published online: 08 Feb 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article