DocumentCode
1916593
Title
Algebraic Specification of Web Services
Author
Zhu, Hong ; Yu, Bo
Author_Institution
Dept. of Comput. & Electron., Oxford Brookes Univ., Oxford, UK
fYear
2010
fDate
14-15 July 2010
Firstpage
457
Lastpage
464
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.
Keywords
Web services; algebraic specification; programming language semantics; specification languages; WSDL transform; Web service; algebraic specification language; formal specification; Algebra; Context; Equations; Semantics; Software; Syntactics; Web services; Algebraic specification; Formal methods; Specification language; WSDL; Web Services;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software (QSIC), 2010 10th International Conference on
Conference_Location
Zhangjiajie
ISSN
1550-6002
Print_ISBN
978-1-4244-8078-4
Electronic_ISBN
1550-6002
Type
conf
DOI
10.1109/QSIC.2010.47
Filename
5563001
Link To Document