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

在由云服务器和存储（移动云应用）支持的移动设备上运行的应用程序是一个重要的范例，但目前的编程技术并没有很好地支持它。尽管云计算技术使大量计算资源随时可用，但目前用于开发应用程序的框架没有提供简单而灵活的方法来将用户级应用程序代码映射到这些资源。这个项目的智力优势在于开发了一种构建移动云应用程序的新方法，这种方法可以以可伸缩的方式利用云资源，同时极大地简化了开发工作。该项目更广泛的意义和重要性在于，它将为软件开发团队提供一种方法来构建和部署分布式移动应用程序，这些应用程序可以利用大量并发性和数据存储，比构建简单的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.