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

XPS：完整：FP：协作研究：移动云的基于模型、事件驱动的可扩展编程

• 批准号: 1438969
• 负责人: Daniel Jackson
• 金额: $ 33.33万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2018-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1438969&HistoricalAwards=false
• 关键词: XPS; FULL; FP; Collaborative; Research

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.

职务名称：光电子能谱：满：FP：合作研究：移动的云基于模型的事件驱动可扩展编程在由云服务器和存储支持的移动的设备上运行的应用程序（移动的云应用程序）是当前编程技术没有很好支持的重要范例。 尽管云计算技术使得大量计算资源容易获得，但是用于开发应用的当前框架没有提供简单且灵活的方式来将用户级应用代码映射到这些资源。 这个项目的智力价值是开发一种新的方法来构建移动的云应用程序，可以以可伸缩的方式利用云资源，同时大大简化开发工作。 该项目更广泛的意义和重要性在于，它将为软件开发团队提供一种方法来构建和部署分布式移动的应用程序，这些应用程序利用大规模并发性和数据存储，比今天构建简单的Web应用程序所需的工作量更少。根据所提出的方法构建的应用程序有两个不同的级别：用户级别指定的语义用户交互，和架构级别指定的计算资源的分配。 在每一个层次上，行为都可以用一种简单但强大的语言来表达，从而提供模块化。 研究项目包括：（a）开发这些语言;（B）设计从用户到体系结构级别的自动语义保持翻译，允许开发人员独立地调整应用程序语义和调整性能;（c）建立一个工具集，使一系列分析（包括新形式的测试、模型检查和静态分析）比传统测试成本更低、更有效。