Trustable web services with dynamic confidence time interval

One part of trustfulness on web services application over the network is confidence of services that providers can guarantee to their customers. Therefore, after the development process, web services developers must be sure that the delivered services are qualified for availability and reliability during their execution. However, there is a critical problem when errors occur during the execution time of the service agent, such as the infinite loop problem in the service process. This unexpected problem of the web services software can cause critical damages in various aspects, especially lives and dead of people. Although there are various methods have been proposed to protect the unexpected errors, most of them are procedures in the verification and validation during the development processes. Nevertheless, these methods cannot completely solve the inifnite loop problem since this problem is usually occurred by an unexpected values obtained from the execution of request and response processes . Therefore, this paper proposed a system architecture includes with a protection mechanism that completely detect and protect the unbound loop problem of web services when request services of each requester are under the dynamic situation. This proposed solution can guarantee that users will definitly be protected from a critical lost occurred from the unexpected infinite loop of the web services system. Consequently, all service agents with dynamic loop control condition can be trustable.

[1]  E. F. Lindquist A First Course in Statistics. , 1938 .

[2]  Yukyong Kim QoS-Aware Web Services Discovery with Trust Management , 2008, J. Convergence Inf. Technol..

[3]  Midori Sugaya,et al.  A Lightweight Anomaly Detection System for Information Appliances , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[4]  Koushik Sen,et al.  Looper: Lightweight Detection of Infinite Loops at Runtime , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

[5]  Amin Vahdat,et al.  Pip: Detecting the Unexpected in Distributed Systems , 2006, NSDI.

[6]  Honghao Gao,et al.  Verifying Web Services Composition Based on Interface Automata Using SPIN , 2010, J. Digit. Content Technol. its Appl..

[7]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[8]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[9]  Pankesh Patel,et al.  Service Level Agreement in Cloud Computing , 2009 .

[10]  Linda H. Rosenberg,et al.  SOFTWARE METRICS AND RELIABILITY , 1998 .

[11]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[12]  Stewart Robinson,et al.  Simulation model verification and validation: increasing the users' confidence , 1997, WSC '97.

[13]  Alex Groce,et al.  Error explanation with distance metrics , 2004, International Journal on Software Tools for Technology Transfer.

[14]  G. U. Y.,et al.  A First Course in Statistics , 1922, Nature.

[15]  Alex Groce,et al.  SPECIAL S ECTION O N T OOLS A ND A LGORITHMS F OR THE C ONSTRUCTION A ND A NALYSIS O F S YSTEMS , 2005 .

[16]  Jack C. Wileden,et al.  A Debugging Tool for Distributed Systems , 1983 .

[17]  Jafar Habibi,et al.  FeedbackTrust: using feedback effects in trust-based recommendation systems , 2009, RecSys '09.

[18]  Li-Yan Yuan,et al.  Loop checks for logic programs with functions , 2001, Theor. Comput. Sci..

[19]  Hans Scholten,et al.  A debugging tool for distributed systems , 1993, Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation.

[20]  David Kaeli,et al.  Runtime predictability of loops , 2001 .