一种基于CATIA Magic的形式化系统建模方法
申请人信息
- 申请人:上海安托信息技术有限公司
- 申请人地址:200434 上海市虹口区沽源路110弄15号(集中登记地)
- 发明人: 上海安托信息技术有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种基于CATIA Magic的形式化系统建模方法 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311477510.3 |
| 申请日 | 2023/11/8 |
| 公告号 | CN117473871A |
| 公开日 | 2024/1/30 |
| IPC主分类号 | G06F30/27 |
| 权利人 | 上海安托信息技术有限公司 |
| 发明人 | 程凌云; 占国熊; 马金贵; 耿涛; 吴少雷; 李恬茹; 张会欣; 王禹波; 王双佳 |
| 地址 | 上海市虹口区沽源路110弄15号(集中登记地) |
摘要文本
上海安托信息技术有限公司获取“一种透气窗帘布”专利技术，本发明涉及一种基于CATIA Magic的形式化系统建模方法，属于形式化系统建模技术领域。本发明通过获取系统需求信息，根据系统需求信息通过BiLSTM‑BERT‑CRF模型处理得到候选术语和需求类别，根据候选术语和需求类别得到需求视图，根据状态机图和序列图建立行为模型，根据需求视图通过SysML工具得到能力模型，根据用例模型和能力模型对系统功能进行建模分析，通过结构模型、功能模型和行为模型对系统架构进行分析，通过冗余检查模型处理能力模型得到最终能力模型，根据最终能力模型生成虚拟仿真系统，将预设运行参数输入所述虚拟仿真系统进行仿真验证，得到仿真验证结果，根据仿真验证结果确定系统设计方案，提高了系统建模的效率和准确性，实现了用户对系统全生命周期管理。
专利主权项内容
1.一种基于CATIA Magic的形式化系统建模方法，其特征在于，包括如下步骤：S1：获取系统需求信息，所述系统需求信息为自定义格式的文本描述；S2：根据所述系统需求信息通过BiLSTM-BERT-CRF模型处理得到候选术语和需求类别，根据所述候选术语和所述需求类别分别通过CATIA Magic建模工具得到需求视图；S3：获取状态机图和序列图，根据所述状态机图和所述序列图建立行为模型，根据所述需求视图通过SysML工具得到能力模型，根据所述需求视图建立用例模型，根据所述用例模型和所述能力模型共同对系统功能进行建模分析，所述能力模型包括结构模型、功能模型、非功能属性模型；S4：通过所述结构模型、所述功能模型和所述行为模型对系统架构进行分析；S5：构建冗余检查模型，通过冗余检查模型处理所述能力模型得到最终能力模型，根据所述最终能力模型生成虚拟仿真系统，将预设运行参数输入所述虚拟仿真系统进行仿真验证，得到仿真验证结果；S6：根据所述仿真验证结果生成参数调整方案，根据所述参数调整方案进行调整并返回验证通过信息，根据所述验证通过信息确定系统设计方案。