阿德里安·鲁特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 在MDE中规范和转换约束的正式方法。 （英语） Zbl 1246.68098号 J.日志。阿尔盖布。程序。 81，第4期，422-457（2012）. 摘要：本文介绍了一种形式化的约束感知模型转换方法，该方法支持在转换规则的定义中指定约束。这些约束用于控制要在目标模型中创建的结构以及要添加到创建的结构中的约束。该方法分为异构、基于图形和外部模型转换；并将其应用于语言翻译中进行说明。它基于图谓词框架，该框架提供了基于范畴理论和图变换的（元）建模形式化。特别是，所提出的方法使用了非删除转换规则，这些规则由通过关联源语言和目标语言定义的联合建模语言指定。源语言和目标语言之间的关系通过语素从相应的建模形式化为联合建模形式化。此外，将转换规则的应用形式化为推出结构，并通过拉回结构获得最终目标模型。 引用于6文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68N99型 软件理论 关键词：模型驱动工程;模型转换;约束;范畴理论;图形变换;图谓词框架 PDF格式BibTeX公司 XML格式引用 \textit{A.Rutle}等人，J.Log。阿尔盖布。程序。81、第4号、422--457（2012；Zbl 1246.68098） 全文： DOI程序 参考文献： [1] Ask.com，Dictionary.com。网址：<http://dictionary.reference.com>; Ask.com，Dictionary.com。网址：<http://dictionary.reference.com> [2] T.Baar，J.Whittle，《关于模型转换规则中具体语法的使用》，载于：I.Virbitskaite，A.Voronkov（Eds.），《PSI 2006年会议记录：第六届系统信息学观点国际安德烈·埃尔肖夫纪念会议》，《计算机科学讲稿》第4378卷，施普林格出版社，2007年，第84-97页。http://dx.doi.org/10.1007/978-3-540-70881-0_10; T.Baar，J.Whittle，《关于模型转换规则中具体语法的使用》，载于：I.Virbitskaite，A.Voronkov（Eds.），《PSI 2006年会议记录：第六届系统信息学观点国际安德烈·埃尔肖夫纪念会议》，《计算机科学讲稿》第4378卷，施普林格出版社，2007年，第84-97页。http://dx.doi.org/10.1007/978-3-540-70881-0_10 [3] 巴尔，M。；Wells，C.，《计算科学的范畴理论》（1995），普伦蒂斯·霍尔国际有限公司：普伦蒂斯霍尔国际有限责任公司，英国赫特福德郡·兹比尔0841.18001 [4] Bézivin，J.，《关于模型的统一力量》，Softw。系统。型号。，4, 2, 171-188 (2005), http://dx.doi.org/10.1007/s10270-005-0079-0 [5] J.Bézivin，O.Gerbé，《朝向OMG/MDA框架的精确定义》，载于：ASE 2001年会议记录：第16届IEEE自动化软件工程国际会议，2001年，第273-280页。http://dx.doi.org/10.109/ASE.2001.989813; J.Bézivin，O.Gerbé，《朝向OMG/MDA框架的精确定义》，载于：ASE 2001年会议记录：第16届IEEE自动化软件工程国际会议，2001年，第273-280页。http://dx.doi.org/10.109/ASE.2001.989813 [6] 比尔曼，E。；Ehrig，K。；科勒，C。；库恩斯，G。；Taentzer，G。；Weiss，E.，基于图转换概念的EMF模型重构，Electron。Commun公司。EASST，3（2006） [7] Boronat，A。；Meseguer，J.，MOF的代数语义，形式方面计算。，22, 3-4, 269-296 (2010), http://dx.doi.org/10.1007/s00165-009-0140-9 ·Zbl 1213.68358号 [8] 波托尼，P。；科赫，M。；平价，F。；Taentzer，G.，使用协作实现OCL可视化，（UML 2001年会议记录：第四届统一建模语言、建模语言和应用国际会议。UML 2001年会记录：第4届统一建模语、建模语言与应用国际会议，计算机科学（2001）讲稿第2185卷，斯普林格），257-271·Zbl 1024.68642号 [9] J.Cabot，R.Clarisó，E.Guerra，J.de Lara，《通过OCL分析图形转换规则》，载于：A.Vallecillo，J.Gray，A.Pierantonio（编辑），《2008年ICMT会议记录：第一届模型转换国际会议》，计算机科学讲义第5063卷，斯普林格，2008年，第229-244页。http://dx.doi.org/10.1007/978-3-540-69927-9_16; J.Cabot，R.Clarisó，E.Guerra，J.de Lara，《通过OCL分析图形转换规则》，载于：A.Vallecillo，J.Gray，A.Pierantonio（编辑），《2008年ICMT会议记录：第一届模型转换国际会议》，计算机科学讲义第5063卷，斯普林格，2008年，第229-244页。http://dx.doi.org/10.1007/978-3-540-69927-9_16 [10] 剑桥，在线词典。可从以下位置获得：<http://dictionary.cambridge.org>; 剑桥，在线词典。可从以下位置获得：<网址：http://dictionary.cambridge.org> [11] K.Czarnecki，S.Helsen，模型转换方法分类，收录于：第二届OOPSLA MDA背景下生成技术研讨会，2003年。；K.Czarnecki，S.Helsen，模型转换方法分类，收录于：第二届OOPSLA MDA背景下生成技术研讨会，2003年。 [12] J.de Lara，E.Guerra，《基于模式的模型到模型转换》，载于：ICGT 2008年会刊：第四届图形转换国际会议，计算机科学讲义第5214卷，施普林格，2008年，第426-441页。http://dx.doi.org/10.1007/978-3-540-87405-8_29; J.de Lara，E.Guerra，基于模式的模型到模型转换，收录于：《2008年ICGT会议记录：第四届图形转换国际会议》，计算机科学讲稿第5214卷，施普林格，2008年，第426-441页。http://dx.doi.org/10.1007/978-3-540-87405-8_29 ·Zbl 1175.68114号 [13] Diskin，Z.，《业务系统规范的实用基础》（2003），Kluwer学术出版社，第145-178页（《UML的数学：使UML的奥德赛不那么戏剧化》）·Zbl 1027.68147号 [14] Z.Diskin，U.Wolter，《面向对象可视化建模的图解逻辑》，载于：《2007年ACCAT会议录：应用和计算范畴理论第二次研讨会》，《理论计算机科学电子笔记》第203/6卷，爱思唯尔科学出版社，荷兰阿姆斯特丹，2008年，第19-41页。http://dx.doi.org/10.1016/j.entcs.2008.10.041; Z.Diskin，U.Wolter，《面向对象可视化建模的图解逻辑》，载于：《2007年ACCAT会议录：应用和计算范畴理论第二次研讨会》，《理论计算机科学电子笔记》第203/6卷，爱思唯尔科学出版社，荷兰阿姆斯特丹，2008年，第19-41页。http://dx.doi.org/10.1016/j.entcs.2008.10.041 ·Zbl 1277.68055号 [15] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），施普林格出版社·Zbl 1095.68047号 [16] H.Ehrig、K.Ehrig，C.Ermel，F.Hermann，G.Taentzer，信息保存双向模型转换，收录于：M.B.Dwyer，A.Lopes（编辑），《2007年FASE会议记录：软件工程基本方法第十届国际会议》，计算机科学讲义第4422卷，施普林格，2007年，第72-86页。http://dx.doi.org/10.1007/978-3-540-71289-3_7; H.Ehrig、K.Ehrig，C.Ermel，F.Hermann，G.Taentzer，信息保存双向模型转换，收录于：M.B.Dwyer，A.Lopes（编辑），《2007年FASE会议记录：软件工程基本方法第十届国际会议》，计算机科学讲义第4422卷，施普林格，2007年，第72-86页。http://dx.doi.org/10.1007/978-3-540-71289-3_7 [17] Fiadeiro，J.L.，《软件工程分类》（2004），Springer [18] F.Fondement，T.Baar，《使元模型意识到具体语法》，载于：A.Hartman，D.Kresche（编辑），《ECMDA-FA 2005年会议记录：第一届欧洲模型驱动架构基础与应用会议》，计算机科学讲义第3748卷，斯普林格，2005年，第190-204页。http://dx.doi.org/10.1007/11581741_15; F.Fondement，T.Baar，《使元模型意识到具体语法》，载于：A.Hartman，D.Kresche（编辑），《ECMDA-FA 2005年会议记录：第一届欧洲模型驱动架构基础与应用会议》，计算机科学讲义第3748卷，斯普林格，2005年，第190-204页。http://dx.doi.org/10.1007/11581741_15 [19] R.Grönmo，《在基于图形的模型转换中使用具体语法》，挪威奥斯陆大学信息学系博士论文，2010年2月。；R.Grönmo，《在基于图形的模型转换中使用具体语法》，挪威奥斯陆大学信息学系博士论文，2010年2月。 [20] R.Grönmo，B.Möller-Pedersen，G.K.Olsen，《三种模型转换语言的比较》，收录于：R.F.Paige，A.Hartman，A.Rensink（编辑），《2009年ECMDA-FA会议记录：第五届欧洲模型驱动建筑基础与应用会议》，《计算机科学讲义》第5562卷，施普林格出版社，2009年，第2-17页。http://dx.doi.org/10.1007/978-3-642-02674-4_2; R.Grönmo，B.Möller-Pedersen，G.K.Olsen，《三种模型转换语言的比较》，收录于：R.F.Paige，A.Hartman，A.Rensink（编辑），《2009年ECMDA-FA会议记录：第五届欧洲模型驱动建筑基础与应用会议》，《计算机科学讲义》第5562卷，施普林格出版社，2009年，第2-17页。http://dx.doi.org/10.1007/978-3-642-02674-4_2 [21] E.Guerra，J.de Lara，F.Orejas，基于模式的模型到模型转换：处理属性条件，见：R.F.Paige（编辑），《ICMT 2009年会议记录：第二届模型转换国际会议》，计算机科学讲义第5563卷，Springer，2009年，第83-99页。http://dx.doi.org/10.1007/978-3642-02408-5_7; E.Guerra，J.de Lara，F.Orejas，基于模式的模型到模型转换：处理属性条件，见：R.F.Paige（编辑），《ICMT 2009年会议记录：第二届模型转换国际会议》，计算机科学讲义第5563卷，Springer，2009年，第83-99页。http://dx.doi.org/10.1007/978-3642-02408-5_7 [22] A.Habel，K.-H.Pennemann，高层结构的嵌套约束和应用条件，载于：H.-J.Kreowski，U.Montanari，F.Orejas，G.Rozenberg，G.Taentzer（编辑），《软件和系统建模的形式方法》（Hartmut Ehrig 60岁生日之际的论文），《计算机科学讲义》第3393卷，斯普林格，2005年，第293-308页。http://dx.doi.org/10.1007/978-3-540-31847-7_17; A.Habel，K.-H.Pennemann，高层结构的嵌套约束和应用条件，载于：H.-J.Kreowski，U.Montanari，F.Orejas，G.Rozenberg，G.Taentzer（编辑），《软件和系统建模的形式方法》（Hartmut Ehrig 60岁生日之际的论文），《计算机科学讲义》第3393卷，斯普林格，2005年，第293-308页。http://dx.doi.org/10.1007/978-3-540-31847-7_17 ·兹比尔1075.68623 [23] Hesse，W.，《关于（元）建模的更多事项：关于托马斯·库恩的“事项”的评论》，Softw。系统。型号。，5, 4, 387-394 (2006), http://dx.doi.org/10.1007/s10270-006-0033-9 [24] Kleppe，A.G。；Warmer，J。；Bast，W.，MDA Explained:The Model-Driven Architecture:Practice and Promise（2003），Addison-Wesley Longman Publishing Co.Inc.：Addison-Whesley Longman出版社，美国马萨诸塞州波士顿 [25] 科尼格斯，A。；Schürr，A.，《三重图文法的工具集成——一项调查》，Electron。注释理论。计算。科学。，148, 1, 113-150 (2006), http://dx.doi.org/10.1016/j.entcs.2005.12.015 [26] Kühne，T.，（元）建模问题，软件。系统。型号。，5, 4, 369-385 (2006), http://dx.doi.org/10.1007/s10270-006-0017-9 [27] Kühne，T.，《澄清（元）建模问题：作者的回复》，Softw。系统。型号。，5, 4, 395-401 (2006), http://dx.doi.org/10.1007/s10270-006-0034-8 [28] Lengyel，L。；勒文多夫斯基，T。；Charaf，H.，《可视化模型转换系统中的约束验证支持》，Acta Cybernet。，17, 2, 339-357 (2005) ·Zbl 1101.68471号 [29] Makkai，M.，作为完备性定理框架的广义草图，J.Pure Appl。《代数》，115，49-79（1997），179-212，214-274。http://dx.doi.org/10.1016/S0022-4049(96)00007-2 ·Zbl 0871.03045号 [30] F.Mantz，《软件模型的语法质量保证技术》，德国马尔堡菲利普斯大学数学与信息学系毕业论文，2009年8月。；F.Mantz，《软件模型的语法质量保证技术》，毕业论文，德国马尔堡菲利普斯大学数学与信息学系，2009年8月。 [31] 马尔科维奇，S。；Baar，T.，重构OCL注释的UML类图，Softw。系统。型号。，7，1，25-47（2008年），http://dx.doi.org/10.1007/s10270-007-0056-x [32] Mens，T。；Gorp，P.V.，模型转换的分类法，电子。注释理论。计算。科学。，152, 125-142 (2006), http://dx.doi.org/10.1016/j.entcs.2005.10.021 [33] 对象管理组，MDA指南，2003年6月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？omg/03-06-01>; 对象管理组，MDA指南，2003年6月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？omg/03-06-01> [34] 对象管理小组，对象约束语言规范，2006年5月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2006-05-01>; 对象管理小组，对象约束语言规范，2006年5月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2006-05-01> [35] 对象管理组，统一建模语言规范，2009年2月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2009-02-04>; 对象管理组，统一建模语言规范，2009年2月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2009-02-04> [36] 对象管理组。可从以下位置获得：<网址：http://www.omg.org>; 对象管理组。可从以下位置获得：<网址：http://www.omg.org> [37] 对象管理组，元对象设施规范，2006年1月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2006-01-01>; 对象管理小组，元对象设施规范，2006年1月。可从以下位置获得：<http://www.omg.org/cgi-bin/doc？formal/2006-01月01日> [38] F.Orejas，E.Guerra，J.de Lara，H.Ehrig，基于模式的模型到模型转换的正确性、完整性和终止，收录于：A.Kurz，M.Lenisa，A.Tarlecki（编辑），CALCO 2009年会议记录：第三届计算机科学中代数和余代数国际会议，计算机科学讲义第5728卷，Springer，2009年，第383-397页。http://dx.doi.org/10.1007/978-3642-03741-2-26; F.Orejas，E.Guerra，J.de Lara，H.Ehrig，基于模式的模型到模型转换的正确性、完整性和终止，收录于：A.Kurz，M.Lenisa，A.Tarlecki（编辑），CALCO 2009年会议记录：第三届计算机科学中代数和余代数国际会议，计算机科学讲义第5728卷，Springer，2009年，第383-397页。http://dx.doi.org/10.1007/978-3642-03741-2-26 ·Zbl 1239.68026号 [39] Orejas，F。；Ehrig，H。；Prange，U.，《图形约束推理》，形式方面计算。，22, 3-4, 385-422 (2010), http://dx.doi.org/10.1007/s00165-009-0116-9 ·Zbl 1209.68381号 [40] A.Petter，A.Behring，M.Muhlhäuser，《模型转换中的约束求解》，R.Paige（Ed.），《ICMT 2009年会议记录：第二届模型转换国际会议》，计算机科学讲稿第5563卷，Springer，2009年，第132-147页。http://dx.doi.org/10.1007/978-3642-02408-5_10; A.Petter，A.Behring，M.Muhlhäuser，《模型转换中的约束求解》，R.Paige（Ed.），《ICMT 2009年会议记录：第二届模型转换国际会议》，计算机科学讲稿第5563卷，Springer，2009年，第132-147页。http://dx.doi.org/10.1007/978-3642-02408-5_10 [41] I.Poernomo，《形式元建模的类型理论框架》，载于：《具有可信组件的体系结构系统国际研讨会》，计算机科学讲稿第3938卷，Springer，2006年，第262-298页。http://dx.doi.org/10.1007/11786160_15; I.Poernomo，《形式元建模的类型理论框架》，载于：《具有可信组件的体系结构系统国际研讨会》，计算机科学讲稿第3938卷，Springer，2006年，第262-298页。http://dx.doi.org/10.1007/11786160_15 [42] A.Rensink，《用图形表示一阶逻辑》，载于：H.Ehrig、G.Engels、F.Parisi-Presicce、G.Rozenberg（编辑），《2004年ICGT会议论文集：第二届图形变换国际会议》，计算机科学讲稿第3256卷，Springer，2004年，第319-335页。http://dx.doi.org/10.1007/978-3-540-30203-2_23; A.Rensink，《用图形表示一阶逻辑》，载于：H.Ehrig、G.Engels、F.Parisi-Presicce、G.Rozenberg（编辑），《2004年ICGT会议论文集：第二届图形变换国际会议》，计算机科学讲稿第3256卷，Springer，2004年，第319-335页。http://dx.doi.org/10.1007/978-3-540-30203-2_23 ·Zbl 1116.03303号 [43] 罗西尼，A。；Rutle，A。；拉莫，Y。；Wolter，U.，《MDE中版本控制的copy-modify-merge方法的形式化》，J.Logic Algebr。程序。，79, 7, 636-658 (2010), http://dx.doi.org/10.1016/j.jlap.2009.10.003 ·兹比尔1204.68075 [44] Rothenberg，J.，《建模的本质》（1989），兰德公司：兰德公司圣莫尼卡 [45] A.Rutle，《图谓词框架：MDE的形式化方法》，挪威卑尔根大学信息学系博士论文，2010年。；A.Rutle，图表谓词框架：MDE的形式化方法，博士论文，挪威卑尔根大学信息学系，2010年。 [46] A.Rutle、U.Wolter、Y.Lamo，《模型转换的图解法》，载于《2008年EATIS会议记录：远程信息处理和信息系统欧美会议》，ACM，2008年，第1-8页。http://dx.doi.org/10.1145/1621087.1621105; A.Rutle，U.Wolter，Y.Lamo，模型转换的图解方法，载于：《2008年EATIS会议录：欧美远程通信和信息系统会议》，ACM，2008，第1-8页。http://dx.doi.org/10.1145/1621087.1621105 [47] A.Rutle，A.Rossini，Y.Lamo，U.Wolter，《基于MOF的建模语言的图解形式化》，载于：M.Oriol，B.Meyer（编辑），《2009年工具会议录：第47届对象、组件、模型和模式国际会议》，《商业信息处理讲稿》第33卷，Springer，2009年，第37-56页。http://dx.doi.org/10.1007/978-3-642-02571-6_4; A.Rutle，A.Rossini，Y.Lamo，U.Wolter，《基于MOF的建模语言的图解形式化》，载于：M.Oriol，B.Meyer（编辑），《2009年工具会议录：第47届对象、组件、模型和模式国际会议》，《商业信息处理讲稿》第33卷，Springer，2009年，第37-56页。http://dx.doi.org/10.1007/978-3-642-02571-6_4 [48] A.Rutle，A.Rossini，Y.Lamo，U.Wolter，MDE中版本控制形式化的分类理论方法，载于：M.Chechik，M.Wirsing（编辑），《2009年FASE会议记录：软件工程基本方法第12届国际会议》，计算机科学讲义第5503卷，Springer，2009年，第64-78页。doi（操作界面）：http://dx.doi.org/10.1007/978-3642-00593-05; A.Rutle，A.Rossini，Y.Lamo，U.Wolter，MDE中版本控制形式化的分类理论方法，载于：M.Chechik，M.Wirsing（编辑），《2009年FASE会议记录：软件工程基本方法第12届国际会议》，计算机科学讲义第5503卷，Springer，2009年，第64-78页。doi（操作界面）：http://dx.doi.org/10.1007/978-3642-00593-05 ·Zbl 1204.68075号 [49] A.Rutle，A.Rossini，Y.Lamo，U.Wolter，《约束感知模型转换的形式化》，载：D.Rosenblum，G.Taentzer（编辑），《2010年FASE会议记录：软件工程基本方法第13届国际会议》，计算机科学讲义第6013卷，施普林格，2010年，第13-28页。http://dx.doi.org/10.1007/978-3642-12029-9_2; A.Rutle，A.Rossini，Y.Lamo，U.Wolter，《约束感知模型转换的形式化》，载：D.Rosenblum，G.Taentzer（编辑），《2010年FASE会议记录：软件工程基本方法第13届国际会议》，计算机科学讲义第6013卷，施普林格，2010年，第13-28页。http://dx.doi.org/10.1007/978-3642-12029-9_2 ·Zbl 1204.68075号 [50] Seidewitz，E.，模型的含义，IEEE软件。，20, 5, 26-32 (2003), http://dx.doi.org/10.109/MS.2003.1231147 [51] Sendall，S。；Kozaczynski，W.，《模型转换：模型驱动软件开发的核心和灵魂》，IEEE Softw。，20, 5, 42-45 (2003) [52] Taentzer，G。；Rensink，A.，《确保基于图形的模型中的结构约束与类型继承》，（Cerioli，M.，《FASE 2005年会议记录：第八届软件工程基本方法国际会议》，计算机科学讲义（2005）第3442卷，Springer），64-79·Zbl 1119.68365号 [53] U.Wolter，Z.Diskin，《从索引语义到纤维语义——广义草图文件》，技术报告361，挪威卑尔根大学信息学系，2007年10月。；U.Wolter，Z.Diskin，《从索引到纤维语义——广义草图文件》，技术报告361，挪威卑尔根大学信息学系，2007年10月。 [54] Z.Diskin，《数据库作为图代数：通过基于图形的草图逻辑指定查询和视图》，技术报告9602，Frame Inform Systems/LDBD，里加，拉脱维亚，1996年。；Z.Diskin，《数据库作为图代数：通过基于图形的草图逻辑指定查询和视图》，技术报告9602，Frame Inform Systems/LDBD，拉脱维亚里加，1996年。 [55] Z.Diskin，《数据库技术和应用百科全书》，《信息科学参考》，2005年，第351-366页（《模型管理通用规范的数学》第一章和第二章）。；Z.Diskin，《数据库技术和应用百科全书》，《信息科学参考》，2005年，第351-366页（《模型管理通用规范的数学》一和二章）。 [56] Diskin，Z.，《可视化与图表符号规范：UML案例研究》，（Hegarty，M.；Meyer，B.；Narayanan，N。H.，《2002年图解汇编：第二届图解表示与推理国际会议》。2002年图表会议记录：第二届图表表示和推断国际会议，计算机科学讲稿，第2317卷（2002），施普林格出版社，112-115·Zbl 1049.68680号 [57] Z.Diskin，B.Kadish，《数据库技术与应用百科全书》，《信息科学参考》，2005年，第258-265页（通用模型管理）。；Z.Diskin，B.Kadish，《数据库技术和应用百科全书》，《信息科学参考》，2005年，第258-265页（《通用模型管理》）。 [58] Diskin，Z。；Kadish，B.，键控广义草图的变量集语义：概念建模的对象身份的形式语义和抽象语法，数据与知识工程，47，1，1-59（2003） [59] Z.Diskin，B.Kadish，F.Piessens，M.Johnson，《可视化建模的通用箭头基础》，载于：M.Anderson，P.Cheng，V.Haarslev（编辑），《2000年图表会议录：第一届图表表示和推理国际会议》，计算机科学讲义第1889卷，Springer，2000年，第345-360页。http://dx.doi.org/10.1007/3-540-44590-0_30; Z.Diskin，B.Kadish，F.Piessens，M.Johnson，《可视化建模的通用箭头基础》，载于：M.Anderson，P.Cheng，V.Haarslev（编辑），《2000年图表会议录：第一届图表表示和推理国际会议》，计算机科学讲义第1889卷，Springer，2000年，第345-360页。http://dx.doi.org/10.1007/3-540-44590-0_30 ·Zbl 0973.68576号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。