Collaborative Research: Robust Interactive Web Services

0305949/0306269 Matthias Felleisen(东北大学)Shriram Krishnamurthi(布朗大学)在过去的几年里，网络已经从静态的媒介演变成了动态的媒介。许多网站现在都进入了与消费者的互动对话。不幸的是，现有的构建交互式Web服务的技术存在固有的缺陷。其结果是，许多Web程序被破坏，无法跟上消费者在Web浏览器中的行为。研究人员建议调查Web服务的基础。具体地说，他们将开发Web上的交互模型；他们将使用这些模型来研究交互式Web程序中的常见错误；他们打算开发针对此类错误的保护机制。提出者还打算将他们的理论设计转化为工作原型。他们打算使用现有的服务器和Web编程基础设施来实现类型系统和CGI脚本(`a la Perl)和Servlet编程(``a la Java)的运行时检查。他们将把一些现有的网络应用程序(包括会议管理、研讨会登记)移植到这个新的软件基础设施，从而检验他们努力的实际有效性。因此，他们希望提高日益重要的通信和商业媒介的质量。

0305949/0306269 Matthias Felleisen (Northeastern University)Shriram Krishnamurthi (Brown University)Over the past few years, the Web has evolved from a static medium into a dynamic one. Many Web sites now enter into interactive dialogs with consumers. Unfortunately, the existing technology for buildinginteractive Web services is inherently flawed. As a result, many Web programs are broken and cannot keep up with consumers' actions in Web browsers. The investigators propose to investigate the foundations of Web services. Specifically, they will develop models of interactions on the Web; they will use the models to study common errors in interactive Webprograms; and they intend to develop protection mechanisms against such errors. The proposers also intend to translate their theoretical designs into working prototypes. They intend to use their existing server and Web programming infrastructure to implement type systems and run-time checksfor CGI scripting (`a la Perl) and servlet programming (`a la Java). They will port some existing Web applications (including conference management, workshop registration) to this new software infrastructure and will thus test the practical validity of their efforts. Consequently, they expect to improve the quality of an increasingly critical medium of communication and commerce.