Engineering Foundations of Web Services: Theories and Tool Support

近年来，出现了一种新的分布式软件应用程序开发风格，例如电子商务网站。这种风格被称为Web服务，其特征在于机器可读网站或Web服务以与传统网站向人类用户提供信息相同的方式向软件应用程序提供信息的概念。因此，Web服务为分布式应用程序的开发提供了基础设施，这些应用程序能够将来自不同位置的信息和计算资源集成到提供给最终用户的单个服务中。在基础设施级别，Web服务为各种应用程序的命名、通信和数据表示提供了强大的通用基础设施。对于软件开发，Web服务代表了应用程序开发主流中软件开发风格的根本转变，这导致了一些必须解决的工程挑战，以便建立可靠的编程方法，以交付安全，可靠和强大的系统。这个项目将建立在已建立的基于通信的系统的理论，并将它们转移到Web服务的竞技场，以提供一个软件开发技术和工具的基础，以支持这种新风格的成功编程。

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.