Engineering Foundations of Web Services: Theories and Tool Support

近年来，出现了一种新的分布式软件应用程序开发风格，如电子商务网站。这种风格被称为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.