May 24, 2009 to May 28, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2009.13
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.
Web Services Container Architecture, XML Formalization Model, Formal Methods, Z Notation
Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun, "A Formal Description of Web Services Container Architecture", ICIW, 2009, Internet and Web Applications and Services, International Conference on, Internet and Web Applications and Services, International Conference on 2009, pp. 30-36, doi:10.1109/ICIW.2009.13