摘要
Plotkin G.D.：操作语义的结构方法。 J.日志。 阿尔盖布。 程序。 60(¿61), 17---139 (2004) 谷歌学者 
Clavel，M.，Durán，F.，Eker，S.，Lincoln，P.，Martí-Oliet，n.，Meseguer，J.，Talcott，C.L.：关于Maude，一个高性能逻辑框架的一切。计算机科学讲义，第4350卷。 柏林施普林格出版社（2007） 谷歌学者 Egea M.，Rusu V.：MDE框架中一致性的正式可执行语义。创新系统。 柔和。 工程6，73---81（2010） 谷歌学者 交叉引用 
Meseguer，J.：成员代数是方程规范的逻辑框架。 In:Parisi-Prescce，F.（编辑）WADT。 计算机科学课堂讲稿，第1376卷，第18-61页。 柏林施普林格（1997） 谷歌学者 Combemale B.，Crégut X.，Garoche P.-L.，Thirioux X.：关于MDE中语义定义的论文——一种用于模型验证的工具化方法。 J.软件。 4（9），943--958（2009） 谷歌学者 交叉引用 软件和系统过程工程元模型规范（spem）。 网址：http://www.omg.org/spec/SPEM/2.0/ 谷歌学者 对象约束语言。 http://www.omg.org/spec/OCL 谷歌学者 Ogata K.，Futatsugi K.：ots/cafeobj方法中基于模拟的不变量验证。 电气。 注释Theor。 计算。 科学。 201, 127---154 (2008) 谷歌学者 数字图书馆 
Clavel M.、Palomino M.、Riesco A.：介绍itp工具：教程。 J.大学计算机。 科学。 12(11), 1618---1650 (2006) 谷歌学者 Rusu，V.：将收缩和定理证明结合起来用于重写逻辑规范。 摘自：《测试与证明》，第四届国际会议，TAP 2010，第6143卷，第135-150页（2010年）。 马拉加，西班牙 谷歌学者 Rivera J.E.、Durán F.、Vallecillo A.：使用Maude对领域特定语言进行形式化规范和分析。 模拟。 办理。 Soc.模型。 模拟。 国际85（11--12），778--792（2009） 谷歌学者 Boronat A.，Meseguer J.：MOF的代数语义。 形式方面计算。 22(3---4), 269---296 (2010) 谷歌学者 Egea，M.：ocl的一种可执行形式语义，用于模型分析和验证。 马德里Complutense大学博士论文（2008年） 谷歌学者 Gogolla，M.，Richters，M.：uml类图的转换规则。 摘自：贝齐文，J.，穆勒，P.-A.（编辑）UML。 计算机科学课堂讲稿，第1618卷，第92-106页。 柏林施普林格（1998） 谷歌学者 Bergstra，J.，Tucker，J.：通过有限方程规范方法表征可计算数据类型。 参加：自动化、语言和编程国际学术讨论会。 计算机科学课堂讲稿，第81卷，第76-90页。 柏林施普林格（1980） 谷歌学者 Clavel，M.、Durán，F.、Eker，S.、Escobar，S.，Lincoln，P.、Martí-Oliet，n.、Meseguer，J.、Talcott，C.L.：在maude 2.4中统一和缩小。 收录人：Treinen，R.（编辑）RTA。 计算机科学课堂讲稿，第5595卷，第380-390页。 柏林施普林格出版社（2009） 谷歌学者 Bendraou，R.、Combemale，B.、Crégut，X.、Gervais，M.-P.：可执行SPEM2.0的定义。 于：日本第14届亚太经合组织会议（2007年12月）。 IEEE计算机学会，日本（2007） 谷歌学者 Rivera，J.E.，Vicente Chicote，C.，Vallecillo，A.：用定时行为规范扩展视觉建模语言。 收录于：Brogi，A.，Araújo，J.，Anaya，R.（编辑）《第十二届伊比利亚美洲软件工程会议备忘录》，第87---100页（2009年） 谷歌学者 Boronat，A.，Ölveczky，P.：MOMENT2中的正式实时模型转换。 收录人：Rosenblum，D.S.，Taentzer，G.（编辑）FASE。 计算机科学课堂讲稿，第6013卷，第29-43页。 施普林格，柏林（2010） 谷歌学者 de Lara J.，Vangheluwe H.：通过元建模和图形转换定义视觉符号及其操作。 视觉杂志。 语言计算。 15(3---4), 309---330 (2006) 谷歌学者 Agrawal A.、Karsai G.、Neema S.、Shi F.、Vizhanyo A.：模型转换语言的设计。 柔和。 系统。 模型。 5(3), 261---288 (2006) 谷歌学者 交叉引用 Csertán，G.、Huszerl，G.，Majzik，I.、Pap，Z.、Pataricza，A.、Varró，D.：VIATRA——用于UML模型的形式验证和确认的可视化自动转换。 参见：第17届IEEE自动化软件工程国际会议，第267--270页。 IEEE计算机学会（2002） 谷歌学者 Rangel，G.，Lambers，L.，König，B.，Ehrig，H.，Baldan，P.：使用借用上下文的dpo转换进行模型重构时的行为保留。 收录人：Ehrig，H.，Heckel，R.，Rozenberg，G.，Taentzer，G（编辑）ICGT。 计算机科学课堂讲稿，第5214卷，第242-256页。 柏林施普林格出版社（2008） 谷歌学者 Bisztray，D.，Heckel，R.，Ehrig，H.：架构重构的验证：规则提取和工具支持。 ECEASST，第16卷（2008） 谷歌学者 Poernomo，I.：元对象设施类型化。 摘自：Haddad，H.（编辑）SAC，第1845-1849页。 ACM（2006）2006年ACM应用计算学术研讨会论文集 谷歌学者 Poernomo，I.，Terrell，J.：从coq中部分有序规范的正确构造模型转换。 收录人：Dong，J.S.，Zhu，H.（编辑）ICFEM。 计算机科学课堂讲稿，第6447卷，第56-73页。 柏林施普林格出版社（2010年） 谷歌学者 佛罗伦萨，C.，Momigliano，A.，Ornaghi，M.，Poernomo，I.：测试模型转换的建设性方法。 摘自：《模型转换的理论与实践》（ICMT’10），第77-92页（2010） 谷歌学者 Muller，P.-A.，Fleurey，F.，Jézéquel，J.-M.：将可执行性编织成面向对象的元语言。 In：型号。 计算机科学课堂讲稿，第3713卷，第264--278页。 柏林施普林格出版社（2005） 谷歌学者 Rusu，V.：将特定领域的建模语言嵌入到Maude规范中。 ACM软件。 工程注释36（1），（2011） 谷歌学者 Hegedüs，A.，Bergmann，G.，Ráth，I.，Varró，D.：用变化驱动的模型转换对模拟轨迹进行反向推断。 In:SEFM’10（2010年9月） 谷歌学者 Guerra E.，de Lara J.，Malizia A.，Dńaz P.：支持面向用户的多视图领域特定视觉语言分析。 通知。 柔和。 Technol公司。 51(4), 769---784 (2009) 谷歌学者 数字图书馆 Moe，J.，Carr，D.A.：通过执行跟踪数据理解分布式系统。 摘自：第九届国际课程理解研讨会论文集IWPC’01。 IEEE计算机学会，第60---67页（2001） 谷歌学者 Combemale，B.，Gonnord，L.，Rusu，V.：一种通用工具，用于将执行追溯到dsml的操作语义。 收录于：France，R.B.，Küster，J.M.，Bordbar，B.，Paige，R.F.（编辑）ECMFA，计算机科学讲义，第6698卷，第35-51页。 柏林施普林格出版社（2011） 谷歌学者
索引术语
在莫德规范中嵌入领域特定的建模语言
建议
在maude规范中嵌入特定于域的建模语言 我们提出了一种将领域特定建模语言（DSML）嵌入Maude的方法，该方法基于将模型和元模型表示为Maude规范，以及将操作语义和模型转换表示为可计算函数/。。。 从AUML图生成Maude形式规范 2004年计算机科学、软件工程、信息技术、电子商务和应用国际会议论文集 在本文中，我们提出了一种形式化和系统化的方法，允许在Maude规范中翻译使用AUML形式主义描述的代理之间交互的规范。 基于重写逻辑，形式化和面向对象。。。
