Engineering Foundations of Web Services: Theories and Tool Support

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

• 批准号: EP/E065708/1
• 负责人: Simon Gay
• 金额: $ 35.02万
• 依托单位: University of Glasgow
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2007
• 资助国家: 英国
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FE065708%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服务为各种应用程序的命名、通信和数据表示提供了强大的通用基础设施。对于软件开发，web服务代表了应用程序开发主流中软件开发风格的基本转变，这导致了许多必须解决的工程挑战，以便为交付安全、可靠和健壮的系统建立可靠的编程方法。该项目将建立在基于通信的系统的既定理论之上，并将其转移到web服务领域，以便为软件开发技术和工具提供基础，以支持这种新风格的成功编程。

项目成果

Automata, Languages and Programming

自动机、语言和编程

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

Modular session types for objects

对象的模块化会话类型

• DOI: 10.2168/lmcs-11(4:12)2015
• 发表时间: 2015
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Gay S

Modular session types for distributed object-oriented programming

用于分布式面向对象编程的模块化会话类型

• DOI: 10.1145/1706299.1706335
• 发表时间: 2010
• 作者: Gay S

Type inference and strong static type checking for Promela

Promela 的类型推断和强静态类型检查

• DOI: 10.1016/j.scico.2010.05.010
• 发表时间: 2010
• 期刊: Science of Computer Programming
• 影响因子: 1.3
• 作者: Donaldson A

A Theory of Contracts for Web Services

• DOI: 10.1145/1538917.1538920
• 发表时间: 2009-06-01
• 期刊: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
• 影响因子: 1.3
• 作者: Castagna, Giuseppe;Gesbert, Nils;Padovani, Luca
• 通讯作者: Padovani, Luca