Algebraic Specification of Web Services

2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI:10.1109/QSIC.2010.47

Hong Zhu, Bo Yu

引用次数: 9

Abstract

This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.

查看原文本刊更多论文

Web服务的代数规范

本文提出了一种用于web服务语义形式化规范的代数规范语言。提出了一组将WSDL转换为代数结构的规则。通过实例验证了该方法的实用性。

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

求助全文

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

来源期刊

2010 10th International Conference on Quality Software

自引率

0.00%

发文量