丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;Chechik,玛莎;加布里埃尔·坦泽尔;詹妮弗·普洛格 规则合并:基于变量的模型转换规则的自动构建。 (英语) 兹比尔1378.68024 Stevens,Perdita(编辑)等人,《软件工程的基本方法》,第19届国际会议,FASE 2016,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2016,荷兰埃因霍温,2016年4月2-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49664-0/pbk;978-3-562-49665-7/电子书)。计算机科学讲座笔记9633122-140(2016)。 摘要:将相似的模型转换规则统一为基于变量的规则可以提高模型转换系统的可维护性和性能。然而,手动识别和统一这些类似的规则是一项乏味且容易出错的任务。在本文中,我们提出了一种新的合并重分解方法来自动化此任务。该方法采用克隆检测用于识别重叠的规则部分和群集用于选择要统一的规则组。我们的方法实例化利用了最先进的克隆检测和聚类技术,并包括一个专门的合并结构算法。我们正式证明了该方法的正确性,并在两个实际案例研究中证明了其产生高质量结果的能力。有关整个系列,请参见[Zbl 1333.68018号]。 引用于2文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:gSpan(量程);VMQL(VMQL);GGL公司;规则合并;伟大的 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人,Lect。注释计算。科学。9633、122——140(2016年;Zbl 1378.68024) 全文: 内政部