Introduction to the Theory of Computation
Introduction to the Theory of Computation
IEEE Internet Computing
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
A model for web services discovery with QoS
ACM SIGecom Exchanges
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Automatic Measurement of a QoS Metric for Web Service Recommendation
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Toward an Agent-Based and Context-Oriented Approach for Web Services Composition
IEEE Transactions on Knowledge and Data Engineering
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Reliability Prediction for Service-Oriented Computing Environments
IEEE Internet Computing
Towards Agent-Based Coalition Formation for Service Composition
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Syndicating Web Services: A QoS and user-driven approach
Decision Support Systems
Efficient algorithms for Web services selection with end-to-end QoS constraints
ACM Transactions on the Web (TWEB)
A QoS View ofWeb Service Choreography
ICEBE '07 Proceedings of the IEEE International Conference on e-Business Engineering
An Empirical Approach for Semantic Web Services Discovery
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Optimum Decentralized Choreography for Web Services Composition
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Dynamic Web Service Selection for Reliable Web Service Composition
IEEE Transactions on Services Computing
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Timed Model Checking Based Approach for Web Services Analysis
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
The SCIFC Model for Information Flow Control in Web Service Composition
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Web Services Selection in Support of Reliable Web Service Choreography
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Real-Time Service-Oriented Distributed Governance
SERVICES '10 Proceedings of the 2010 6th World Congress on Services
A Distributed Algorithm for Web Service Composition Based on Service Agent Model
IEEE Transactions on Parallel and Distributed Systems
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
An approach to integrated semantic service discovery
AN'06 Proceedings of the First IFIP TC6 international conference on Autonomic Networking
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Verifying Web services in a choreography environment
SOCA '11 Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications
Hi-index | 0.00 |
Previous research into Web service selection mainly uses an orchestration model, in which a single entity is responsible for the selection and invocation of various Web services. However in many application scenarios, each Web service independently performs a selection, even though achieving the business's goals demands collective, pairwise interactions across the total set of Web services. This study instead considers the Web service selection problem in a choreographed environment, in which each Web service maintains its confidentiality about its collaborators and exchanges only limited amounts of information with its partners. The goal is to maximize the likelihood of completing the entire choreography in a failure-prone environment. Several experiments show that the proposed method performs similarly to a centralized method and better than three distributed Web service selection methods that involve various degrees of information about other services.