Title :
Application of Equivalence Checking in a Loan Origination Process in Banking Industry
Author :
Santone, Antonella ; Intilangelo, Valentina ; Raucci, Domenico
Author_Institution :
Dipt. di Ing., Univ. degli Studi del Sannio, Sannio, Italy
Abstract :
Equivalence checking is traditionally applied to computer system design. It is a promising formal technique for the improvement of software quality. However, it requires detailed specifications of systems and is therefore not very accessible, above all in certain restricted fields of application. One of this domain is business process management. In particular, we examine the applicability of equivalence checking to validation of Business Processes that are mapped through the systems of Workflow Management. The usage of formal methods in business domain, however, is still not widely used. This is due also to the state explosion problem, which says that the state space grows exponentially in the number of concurrent processes. In this paper we consider a heuristic-based methodology developed to combat the state explosion problem for checking process equivalence. Our proposal is two-fold: (i) we show how equivalence checking can be applied in the context of business modelling and analysis; (ii) we evaluate and test the heuristic-based methodology using, as a case study, a real-world banking workflow of a loan origination process. Our investigations suggest that the business community, especially in the banking held, can benefit from this efficient methodology developed in the process algebra area to prevent significant errors. We show and discuss the experimental results obtained.
Keywords :
bank data processing; formal verification; heuristic programming; workflow management software; banking industry; business analysis; business community; business modelling; business process management; computer system design; equivalence checking process; formal technique; heuristic-based methodology; loan origination process; real-world banking workflow; software quality; state explosion problem; workflow management system; Algebra; Automata; Banking; Business; Explosions; Search problems; Semantics; Banking Process; Business Process Management; CCS; Formal Methods; Heuristic Search; Workflow Verification;
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013 IEEE 22nd International Workshop on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4799-0405-1
DOI :
10.1109/WETICE.2013.28