Web Service Choreography: Unanimous Handling of Control and Data
    Download PDF
Syed Adeel Ali,Partha Roop,Ian Warren. Web Service Choreography: Unanimous Handling of Control and Data. International Journal of Software and Informatics, 2013,7(2):309~330
Hits: 2222
Download times: 2392
Abstract:To provide an effective service-oriented solution for a given business problem, it is necessary to explore all available options for providing the required functionality while ensuring a flawless data transfer within the composed services. Existing service composition approaches fall short of this ideal, as functional requirements and data mediation are not considered in a unified framework. We propose a service composition framework that addresses both of these aspects by integrating existing techniques in formal methods, service oriented computing and data mediation. Our framework guarantees the correct interaction of services in a composition by verifying certain behavioral constraints, and resolving data mismatches at semantic, syntactic and structural levels, in a unified manner. A tableau based algorithm is used to generate and explore compositions in a goal-directed fashion that proves or disproves the existence of a service choreographer. Data models, to detect and resolve data mismatches, are generated using WSDL documents and regular expressions. We also apply our framework to examples adapted from the existing service composition literature that provide strong testimony that the approach can be effectively applied in practical settings.
keywords:web service composition  choreography  web service control flow  data mismatches in web services
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:3139668
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号