A Formal Description of Web Services Container Architecture

2009 Fourth International Conference on Internet and Web Applications and Services Pub Date : 2009-05-24 DOI:10.1109/ICIW.2009.13

Jian Liu, Dian-fu Ma, Zhuqing Li, Dou Sun

{"title":"A Formal Description of Web Services Container Architecture","authors":"Jian Liu, Dian-fu Ma, Zhuqing Li, Dou Sun","doi":"10.1109/ICIW.2009.13","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":390934,"journal":{"name":"2009 Fourth International Conference on Internet and Web Applications and Services","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Fourth International Conference on Internet and Web Applications and Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIW.2009.13","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

Abstract

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服务容器体系结构的正式描述

本文提出了一种基于Z符号的web服务容器体系结构的形式化描述。此描述主要关注web服务容器在处理web服务请求时的内部行为。首先，我们提出了一个正式的定制XML模型，该模型为执行web服务规范和数据转换提供了统一的数据结构。然后，我们使用基于WSDL Z符号的WebService模式，在web服务容器中给出web服务的正式定义。此外，我们正式描述了内部行为，如服务标识、操作标识、类型映射和适应。通过使用形式化方法，使web服务容器体系结构的语义保持一致和可分析。由于对web服务规范的动态行为及其相互关系进行建模的关键主要在于WebService中对该规范的正式定义，因此该正式描述可以通过使用Z符号提供的证明，为通过WSDL分析web服务规范及其组合的正确性和一致性提供初始步骤。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2009 Fourth International Conference on Internet and Web Applications and Services

自引率

0.00%

发文量