Engineering Foundations of Web Services: Theories and Tool Support

Web 服务的工程基础：理论和工具支持

• 批准号: EP/F003757/1
• 负责人: Nobuko Yoshida
• 金额: $ 40.57万
• 依托单位: Imperial College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2008
• 资助国家: 英国
• 起止时间: 2008 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FF003757%2F1
• 关键词: Engineering; Foundations; Web; Services; Theories

Recent years have seen the emergence of a new style of development of distributed software applications, such as e-commerce web sites. This style is known as web services , and is characterised by the notion that a machine-readable web site , or web service, provides information to a software application in the same way that a conventional web site provides information to a human user. Web services thus provides an infrastructure for the development of distributed applications which are able to integrate information and computational resources from diverse locations into a single service provided to the end-user. At the infrastructural level, web services offer powerful and general universal infrastructure for naming, communication and data representation to diverse kinds of applications. For software development, web services represent a fundamental transformation of software development style in the main stream of application development, and this leads to a number of engineering challenges which must be addressed in order to establish sound programming methodologies for the delivery of safe, secure and robust systems. This project will build on established theories of communication-based systems and transfer them to the arena of web services, in order to provide a foundation for software development techniques and tools to support successful programming in this new style.

近年来，已经看到了分布式软件应用程序（例如电子商务网站）的新开发方式。此样式称为Web服务，其特点是以下概念：机器可读网站或Web服务以与传统网站为人类用户提供信息一样，向软件应用程序提供信息。因此，Web服务为开发分布式应用程序的开发提供了一个基础架构，该应用程序能够将各种位置的信息和计算资源整合到提供给最终用户的单个服务中。在基础设施层面，Web服务为各种应用程序提供了强大而一般的通用基础架构，用于命名，通信和数据表示。对于软件开发，Web服务代表了应用程序开发主要流中软件开发样式的基本转换，这导致了许多工程挑战，必须解决这些挑战，以建立合理的编程方法，以提供安全，安全和强大的系统。该项目将建立在基于通信的系统的既定理论的基础上，并将其转移到Web服务领域，以为软件开发技术和工具提供基础，以支持这种新风格的成功编程。

项目成果

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

基于会话的并行算法编程：表现力和性能

• DOI: 10.4204/eptcs.17.2
• 发表时间: 2010
• 期刊: Electronic Proceedings in Theoretical Computer Science
• 作者: Bejleri A

Formal Methods for Web Services

Web 服务的形式化方法

• DOI: 10.1007/978-3-642-01918-0_5
• 发表时间: 2009
• 作者: Carbone M

Automata, Languages and Programming

自动机、语言和编程

• DOI: 10.1007/978-3-540-70583-3_9
• 发表时间: 2008
• 作者: Berger M

Synchronous Multiparty Session Types

• DOI: 10.1016/j.entcs.2009.06.002
• 发表时间: 2009-07
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Andi Bejleri;N. Yoshida

Structured Communication-Centered Programming for Web Services

• DOI: 10.1145/2220365.2220367
• 发表时间: 2012-06-01
• 期刊: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
• 影响因子: 1.3
• 作者: Carbone, Marco;Honda, Kohei;Yoshida, Nobuko
• 通讯作者: Yoshida, Nobuko