Formal Specification of Web Services Composition Based on XYZ/ADL
Guangquan Zhang · Suzhou Daxue xuebao. Faxue ban · 2007
The technology of composing the existing Web services is to fast explore the complex Web Services.In this paper,several familiar service composition methods are described and compared by the four key requirementconnectivity,nonfunctional quality-of-service properties,correctness and scalability.A formal specification method of Web service composition based on software architecture description language XYZ/ADL is introduced.XYZ/ADL defines the components describing Web services,connectors describing the interaction between components and configurations setting up the relations between instances of components and connectors,and finally describes the usability of this Web services composition method combined with an example.