申请/专利权人：南京航空航天大学

申请日：2021-04-20

公开（公告）日：2024-05-17

公开（公告）号：CN113204335B

主分类号：G06F8/30

分类号：G06F8/30;G06F8/65;G06F8/71;G06F16/23

优先权：

专利状态码：有效-授权

法律状态：2024.05.17#授权;2021.08.20#实质审查的生效;2021.08.03#公开

摘要：本发明公开了一种面向协同建模的UML模型合并与一致性检测方法及系统，属于软件工程领域。包括以下步骤：根据协同建模中的一致性约束与合并规则，创建UML模型操作集合与相应的模型元素；采用模型状态空间搜索方法，在搜索下一个状态时增量地生成状态空间，并通过状态转换进行模型版本的更新；根据模型更新与一致性检测方法，对模型与文档的版本进行检测，若模型出现新版本则对模型进行更新，并对模型进行一致性检测；存储更新各个版本的模型与文档。本发明为大型软件的协同研发提供了一种简单易行的模型合并与一致性检测方法，该方法不仅正确率高，而且效率较高，为大型软件的协同研发及代码的自动生成提供了一种有效的方法。

主权项：1.一种面向协同建模的UML模型合并与一致性检测方法，其特征在于，所述方法包括以下步骤：步骤1，根据协同建模中的一致性约束与合并规则，创建UML模型操作集合与相应的模型元素；所述UML模型操作集合表示为以下三元组：Modeloperate＝〈Addelement,type,Deleteelement,type,Modifyelement,feature,v0,vn1式中，Addelement，type表示添加操作，包含两个参数，即添加一个新的模型元素element，类型为type；Deleteelement，type表示删除操作，即删除一个现有的类型为type的模型元素element；Modifyelement，feature，v0vn表示修改操作,包含四个参数，即将模型元素element的特征feature的值从v0修改为vn；以上三个操作的标识符均为模型元素element；步骤2，采用模型状态空间搜索方法，在搜索下一个状态时增量地生成状态空间，并通过状态转换进行模型版本的更新；具体包括：定义新模型：从原模型Modelold演变成新模型Modelnew之间的过程是一个操作序列，记为集合Δ＝{Δ1，Δ2，...，Δn}，由此定义新模型为：Modelnew＝Modelold+Θ2式中，Θ表示两个模型版本操作序列集合Δ之间的差集，差集Θ的反转记作表示与Θ相反的一系列操作序列集合；步骤2-1，基于UML模型操作集合与相应的模型元素定义初步合并模型：给定n个无冲突的操作序列集合{Δ1，Δ2，...，Δn}，用confΔi，Δj表示集合Δi与Δj中有冲突的操作集合，用nonconfΔi，Δj表示集合Δi与Δj中无冲突的操作集合，i,j＝1,2,...,n；设共同的原始模型为Model，经过n个操作序列集合{Δ1，Δ2，...，Δn}生成模型修订版本{Model1，Model2，...，Modeln}，n个模型的初步合并模型Modelin为：Modelin＝Model+Δ′12∪Δ′21∪...∪Δ′1n∪Δ′n13式中，Δ′1n＝nonconfΔ1，Δn，Δ′n1＝nonconfΔn，Δ1，Δ′1n表示集合Δ1与Δn中无冲突的操作集合，Δ′n1表示集合Δn与Δ1中无冲突的操作集合；运算符″+″表示将一系列操作集合应用于原始模型，即使用式1中的三元组Modeloperate对模型进行添加、删除与修改操作；步骤2-2，将初步合并模型Modelin包含的操作序列集合Δstas和可用操作序列集合Δavail该集合表示操作无冲突均初始化为空集即步骤2-3，判断不一致性列表S.incosistencies是否为空集，若否，则执行步骤2-4和步骤2-5，否则跳至步骤2-6；步骤2-4，将S.incosistencies中的第一个冲突的操作序列集合删除，记为S.inconsistency：＝S.inconsistencies.removeFirst，并对列表中剩余的每一项操作序列集合l，检查是否满足l∈S.inconsistency，将不满足的l从列表中移除；步骤2-5，对可用操作序列集合Δavail进行更新： 式中，locna表示操作a的当前状态位信息，Δrepair表示在初步合并过程中获得的修复操作集合，Δp为操作序列集合，包含当前操作与应用该操作的继承状态位，用来表示从初始状态S到继承状态S′的路径；步骤2-6，针对可用操作序列集合中的每一个操作Δ′i，若Δ′i属于无冲突的集合，则对操作序列集合Δstas进行更新：Δstas：＝Δstas∪{S′，Δ′i}，S′＝S+Δ′i5重复该步骤直至遍历完可用操作序列集合中的每一个操作；步骤2-7，根据≤与对操作序列集合进行排序；其中≤属于不完全排序中的偏序，为强偏序；步骤3，根据模型更新与一致性检测方法，对模型与文档的版本进行检测，若模型出现新版本则对模型进行更新，并对模型进行一致性检测。

全文数据：

权利要求：

百度查询： 南京航空航天大学 面向协同建模的UML模型合并与一致性检测方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD