Structured Wide-Area Programming

结构化广域编程

• 批准号: 0811536
• 负责人: Jayadev Misra
• 金额: $ 51.4万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-06-15 至 2012-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0811536&HistoricalAwards=false
• 关键词: 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.

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