Structured Wide-Area Programming

今天的互联网提供了与网站相关的广泛服务；例如，获取股票报价、预订航空公司、压缩文件或颠倒矩阵。每项服务都可以比作计算机中的基本操作，即互联网计算机。应用程序是在基本服务上编写的程序，即服务的编排。该研究旨在设计、实现和研究一种合适的编排模型，使我们能够简洁地开发广域应用程序。正如结构化编程为程序员提供了有效的工具来组织顺序程序的控制流一样，本研究引入了组织广域网上运行的程序中的通信、同步和协调的机制。其目标是开发一种健壮的结构化广域编程模型，该模型具有编排服务并发调用以实现目标的构造--同时管理超时、优先级以及站点或通信的故障。具体的研究目标包括增强模型以支持事务和可扩展的数据格式，评估我们的模型在编码和验证大型应用程序方面的有效性，为互联网进程代数开发理论基础，以及设计与现有语言集成的分布式平台上的实现。

The internet today provides a wide range of services associated with web sites; examples include getting a stock quote, making an airline reservation, compressing a file or inverting a matrix. Each service may be likened to a basic operation in a computer, the internet computer. An application is a program written over the basic services, i.e., an orchestration of the services. This research is directed toward designing, implementing and studying an appropriate model of orchestration that would allow us to develop wide-area applications succinctly.Just as structured programming gave programmers effective tools to organize the control flow of sequential programs, this research introduces mechanisms to organize the communication, synchronization and coordination in programs that run on wide-area networks. The objective is to develop a robust model of structured wide-area programming, which has constructs to orchestrate the concurrent invocation of services to achieve a goal -- while managing time-outs, priorities, and failure of sites or communication. Specific research goals include enhancing the model to support transactions and extensible data formats, evaluating our model's effectiveness in coding and verifying sizable applications, developing the theoretical foundations for a process algebra for the internet, and designing implementations on distributed platforms with integration to existing languages.