研究论文

在maude规范中嵌入特定于域的建模语言

作者:

弗拉德鲁苏作者信息和声明

ACM SIGSOFT软件工程说明,体积36,问题1

页1-8

https://doi.org/10.1145/1921532.1921557

出版:2011年1月24日出版历史

获取访问权限

摘要

我们提出了一种将领域特定建模语言（DSML）嵌入Maude的方法，该方法基于将模型和元模型表示为Maude规范，以及将操作语义和模型转换表示为此类规范之间的可计算函数/关系。一方面，这为我们提供了特定领域建模语言基本概念的抽象定义：模型到元模型的一致性、操作语义和（操作语义保护）模型转换；另一方面，这些概念具有等效的可执行定义，可以在Maude中直接用于正式验证目的

工具书类

[1]

阿图尔·博罗纳特（Artur Boronat）和何塞·梅塞盖尔（JoséMeseguer）。MOF的代数语义。计算的形式方面，22（3-4）：269--2962010。

[2]

何塞·爱德华多·里维拉（JoséEduardo Rivera）、弗朗西斯科·杜兰（Francisco Durán）和安东尼奥·瓦莱西略（Antonio Vallecillo）。使用Maude对领域特定语言进行形式化规范和分析。仿真：国际建模与仿真学会学报，85（11-12）：778-7922009。

数字图书馆

[3]

曼努埃尔·克莱维尔、弗朗西斯科·杜兰、史蒂文·艾克、帕特里克·林肯、纳西索·马蒂·奥列特、何塞·梅塞盖尔和卡罗琳·塔尔科特。《关于莫德的一切》，《高性能逻辑框架》，《计算机科学讲义》第4350卷。施普林格，2007年。

数字图书馆

[4]

玛丽娜·伊基亚（Marina Egea）。OCL的一种可执行形式语义，用于模型分析和验证。马德里Complutense大学博士论文，2008年。

[5]

玛丽亚·埃基亚和弗拉德·鲁苏。MDE框架中一致性的正式可执行语义。《系统和软件工程创新》，6:73-812010。UML&FM 2009研讨会论文的扩展版本。

[6]

何塞·梅塞盖尔（JoséMeseguer）、米格尔·帕洛米诺（Miguel Palomino）和纳西索·马丁奥列特（Narciso Martí-Oliet）。代数模拟。J.日志。阿尔盖布。程序。，79(2):103--143, 2010.

[7]

Manuel Clavel、Migue Palomino和Adrián Riesco。ITP工具简介：教程。《通用计算机科学杂志》，12（11）：1618-16502006。

[8]

何塞·梅塞盖尔（JoséMeseguer）。成员代数作为方程式规范的逻辑框架。WADT编辑Francesco Parisi-Prescce，《计算机科学讲义》第1376卷，第18-61页。施普林格，1997年。

数字图书馆

[9]

Jan Bergstra和John Tucker。通过有限等式规范方法对可计算数据类型进行表征。在国际自动化、语言和编程会议上，《计算机科学讲义》第81卷，第76-90页，1980年。

数字图书馆

[10]

何塞·爱德华多·里维拉（JoséEduardo Rivera）、克里斯蒂娜·维森特·切科特（Cristina Vicente-Chicote）和安东尼奥·瓦莱西略（Antonio Vallecillo）。使用定时行为规范扩展可视化建模语言。在Antonio Brogi、Joáo AraúJo和Raquel Anaya中，CIbSE编辑，第87-100页，2009年。

[11]

阿图尔·博罗纳特（Artur Boronat）和彼得·卡萨巴·奥尔夫茨基（Peter Csabalveczky）。MOMENT2中的正式实时模型转换。在FASE编辑David S.Rosenblum和Gabriele Taentzer的《计算机科学讲义》第6013卷第29-43页。施普林格，2010年。

数字图书馆

[12]

J.de Lara和H.Vangheluwe。通过元建模和图形转换定义可视化符号及其操作。视觉语言与计算杂志，15（3-4）：309-3302006。

[13]

Aditya Agrawal、Gabor Karsai、Sandeep Neema、Feng Shi和Attila Vizhanyo。模型转换语言的设计。软件与系统建模，5（3）：261--2882006。

[14]

György Csertán、Gábor Huszerl、István Majzik、Zsigmond Pap、András Pataricza和Dániel Varró。VIATRA——用于UML模型的正式验证和确认的可视化自动转换。在ASE中，第267--270页。IEEE计算机学会，2002年。

数字图书馆

[15]

吉尔赫梅·兰格尔、利恩·兰伯斯、巴巴拉·科尼格、哈特穆特·埃里格和保罗·巴尔丹。使用DPO转换和借用上下文进行模型重构时的行为保留。在Hartmut Ehrig、Reiko Heckel、Grzegorz Rozenberg和Gabriele Taentzer，ICGT编辑，《计算机科学讲义》第5214卷，第242-256页。施普林格，2008年。

数字图书馆

[16]

迪内斯·比斯特拉、雷科·赫克尔和哈特穆特·埃里格。架构重构的验证：规则提取和工具支持。ECEASST，2008年16月。

[17]

贝诺·库梅莱、泽维尔·克雷古特、皮尔雷·洛伊·加罗什和泽维尔·蒂里奥克斯。关于MDE中语义定义的论文——一种用于模型验证的工具化方法。软件杂志，4（9）：943--9582009。

