Model Checking Based Web Service Verification: A Systematic Literature Review

Author(s):  
Gopal N. Rai ◽  
G. R. Gangadharan
2021 ◽  
Vol 13 (4) ◽  
pp. 16-38
Author(s):  
Salisu Garba ◽  
Radziah Mohamad ◽  
Nor Azizah Saadon

Mobile web service (MWS) discovery is taking a new direction due to the explosion of users accessing mobile services using diverse mobile devices, coupled with the persistent changes in a dynamic mobile environment (DME). This leads to renewed adoption of lightweight solutions for the identification of the most suitable web services that correspond with the service requests. Contemporary mobile web service discovery approaches are plagued with performance and accuracy problems and are rarely compatible with the DME. The objective of this systematic literature review is to develop a more rigorous understanding and identify recent research trends in mobile web service discovery techniques in a dynamic mobile environment. This review followed the systematic literature review (SLR) guidelines. Essential information was extracted from the 76 relevant articles in line with the formulated questions and finally reported after in-depth analysis. The results of this study discuss the critical contributions and limitations of the proposed approaches.


2014 ◽  
Author(s):  
Heather T. Snyder ◽  
Maggie R. Boyle ◽  
Lacey Gosnell ◽  
Julia A. Hammond ◽  
Haley Huey

2018 ◽  
Vol 19 (4) ◽  
pp. 600-611 ◽  
Author(s):  
Nathan Beel ◽  
Carla Jeffries ◽  
Charlotte Brownlow ◽  
Sonya Winterbotham ◽  
Jan du Preez

Sign in / Sign up

Export Citation Format

Share Document