Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals

提案编号P0702758TITLE交互式和可验证的Web服务组合以满足最终用户的目标PI Samik Basu、Vasant Honavar、Robyn Lutz Web服务正开始在科学、工程、政府、医疗保健和商业应用中发挥越来越重要的作用。复杂的应用程序需要支持用户从独立开发的组件服务组装组合服务以实现所需功能的工具。这项研究汇集了一组在正式方法、人工智能和软件工程方面具有互补专业知识的调查人员，以开发满足这一需求的服务组合的新方法。这项研究的主要贡献包括针对用户指定的功能和非功能需求，具有可证明保证的强大的交互服务组合方法。研究的一个主要焦点是对组合的功能性和非功能性故障分析的调查，以及基于这种分析的用户引导和自动化的需求重构，处理用户规范和服务描述之间的语义不匹配的技术，以及使用交互而不是完全自动化的方法。该研究的产品包括用于交互式服务组合的软件工具，以及用于评估服务组合替代方法的基准。这项研究的更广泛影响包括增加研究生的研究性培训机会。研究结果，包括出版物、软件和基准，将通过http://www.moscoe.org.的项目网页进行传播

Proposal Number P0702758TITLE Interactive and Verifiable Composition of Web Services to Satisfy End-User GoalsPI Samik Basu, Vasant Honavar, Robyn LutzWeb services are beginning to play an increasingly important role in scientific, engineering, government, health-care, and business applications. Complex applications call for tools that support users to assemble composite services from independently developed component services to achieve the desired functionality. This research brings together a team of investigators with complementary expertise in formal methods, artificial intelligence, and software engineering to develop novel approaches to service composition that address this need. The main contributions of this research include powerful interactive methods for service composition with provable guarantees with respect to user-specified functional and non-functional requirements. A main focus of the research is on investigation of functional and non-functional failure analysis of composition, and user-guided and automated reformulation of requirements based on such analysis, techniques for handling semantic mismatches between user specifications and service descriptions, and the use of interactive as opposed to fully automated methods. Products of the research include software tools for interactive service composition as well as benchmarks for evaluation of alternative approaches to service composition. Broader impact of the research includes enhanced opportunities for research-based training of graduate students. Results of the research including publications, software, and benchmarks will be disseminated through the project web-page at http://www.moscoe.org.