This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Fourth International Conference on Internet and Web Applications and Services
A Formal Description of Web Services Container Architecture
Venice/Mestre, Italy
May 24-May 28
ISBN: 978-0-7695-3613-2
In this paper, we present a formal description of web services container architecture based on Z notation. This description major focuses on internal behavior of a web services container on processing a web services request. First, we present a formal model of tailored XML which provides a unified data structure for executing web services specifications and data transformation. Then, we present a formal definition of a web service within web services containers using WebService schema based on WSDL Z notation. Furthermore, we formally describe internal behaviors such as service identification, operation identification, type mapping and adaptation. By using formal method, the semantics of web services container architecture is consistent and analyzable. As the key to model dynamic behavior of web services specifications and their interrelationships major lie on the formal definition of this specification in WebService, this formal description can provide an initial step for analyzing the correctness and consistency of web services specifications and their combination through WSDL by using proof provided by Z notation.
Index Terms:
Web Services Container Architecture, XML Formalization Model, Formal Methods, Z Notation
Citation:
Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun, "A Formal Description of Web Services Container Architecture," iciw, pp.30-36, 2009 Fourth International Conference on Internet and Web Applications and Services, 2009
Usage of this product signifies your acceptance of the Terms of Use.