高可靠软件建模语言及模型自动转换方法研究

模型驱动的开发(MDD)可以大幅度提高软件开发的效率，简化软件验证的过程，提高软件的可靠性。软件建模语言和模型自动转换方法则是实现MDD开发最具挑战性的关键问题。本项目基于申请人在多项国家级课题连续资助下，研究成功的泛型算法设计语言Radl和泛型抽象顺序设计语言Apla，以及从Radl模型到Apla模型，再到C++、Java等可执行语言程序自动转换平台(PAR平台），进一步研究并提出高抽象度并发分布式计算和面向服务计算的语言机制，使之和已有Radl和Apla语言融合，构成简单通用高可靠软件建模语言，并在实际软件开发中获得应用；进而研究提出该建模语言主要语言成份语法和语义形式化描述的方法; 着重研究并发分布式软件模型和面向服务计算软件模型自动转换的方法，构建相关模型自动转换的实验系统，并构建基于范畴论的模型自动变换正确性架构。沿着我们特有的技术路线，使我国这方面的研究进入世界先进行列。

Model Driven Development (MDD) can greatly improve the efficiency of software development, to simplify the process of software verification, and enhance the software reliability. Software modeling Language and method of automatic model transformation are challenging key technologies to implement MDD development. Based on some original research achievement - - generic algorithm language Radl, generic abstract sequential language Apla, automatic transformed platform (PAR platform), continuously supported by several national projects, the applicant will do further research and propose the language mechanism of high abstract concurrent and distributed computing and service-oriented computing, which will be integrated to the existing Radl language and Apla language, and constitute a simple and general high reliable software modeling language, then propose the syntax and semantics of the modeling language. The main research include the method of automatic transformation about concurrent and distributed software model and service-oriented computing, constructing the experimental system supporting automatic model transformation, building the correct framework of automatic model transformation based on category theory. The aim is that research achievement will be advanced in the world.