US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects

美法合作研究 (INRIA)：基于 XML 的 Web 服务静态分析和计算方面

• 批准号: 0334764
• 负责人: Victor Vianu
• 金额: $ 3.6万
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-12-15 至 2006-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0334764&HistoricalAwards=false
• 关键词: US; France; Cooperative; Research; INRIA

0334764VianuThis three-year award supports cooperative research between the database group led by Victor Vianu at the Department of Computer Science and Engineering of the University of California, San Diego and the GEMO database group, led by Serge Abiteboul, at INRIA (French National Institute for Research in Informatics and Automation). They propose to collaborate on issues related to XML (Extended Markup Language) technology, the standard for data exchange on the Worldwide Web.Increased interaction of databases, XML and Web services raises new challenges in database research. One central issue, addressed in this project, is the development of static analysis techniques to increase confidence in the robustness and correctness of complex Web services, and to enhance function and efficiency. The objective of this project is to cooperate with the French group on new static analysis and algorithmic techniques for XML-based Web services. They will apply these techniques to various Web services and investigate aspects related to repositories with incomplete information about XML documents, and query processing on streaming XML documents. The French GEMO team is recognized for pioneering work in the area of semi-structured data and XML. Their work resulted in the formation of Xyleme, a European spin-off, start-up company, focusing on XML technology. Their expertise complements the U.S. team's theoretical research. Their joint efforts will further understanding of XML technology and its application in web-based services and database development.

这个为期三年的奖项支持加州大学圣地亚哥分校计算机科学与工程系的维克托·维亚努领导的数据库小组和INRIA(法国国家信息学和自动化研究所)的Serge Abitebul领导的GEMO数据库小组之间的合作研究。他们建议就与万维网上数据交换的标准XML(扩展标记语言)技术相关的问题进行合作。数据库、XML和Web服务之间的交互增加给数据库研究带来了新的挑战。本项目解决的一个中心问题是开发静态分析技术，以增加对复杂Web服务的健壮性和正确性的信心，并增强功能和效率。该项目的目标是与法国团队合作，为基于XML的Web服务提供新的静态分析和算法技术。他们将把这些技术应用于各种Web服务，并研究与具有关于XML文档的不完整信息的存储库相关的方面，以及对流XML文档的查询处理。法国GEMO团队因在半结构化数据和XML领域的开创性工作而受到认可。他们的工作导致了Xyleme的成立，这是一家从欧洲剥离出来的初创公司，专注于XML技术。他们的专业知识补充了美国团队的理论研究。他们的共同努力将加深对XML技术及其在基于Web的服务和数据库开发中的应用的了解。