Simulation and Analysis of Web Services Combination in Business Process before their Development

Nowadays, web services as emerging methods for realizing service oriented architecture lead to novel domains of research, one of which is web service combination in business process that offers some challenges in testing phase. This paper aims to propose a novel approach, based onModel based testing method for analyzingbusiness process as well as detecting deadlocks and infinite loops of web services before their development for integrated programs. In this paper, business process of Getting Book Info System (GBIS) is simulated as a case study. After that,insecure conditions are automatically identified for detecting deadlocks and infinite loops in this business process. This paper shows that model-based testing method can be utilized as a novel approach to analyze and detect design time errors in business process before their implementation for integrating of web services, based on some criteria

کلیدواژه ها:

Model based testing ، Web services combination ، Service oriented architecture ، Unit testing