公开(公告)号：CN118151918B

公开(公告)日：2024-08-09

申请号：CN202410567268.7

申请日：2024-05-09

Applicant: 成都信息工程大学

Inventor： 蒋建民 ,  李朝江 ,  唐国富 ,  洪中 ,  舒红平 ,  赵卓宁

IPC: G06F8/35 ,  G06F8/10

Abstract: 本发明涉及低代码开发平台技术领域，具体提供了基于UML模型的可信低代码开发平台及代码生成方法，包括：用例模型，用于捕获系统和系统参与者的需求；领域概念模型，用于系统数据实例化以及生成数据模型；表示模型，用于构建UI界面原型以及UI界面上相关业务功能的接口定义；业务流程模型，配置有交互模型，将系统角色和表示模型以泳道进行划分，并展示复杂业务流程以及系统角色与表示模型的交互；交互模型，UML顺序图的扩展，用于实现具体业务交互流程；形式化模型，用于自动生成代码及形式化推理并验证各模型间及模型与代码间的一致性。本发明将形式化方法和模型驱动工程的思想引入低代码开发平台，满足高可信软件的要求。

公开(公告)号：CN118151918A

公开(公告)日：2024-06-07

申请号：CN202410567268.7

申请日：2024-05-09

Applicant: 成都信息工程大学

Inventor： 蒋建民 ,  李朝江 ,  唐国富 ,  洪中 ,  舒红平 ,  赵卓宁

IPC: G06F8/35 ,  G06F8/10

Abstract: 本发明涉及低代码开发平台技术领域，具体提供了基于UML模型的可信低代码开发平台及代码生成方法，包括：用例模型，用于捕获系统和系统参与者的需求；领域概念模型，用于系统数据实例化以及生成数据模型；表示模型，用于构建UI界面原型以及UI界面上相关业务功能的接口定义；业务流程模型，配置有交互模型，将系统角色和表示模型以泳道进行划分，并展示复杂业务流程以及系统角色与表示模型的交互；交互模型，UML顺序图的扩展，用于实现具体业务交互流程；形式化模型，用于自动生成代码及形式化推理并验证各模型间及模型与代码间的一致性。本发明将形式化方法和模型驱动工程的思想引入低代码开发平台，满足高可信软件的要求。