Collaborative Research: Robust Interactive Web Services

0305949/0306269 Matthias Felleisen（东北大学）Shriram Krishnamurthi（布朗大学）在过去的几年中，Web已经从静态媒体演变为动态媒体。现在许多网站都与消费者进行互动对话。不幸的是，用于构建交互式Web服务的现有技术本身就存在缺陷。因此，许多Web程序无法运行，无法跟上用户在Web浏览器中的操作。调查者建议调查Web服务的基础。具体来说，他们将开发网络交互模型；他们将使用这些模型来研究交互式web程序中的常见错误；他们打算开发针对此类错误的保护机制。提案人还打算将他们的理论设计转化为工作原型。他们打算使用现有的服务器和Web编程基础设施来实现类型系统和运行时检查，以支持CGI脚本（“Perl”）和servlet编程（“Java”）。他们将把一些现有的Web应用程序（包括会议管理、研讨会注册）移植到这个新的软件基础设施上，从而测试他们的工作的实际有效性。因此，他们期望提高日益重要的通讯和商业媒介的质量。

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.