A symbolic method for the web service composition problem
A symbolic method for the web service composition problem
The behavioral composition of services entails the computation of the asynchronous product of automata. The resulting product is tested for bisimulation equivalence with the requested service. This equivalence testing becomes infeasible when the number of services is large. In this paper we propose a symbolic method, based on OBDD, to make the computation feasible. The efficiency of our solution stems from the fact that, in addition to the inherent efficiency of the OBDD method, the OBDD of the product need not be stored in memory but is computed as a disjunction of the individual terms.
Binary Decision Diagrams, Web Services
182-185
Farhat, Hikmat
4b7583f4-d03c-425e-a65a-82c0e157e7e6
Feuillade, Guillaume
ae3cc34f-6878-4d69-b692-23d796cfcc81
12 December 2012
Farhat, Hikmat
4b7583f4-d03c-425e-a65a-82c0e157e7e6
Feuillade, Guillaume
ae3cc34f-6878-4d69-b692-23d796cfcc81
Farhat, Hikmat and Feuillade, Guillaume
(2012)
A symbolic method for the web service composition problem.
In 2012 2nd International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2012.
.
(doi:10.1109/ICTEA.2012.6462862).
Record type:
Conference or Workshop Item
(Paper)
Abstract
The behavioral composition of services entails the computation of the asynchronous product of automata. The resulting product is tested for bisimulation equivalence with the requested service. This equivalence testing becomes infeasible when the number of services is large. In this paper we propose a symbolic method, based on OBDD, to make the computation feasible. The efficiency of our solution stems from the fact that, in addition to the inherent efficiency of the OBDD method, the OBDD of the product need not be stored in memory but is computed as a disjunction of the individual terms.
This record has no associated files available for download.
More information
Published date: 12 December 2012
Venue - Dates:
2012 2nd International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2012, , Beirut, Lebanon, 2012-12-12 - 2012-12-15
Keywords:
Binary Decision Diagrams, Web Services
Identifiers
Local EPrints ID: 492304
URI: http://eprints.soton.ac.uk/id/eprint/492304
PURE UUID: 279da714-8d76-494b-b511-088b7d4f1ae0
Catalogue record
Date deposited: 23 Jul 2024 17:12
Last modified: 24 Jul 2024 02:06
Export record
Altmetrics
Contributors
Author:
Hikmat Farhat
Author:
Guillaume Feuillade
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics