Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Application (re)engineering: building Web-based applications and dealing with legacies
Application (re)engineering: building Web-based applications and dealing with legacies
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI
IEEE Internet Computing
Designing wrapper components for e-services in integrating heterogeneous systems
The VLDB Journal — The International Journal on Very Large Data Bases
Extending WSDL to Facilitate Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Cooperative middleware specialization for service oriented architectures
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Generating test cases for web services using data perturbation
ACM SIGSOFT Software Engineering Notes
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Data flow testing of service choreography
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
Testing of heuristic methods: a case study of greedy algorithm
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Hi-index | 0.00 |
Web services have been increasingly used to integrate and build business applications over the Internet in the recent years. Once a Web service is published and deployed, other applications can discover and invoke it. A component Web service usually provides clients with single and simple functionality, but complex Web-based applications and business communities often involve different kinds and numbers of Web services to achieve their objectives. This puts forward to a challenge: how to automatically compose component Web services to form a new composite Web service? In this paper we study the issue of composing Web services with combination of Ontology, Web services and agent technology. We present a goal-driven and ontology-based architecture in which (1) user's goal is decomposed to subgoals; (2) the information in the goal and Web services are annotated with domain specific ontology; (3) AI technology and theory of reasoning about action are used to compose Web services. We also present a composing algorithm to show an application