Title :
EEMTI: An extending framework for nested web service verification
Author :
Srirajun, N. ; Bhattarakosol, Pattarasinee ; Tantasanawong, P. ; Sunyoung Han
Author_Institution :
Dept. of Math. & Comput. Sci., Chulalongkorn Univ., Bangkok, Thailand
Abstract :
Presently, the web services are commonly used in web program development. These service agents may contain a nested call to other agents in order to complete their tasks. Therefore, the processing time of these agents may consume the processing time according to the external process of others. Moreover, there might be some errors within the external web agents. Therefore, the web service flows must be determined before real implementation. As a consequence of such requirement, the Web Services Composition (WSC) must be clearly define the flows and web descriptions to support the verification process of the web services agents. In this paper a new architecture, modified from the existing EMTI, is proposed using the extending framework, EEMTI, with extending Web Services Definition Language (WSDL) of the nested schema. Every element in the required agents is completely monitored. Consequently, the hidden false can be unclosed and corrected before the agent is called.
Keywords :
Web services; formal verification; multi-agent systems; software architecture; EEMTI; WSC; WSDL; Web descriptions; Web program development; Web services agent verification process; Web services composition; Web services definition language; nested Web service verification; processing time; extending WSDL; nested structure; web services agent; web services composition; web services verification;
Conference_Titel :
Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4673-0894-6