US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects
US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects
批准号:
0334764
负责人:
Victor Vianu
金额:
$3.6万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-12-15 至 2006-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
III: Small: Views of Data-Driven Business Processes: Foundations and Applications
-
批准号:1815247
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Victor Vianu
-
依托单位:
III: Small: Specification and Analysis of Multi-Actor Data-Driven Business Processes
-
批准号:1422375
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Victor Vianu
-
依托单位:
III: Small: Data-Centric Business Processes: Specification and Static Analysis
-
批准号:0916515
-
项目类别:Continuing Grant
-
资助金额:$49.8万
-
财政年份:2009
-
负责人:Victor Vianu
-
依托单位:
III-COR: Collaborative Research: Graceful Evolution and Historical Queries in Information Systems-- a Unified Approach
-
批准号:0705589
-
项目类别:Standard Grant
-
资助金额:$38.66万
-
财政年份:2007
-
负责人:Victor Vianu
-
依托单位:
IRES: International Research Experiences for U.S. Students at INRIA
-
批准号:0553462
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2006
-
负责人:Victor Vianu
-
依托单位:
Specification and Verification of Data-driven Web Services
-
批准号:0415257
-
项目类别:Standard Grant
-
资助金额:$41.0万
-
财政年份:2005
-
负责人:Victor Vianu
-
依托单位:
Querying and Updating Advanced Database Systems: Languages and Computational Aspects
-
批准号:9802288
-
项目类别:Standard Grant
-
资助金额:$24.51万
-
财政年份:1998
-
负责人:Victor Vianu
-
依托单位:
Database Queries and Updates: Languages and Computational Aspects
-
批准号:9221268
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Victor Vianu
-
依托单位:
Dynamic Aspects of Databases (Information Science)
-
批准号:8511538
-
项目类别:Standard Grant
-
资助金额:$10.03万
-
财政年份:1985
-
负责人:Victor Vianu
-
依托单位:
海外基金