Generating Synchronization Contracts for Web Services

摘要

Component composition and Web-service composition have in common that the usage pattern of a certain Muck-box component or Weh-service needs to he described precisely. Because usually many interactions between the client ami the service provider are required to obtain a certain desired functionality, one would hope to find the specification of permissible interaction sequences with the service provider in service description formalisms, such as the WSDL. This paper shows an approach to automaticallygenerate such interaction specifications for service descriptions from the XMI representation of UML sequence diagrams. It uses an algebraic representation based on path expressions, which are incorporated into the WSDL. The paper further argues for their value at design and runtime.