Title :
Algebraic Specification of Web Services
Author :
Zhu, Hong ; Yu, Bo
Author_Institution :
Dept. of Comput. & Electron., Oxford Brookes Univ., Oxford, UK
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;
Conference_Titel :
Quality Software (QSIC), 2010 10th International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-1-4244-8078-4
Electronic_ISBN :
1550-6002
DOI :
10.1109/QSIC.2010.47
