Algebraic Specification of Web Services
Hong Mei Zhu, Bo Yu · 2010
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.