Collaborative Research: Data Management Tools for Web Services

协作研究：Web 服务的数据管理工具

• 批准号: 0415195
• 负责人: Jianwen Su
• 金额: --
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-09-01 至 2009-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0415195&HistoricalAwards=false
• 关键词: Collaborative; Research; Data; Management; Tools

The use of Web services revolutionizes the way that many e-commerce, consumer software, scientific computing, and telecommunications applications are provided. The key to realizing the full potential of the Web services paradigm will be automated discovery, composition, analysis, and monitoring of web services. Achieving this requires advances in many aspects of computer science, including programming languages, data management, workflow, transaction management, distributed computing, knowledge representation and automated reasoning. This project provides key foundations and advances in data and information management needed for success of the Web services paradigm. This project expands on existing work to develop models of the semantic and behavioral characteristics of web services. The automata-based models can specify a "behavioral signature", that represents abstractions of both the "local" behavior of individual Web services and the "global" behavior of Web service compositions. Using semantics, behavior and I/O signatures, the project develops new approaches to automated composition, and studies global properties of compositions, including characterizations of the global behavior and static analysis of how data is passed and manipulated. It also lays the foundations for the query languages and frameworks useful in supporting automated web service discovery and composition in a scalable context. In addition to the study of formal models, the research develops various software tools that will be available via the project's Web site (http://www.cs.ucsb.edu/~su/NSF0415195/). The resulting formalism will improve the quality of deployed web services since properties of their behavior can be verified, and foster web service adoption and reuse since compositions of services could be synthesized and analyzed. This is a collaborative university (Jianwen Su, University of California, Santa Barbara)/industry (Rick Hull, Lucent) research project. This will facilitate transferring the theoretical results to practice and finding realistic applications to test the techniques. The project exposes students and academic researchers to industry needs and industry practitioners to university research through a plan of mutual visits.

Web服务的使用彻底改变了许多电子商务、消费者软件、科学计算和电信应用程序的提供方式。实现Web服务范型全部潜力的关键将是对Web服务的自动发现、组合、分析和监视。实现这一目标需要在计算机科学的许多方面取得进步，包括编程语言、数据管理、工作流、事务管理、分布式计算、知识表示和自动推理。该项目提供了Web服务范例成功所需的数据和信息管理方面的关键基础和进步。该项目扩展了现有的工作，以开发web服务的语义和行为特征模型。基于自动机的模型可以指定一个“行为签名”，它表示单个Web服务的“本地”行为和Web服务组合的“全局”行为的抽象。通过使用语义、行为和I/O签名，该项目开发了自动化组合的新方法，并研究了组合的全局属性，包括全局行为的表征和数据传递和操作方式的静态分析。它还为查询语言和框架奠定了基础，这些语言和框架有助于在可伸缩的上下文中支持自动web服务发现和组合。除了正式模型的研究之外，该研究还开发了各种软件工具，这些工具将通过该项目的网站（http://www.cs.ucsb.edu/~su/NSF0415195/）提供。由此产生的形式化将提高已部署web服务的质量，因为它们的行为属性可以得到验证，并促进web服务的采用和重用，因为服务的组合可以被合成和分析。这是一个大学（苏建文，加州大学圣巴巴拉分校）/行业（里克·赫尔，朗讯）合作的研究项目。这将有助于将理论结果转化为实践，并找到测试技术的实际应用。该项目通过互访计划，让学生和学术研究人员接触到行业需求，让行业从业者接触到大学研究。