: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
Anushree Khandekar, P. Radha Krishna, Kamalakar Ka...
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...