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

提案编号P0702758标题满足最终用户目标的Web服务的交互式和可验证组合PI 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.