分布式移动应用软件建模及模型转换技术

与传统应用软件相比，分布式移动应用软件的功能通常具有多样性和协同性，其开发环境和运行其智能移动设备都具有多样性，且其功能、开发环境、智能移动设备等还具有快速演化性。分布式移动应用软件往往涉及到多样化的本地应用以及云服务和Web服务,且运行时强调人-机-环境的协同性和自适应性。分布式移动应用软件及其开发和运行环境的上述特点为构造分布式移动应用软件带来了新的科学问题。本项目拟紧密结合相关学科新发展，从理论和实践上，以构造分布式移动应用软件为研究对象，研究对其进行建模及模型转换技术。其中：明确分布式移动应用软件建模概念体系并研究出可扩展的建模语言，为其建模提供理论和技术基础；针对分布式移动应用软件的自适应性和协同性等特点，基于该建模语言阐明构造该类软件的建模规律，形成综合建模技术；揭示基于模型驱动方法构造分布式移动应用软件的规律，研究出一组关键技术，以促进分布式移动应用软件的开发与运维自动化。

Compared with the traditional applications, the functions of distributed mobile applications usually have diversity and distributivity,both the development environments for the applications and the smart mobile devices for running the applications have diversity, and such as the functions, development environments, and smart mobile devices all have rapid evolutionary. Moreover, distributed mobile applications usually are closely related to diversified the native applications running on smart mobile devices, cloud services, and Web services, and focus on cooperativity and adaptivity at run time. The characteristics of distributed mobile applications and the developing and running environments for the applications bring new scientific problems for building distributed moble applications. To take building distributed mobile applications as the research object, in this grant proposal we plan to study the modeling and model transformation technologies from the aspects of theory and practice, closely together with new development of related disciplines. To be more specific, (1) we are going to put forward a modeling concept system and further study an extended modeling language in order to provide a theory and technology foundation for modeling distributed mobile applications; (2) for the characteristics of distributed mobile applications such as adaptivity and cooperativity, we are going to clarify modeling rules for building distributed mobile applications based on the modeling language, and further put forward a comprehensive modeling technology; and (3) we are going to reveal the rules for building distributed mobile applications based on model-driven development method and further study a set of key technologies to promote the automation of developing, operating, and maintaining distributed mobile applications.