基于模型驱动的并发建模语言Apla+设计及其可靠性研究

项目名称： 基于模型驱动的并发建模语言Apla+设计及其可靠性研究

项目编号： No.61462041

项目类型： 地区科学基金项目

立项/批准年度： 2015

项目学科： 自动化技术、计算机技术

项目作者： 游珍

作者单位： 江西师范大学

项目金额： 47万元

中文摘要： 云计算的推广和应用对并发分布式计算提出了越来越高的需求。学术界与工业界均普遍认为并发计算的理论和技术复杂、多变、难以掌控。寻求便捷可靠并发语言机制的研究正在悄然掀起。本项目试图以申请者所在科研团队自主研发的原创性研究成果--PAR方法/PAR平台的抽象顺序程序设计语言Apla为基础，设计简单、易用和可靠的并发语言机制；并与现有Apla语言融合，使之成为兼顾并发和顺序的通用抽象建模语言Apla+。基于模型驱动开发(MDD)技术，研究将Apla+抽象程序(PIM模型)转换为Java程序(PSM模型)的精化算法，构造Apla+ToJava自动生成系统。最后，利用范畴理论构建整个系统的正确性架构，使用Isabelle定理证明器验证Apla+抽象并发程序的安全性和活性。Apla+语言及其支撑平台将大幅度提高并发软件质量和开发效率，简化并发程序设计的难度，有助于开发人员摆脱传统并发编程的困惑和恐惧。

中文关键词： 模型驱动开发；并发语言机制；并发模型；可靠性；抽象顺序程序设计语言Apla

英文摘要： With rapid development and application of cloud-computing, concurrent and distributed computing become more and more important. However, it is generally accepted in academic and industry domain that the theory and techniques of concurrent and distributed computing are more complicated, variable and difficult to control. Finding a simple and reliable concurrent language mechanism has become a new challenge for software industry. Based on our original research achievement - abstract sequential programming language Apla from PAR method/PAR Platform, the applicant will do intensive research on the following aspects. Firstly, a simple, useful and dependable concurrent mechanism is developed. The Apla+ programming language is proposed with the implementation of this mechanism in Apla programming language. Secondly, using the idea of Model-Driven Development (MDD), an refinement algorithm, converting Apla+ abstract program (Platform-Independent Model) into Java executable program (Platform-Specific Model), will be designed. The tool,called Apla+ToJava Generator, will support the automatic translation from Apla+ program to Java program. Finally, a correct framework of the platform and concurrent mechanism will be proved by using category theory. The saftey and liveness of Apla+ concurrent program will be verified via Isabelle auotmatic prover. In summary, the simple and convenient concurrent language Apla+ and its supporting platform (Apla+ToJava Generator) could greatly promote the development of programming languages, especially simplify concurrent programming and improve the efficiency of concurrent programming.

英文关键词： Model-Driven Development;Concurrent Language Mechanism;Concurrent Model;Reliablity;Abstract Sequential Programming Language Apla