University of Oulu
Web services transactions are used to build efficient and reliable web applications which are distributed across the Internet and are accessed by multiple simultaneous users. Current paper develops various models and protocols in order to improve the performance and reliability of web services transactions. However, there is little research on testing the different models and protocols of web services transactions. This paper presents an abstract transaction model that patterns different web services transactions standards. This model is capable of deriving concrete models in order to automatically generate test cases for different web services transactions standards.