[18]

卡米洛·佛罗伦萨、阿尔贝托·莫米利亚诺、马里奥·奥尔纳吉和伊曼·波尔诺莫。测试模型转换的建设性方法。《模型转换的理论与实践》，第三届国际会议（ICMT’10），第77-92页，2010年。

数字图书馆

[19]

皮尔雷·阿莱恩·穆勒（Pierre-Alain Muller）、弗兰克·弗莱瑞（Franck Fleurey）和珍妮·马可·杰泽奎尔（Jean-Marc Jézéquel）。将可执行性编织成面向对象的元语言。在MoDELS，《计算机科学讲义》第3713卷，第264-278页。斯普林格，2005年。

数字图书馆

[20]

哈维尔·特罗亚和安东尼奥·瓦莱西略。面向ATL的重写逻辑语义。《模型转换的理论与实践》，第三届国际会议（ICMT’10），第230-244页，2010年。

数字图书馆

引用人

顾QKe W公司(2024)键入需求模型作为CoroutineIEEE接入109年10月10日/访问2024.335211512(8449-8460)在线发布日期：2024年
https://doi.org/10.109/ACCESS.2024.3352115
鲁苏五世(2018)在莫德规范中嵌入领域特定的建模语言软件和系统建模（SoSyM）10.1007/s10270-012-0232-512:4(847-869)在线发布日期：2018年12月21日
https://dl.acm.org/doi/10.1007/s10270-012-0232-5
贝尔吉杜姆M贝拉拉F(2014)面向参数化组件模型的形式化元转换2014年第二届复杂系统世界会议10.1109/ICoCS.2014.7060928(183-189)在线发布日期：2014年11月
https://doi.org/10.109/ICoCS.2014.7060928
显示更多引用者

索引术语

在maude规范中嵌入特定于域的建模语言
1. 计算理论
  1. 形式语言与自动机理论
    1. 形式主义
      1. 重写系统
    2. 语法和上下文无关语言
  2. 语义和推理
    1. 程序语义

索引项已通过自动分类分配给内容。

建议

在莫德规范中嵌入领域特定的建模语言

我们提出了一种定义和分析领域特定建模语言（dsml）的形式化方法。该方法使用标准模型驱动的工程工件来定义语言的语法（使用元模型）及其操作语义（。。。
使用特定领域元建模语言的模型驱动工程

特定领域的建模语言通常通过通用元建模语言（如MOF）定义。虽然这对于许多模型驱动工程（MDE）项目来说是令人满意的，但一些研究人员已经确定了域-。。。
面向特定领域建模语言的正式基础
EMSOFT’06：第六届ACM&IEEE嵌入式软件国际会议记录

嵌入式系统设计本质上是特定领域的，通常是模型驱动的。因此，像OMG的模型驱动体系结构（MDA）和模型集成计算（MIC）这样的设计方法发展到支持特定领域建模语言（DSML）。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM SIGSOFT软件工程说明

ACM SIGSOFT软件工程说明第36卷第1期

2011年1月

210页

国际标准编号：0163-5948

内政部：10.1145/1921532

版权所有©2011作者。

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2011年1月24日

发布于SIGSOFT体积36,问题1

检查更新

限定符

研究文章

贡献者

其他指标

查看文章度量

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
126
下载总量

下载量（最近12个月）0
下载次数（最近6周）0

反映截至2024年9月15日的下载量

其他指标

查看作者指标

引文

引用人

顾QKe W公司(2024)键入需求模型作为CoroutineIEEE接入10.1109/通道2024.335211512(8449-8460)在线发布日期：2024年
https://doi.org/10.109/ACCESS.2024.3352115
鲁苏五世(2018)在莫德规范中嵌入领域特定的建模语言软件和系统建模（SoSyM）10.1007/s10270-012-0232-512:4(847-869)在线发布日期：2018年12月21日
https://dl.acm.org/doi/10.1007/s10270-012-0232-5
比利时M贝拉拉F(2014)面向参数化组件模型的形式化元转换2014年第二届复杂系统世界会议10.1109/ICoCS.2014.7060928(183-189)在线发布日期：2014年11月
https://doi.org/10.109/ICoCS.2014.7060928
辛科G林德克D勒文多夫斯基TNeema S公司Sztipanovits J公司(2013)具有形式语义的网络物理组件规范——集成与组合第16届模型驱动工程语言和系统国际会议记录-第8107卷10.1007/978-3-642-41533-3_29(471-487)在线发布日期：2013年9月29日
https://dl.acm.org/doi/10.1007/978-3-642-41533-3_29
巴赫JCrégut X公司莫罗PPantel M系列(2012)与Tom进行模型转换第十二届语言描述、工具和应用研讨会论文集10.1145/2427048.2427052(1-9)在线发布日期：2012年3月31日
https://dl.acm.org/doi/101145/2427048.2427052
安多瓦S范登布兰德MEngelen L公司(2011)使用ASF+SDF原型化DSL语义：链接到DSL模型的形式验证理论计算机科学中的电子论文集10.4204/EPTCS.56.556(65-79)在线发布日期：2011年6月29日
https://doi.org/10.4204/EPTCS.56.5

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子

查看问题的目录