|
| 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
| ASCII Text | x | ||
| Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun, "A Formal Description of Web Services Container Architecture," Internet and Web Applications and Services, International Conference on, pp. 30-36, 2009 Fourth International Conference on Internet and Web Applications and Services, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/ICIW.2009.13, author = {Jian Liu and Dianfu Ma and Zhuqing Li and Dou Sun}, title = {A Formal Description of Web Services Container Architecture}, journal ={Internet and Web Applications and Services, International Conference on}, volume = {0}, year = {2009}, isbn = {978-0-7695-3613-2}, pages = {30-36}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2009.13}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Internet and Web Applications and Services, International Conference on TI - A Formal Description of Web Services Container Architecture SN - 978-0-7695-3613-2 SP30 EP36 A1 - Jian Liu, A1 - Dianfu Ma, A1 - Zhuqing Li, A1 - Dou Sun, PY - 2009 KW - Web Services Container Architecture KW - XML Formalization Model KW - Formal Methods KW - Z Notation VL - 0 JA - Internet and Web Applications and Services, International Conference on ER - | |||
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.
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.