项目名称: 基于模型驱动的并发建模语言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

成为VIP会员查看完整内容
1

相关内容

强化学习可解释性基础问题探索和方法综述
专知会员服务
85+阅读 · 2022年1月16日
【博士论文】分形计算系统
专知会员服务
32+阅读 · 2021年12月9日
专知会员服务
18+阅读 · 2021年6月29日
专知会员服务
29+阅读 · 2021年5月8日
专知会员服务
30+阅读 · 2021年3月7日
专知会员服务
28+阅读 · 2020年12月21日
【博士论文】解耦合的类脑计算系统栈设计
专知会员服务
29+阅读 · 2020年12月14日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
62+阅读 · 2020年6月24日
基于机器学习的自动化网络流量分析
CCF计算机安全专委会
4+阅读 · 2022年4月8日
“C不再是一种编程语言”
InfoQ
0+阅读 · 2022年3月28日
肖新光建议:加速推进软件安全工程相关工作
CCF计算机安全专委会
0+阅读 · 2022年3月7日
无服务器系统的设计模式
InfoQ
1+阅读 · 2022年3月2日
重拾面向对象软件设计
阿里技术
0+阅读 · 2021年11月23日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
14+阅读 · 2021年5月8日
【数字孪生】数字孪生技术从概念到应用
产业智能官
85+阅读 · 2020年2月16日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
Arxiv
0+阅读 · 2022年4月15日
Directional Graph Networks
Arxiv
27+阅读 · 2020年12月10日
Arxiv
19+阅读 · 2018年6月27日
Arxiv
14+阅读 · 2018年5月15日
Arxiv
11+阅读 · 2018年4月25日
Arxiv
10+阅读 · 2018年2月17日
小贴士
相关VIP内容
强化学习可解释性基础问题探索和方法综述
专知会员服务
85+阅读 · 2022年1月16日
【博士论文】分形计算系统
专知会员服务
32+阅读 · 2021年12月9日
专知会员服务
18+阅读 · 2021年6月29日
专知会员服务
29+阅读 · 2021年5月8日
专知会员服务
30+阅读 · 2021年3月7日
专知会员服务
28+阅读 · 2020年12月21日
【博士论文】解耦合的类脑计算系统栈设计
专知会员服务
29+阅读 · 2020年12月14日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
62+阅读 · 2020年6月24日
相关资讯
基于机器学习的自动化网络流量分析
CCF计算机安全专委会
4+阅读 · 2022年4月8日
“C不再是一种编程语言”
InfoQ
0+阅读 · 2022年3月28日
肖新光建议:加速推进软件安全工程相关工作
CCF计算机安全专委会
0+阅读 · 2022年3月7日
无服务器系统的设计模式
InfoQ
1+阅读 · 2022年3月2日
重拾面向对象软件设计
阿里技术
0+阅读 · 2021年11月23日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
14+阅读 · 2021年5月8日
【数字孪生】数字孪生技术从概念到应用
产业智能官
85+阅读 · 2020年2月16日
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
相关论文
Arxiv
0+阅读 · 2022年4月15日
Directional Graph Networks
Arxiv
27+阅读 · 2020年12月10日
Arxiv
19+阅读 · 2018年6月27日
Arxiv
14+阅读 · 2018年5月15日
Arxiv
11+阅读 · 2018年4月25日
Arxiv
10+阅读 · 2018年2月17日
微信扫码咨询专知VIP会员