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

交互式且可验证的 Web 服务组合以满足最终用户目标

• 批准号: 0702758
• 负责人: Samik Basu
• 金额: --
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-07-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702758&HistoricalAwards=false
• 关键词: Interactive; Verifiable; Composition; Web; Services

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.

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