Collaborative Research: Data Management Tools for Web Services

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

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.