Path-based verification for composition of semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
Design and Analysis of the Composed Telecom Services
Service-Oriented Computing - ICSOC 2007 Workshops
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Service research challenges and solutions for the future internet
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
Analysis of realizability conditions for web service choreographies
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |
The data exchanged among the web services participating to a composition are clearly very relevant for a correct behavior of the composition. Nevertheless, most of the approaches existing in the literature for the static verification of web service compositions ignore data, or require very small ranges to be associated to the data types. In this paper, we propose an approach for the verification of web service compositions that takes into account the data flows among the component process. The approach exploits abstraction techniques for modeling those aspects of data that are relevant for the correctness of the composition and hiding the aspects that are irrelevant. We show that building the right abstraction corresponds to defining those assumptions on the data manipulations performed by the component services which are crucial for the correctness of the composition.