XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud

标题：XPS：Full：FP：Collaborative Research：适用于移动云的基于模型、事件驱动的可伸缩编程在由云服务器和存储(移动云应用)支持的移动设备上运行的应用程序是当前编程技术不能很好支持的重要范例。虽然云计算技术使大量计算资源变得容易获得，但当前用于开发应用程序的框架没有提供简单而灵活的方式来将用户级应用程序代码映射到这些资源。该项目的智力优势是开发了一种构建移动云应用的新方法，该方法可以以可扩展的方式利用云资源，同时极大地简化开发工作。该项目更广泛的意义和重要性在于，它将为软件开发团队提供一种方法来构建和部署分布式移动应用程序，这些应用程序利用大规模并发和数据存储，而不是现在构建简单的Web应用程序所需的更少的工作。按照建议的方法构建的应用程序有两个不同的级别：指定用户交互语义的用户级别和指定计算资源分配的体系结构级别。在每个级别，行为都可以用一种简单但功能强大的语言来表达，从而提供了模块化。研究项目涉及：(A)开发这些语言；(B)设计从用户到体系结构级别的自动语义保留转换，允许开发人员独立调整应用程序语义和调优性能；(C)构建一个工具集，支持一系列分析(包括新形式的测试、模型检查和静态分析)，这些分析比传统测试成本更低、效率更高。

Title: XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile CloudApplications running on mobile devices backed by cloud servers and storage (mobile cloud apps) are an important paradigm that is not well supported by current programming technology. Although cloud computing technology makes massive computational resources readily available, current frameworks for developing applications provide no simple and flexible way to map user-level application code to these resources. The intellectual merits of this project are to develop a new methodology for building mobile cloud applications that can leverage cloud resources in a scalable way while dramatically simplifying the development effort. The project's broader significance and importance are that it will provide a method for software development teams to build and deploy distributed mobile applications that exploit massive concurrency and data storage with less effort than is required to build simple web applications today. Applications built following the proposed methodology have two distinct levels: a user level specifying the semantics of user interaction, and an architecture level specifying the allocation of computational resources. At each level, behavior can be expressed in a simple but powerful language thus providing modularity. The research project involves: (a) developing these languages; (b) devising automatic semantics-preserving translation from the user to the architecture level that allows the developer to adjust the application semantics and tune performance independently; (c) building a toolset that enables a range of analyses (including new forms of testing, model checking, and static analysis) that are less costly and more effective than traditional testing.