基于形式领域融合的计算模式

计算模式决定着系统构造的方式，从底层的处理器体系结构到高层的软件体系结构，都以计算模式为基础。目前流行的计算模式之所以导致系统构造效率低质量差，根本原因是缺乏形式语义支持，如SOA一类的结构型计算模式及数据流一类的过程性计算模式，只规定了语法和语用。为此，我们研究一种新的系统构造方法- - 格件模式，它同时引入了构件形式语义与构件连接的形式语义，将系统看做由具有确定形式语义的系统构造成分"格、场、格核、场核"通过自相似滚动式的扩展和纵横交错的融合而成.支持多级高度并行、高可信性保障、高阶操作和多重复合控制集中(类IoC)机制以及结构可扩展及框架跨网络等特性,同时也建立了一种基于形式语义逐步求精的系统模块复用机制，可做为新一代软件的开发方法和云计算系统开发方法，也可用于构造一种基于多核融合与扩展的处理器体系和多处理机体系。该项目萌芽于我们多年的相关实践，本次重点是建立相关理论与规范体系

本项目提出了一种新的计算模式--基于形式领域融合的计算模式（简称“格件”）。格件同时引入了构件形式语义与构件连接的形式语义，将系统看做由具有确定形式语义的系统构造成分”格、场、格核、场核”通过自相似滚动式的扩展和纵横交错的融合而成.支持多级高度并行、高可信性保障、高阶操作和多重复合控制集中(类IoC)机制以及结构可扩展及框架跨网络等特性,同时也建立了一种基于形式语义逐步求精的系统模块复用机制。. 格件支持从底层的处理器体系结构到高层的软件体系结构的模式，可做为新一代软件的开发方法和云计算系统开发方法，也可用于构造一种基于多核融合与扩展的处理器体系和多处理机体系。. 目前，格件成果，已发表多篇学术论文，申请了三件发明专利（其中一件已经获得授权），培养博士生4名（其中两名已以此为基本课题毕业），开发了相应的实验系统，并且以此为基础成功应用到流水型数控装备控制系统开发、云计算系统开发和大数据系统开发. 目前，格件研究进一步的理论研究与应用研究。理论研究包括格件的形式化系统的建立及特性的发现与证明；应用研究包括格件的硬件实现（格件CPU)、基于格件的多核调度、格件多处理机以及格件软件开发环境与工具等。