[发明专利]基于EPF的JAVA代码生成工具

说明书

本发明属于软件开发领域，公开了一种基于EPF的JAVA代码生成工具。该JAVA代码生成工具基于事件处理表格、支持并发建模、支持生成并发代码的JAVA代码生成工具，其中包含一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法；本发明在保留软件形式化语义的同时，提供了简洁易懂的建模工具；支持并发建模并生成多线程JAVA代码；可以显式地表示出软件设计缺陷；可以方便地进行形式化验证；包含了多种逻辑判断单元以适应复杂的设计需求；自动生成代码可以提高代码质量、减少工作人员的工作量；模型与代码解耦，降低了软件迭代的成本。

技术领域

本发明属于软件开发领域，涉及一种基于事件处理表格(Event ProcessingForm,EPF)的JAVA代码生成工具。

背景技术

传统软件开发工作通常使用基于文档驱动的开发模式，这种模式依赖于统一建模语言(Unified Modeling Language,UML)的模型及其扩展模型。随着软件规模日益增大、模型复杂度逐渐变高，这种半形式化模型已经无法满足软件的设计开发需求。这是因为虽然UML可以直接用于软件开发，但是模型缺少严格的形式化语义，不能直接进行模型验证。

基于模型驱动的软件开发模式是解决大型软件开发问题的有效手段。模型驱动模式通常使用例如自动机(Automata)、Petri网(Petri Nets)等形式化模型进行建模。他们具有严格的数学规范，可以直接进行形式化验证并自动生成代码，有效地保证了系统模型的可信性。而JAVA作为时下最热门的编程语言，研发一种面向JAVA语言、支持模型驱动模式的开发工具是一项十分有意义的内容。

发明内容

本发明提出了一种基于事件处理表格(Event ProcessingForm,EPF)、支持并发建模、支持生成并发代码的JAVA代码生成工具。其中包含了一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法。

本发明的技术方案：

一种基于EPF的JAVA代码生成工具，该JAVA代码生成工具基于事件处理表格、支持并发建模、支持生成并发代码的JAVA代码生成工具，其中包含一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法；

(一)EPF是一种形式化建模工具，前端为表格或XML文件，后端具有形式化定义；在EPF中，行表示软件中存在的状态，列表示软件中将要发生的事件；行列交叉单元表示在某一状态下，当某一事件发生时，软件需要进行的处理；处理包含两部分内容：一是正常的事务处理；二是软件状态的转移；

(1)EPF的形式化定义，用四元组的形式来定义：

EPF＝(State,Event,Cell,ConcurrentFlag)(1)

其中，

State＝(SubStateList,ActiveAction,inActiveAction,PreAction,PostAction)是系统状态的集合；其中SubStateList表示子状态集合，ActiveAction表示激活行为，inActiveAction表示休眠行为，PreAction表示前置行为，PostAction表示后置行为；

Event＝Event_out∪Event_in是系统外部事件与系统内部事件的集合，外部事件由用户通过请求产生，内部事件是运行中由模型发起的事件，使用函数event(事件名，表格编号)产生；

Cell∈{一般单元,忽略单元,错误单元,子表格}是系统操作的集合；

ConcurrentFlag∈{true,false}是并发状态的标识位；

该定义表示系统在State状态下，当发生了Event事件时，ConcurrentFlag的并发状态下做出Cell内声明的操作；