×
阿图尔·博罗纳特;亚历山大·克纳普;何塞·梅塞盖尔;马丁·威辛

什么是多模型语言？ （英语） Zbl 1253.68225号

Corradini，Andrea（编辑）等人，代数发展技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，71-87（2009）。
摘要：在大型软件项目中，通常使用多种建模语言，以适当地涵盖应用程序的不同领域和视图以及开发人员的语言技能。这种“多建模”提出了许多方法论和语义问题，从用不同子语言编写的模型的语义一致性到子语言之间模型转换的正确性。我们通过提出多建模语言和模型转换的语义正确性的语义完善概念，为回答这些问题提供了第一个形式化基础。在我们的方法中，多建模语言由一组子语言和一些子语言之间的正确模型转换组成。子语言的抽象语法由MOF元模型给出。多模型语言的语义是通过将一个机构，即一个适当的逻辑，与它的每一个子语言相关联来给出的。模型转换的正确性由机构之间的语义连接定义。
有关整个系列，请参见[Zbl 1173.68005号].

引用于13文件

MSC公司：

68问题65 抽象数据类型；代数规范
68号30 软件工程的数学方面（规范、验证、度量、需求等）

软件：

威特拉2;UML2合金;莫德
PDF格式BibTeX公司 XML格式引用
\textit{A.Boronat}等人，Lect。注释计算。科学。5486、71--87（2009年；Zbl 1253.68225）
全文： 内政部 链接

参考文献：

[1] AGG网站（1997），http://tfs.cs.tu-berlin.de/agg/
[2] Akehurst，D.H.，Kent，S.，Patrascoiu，O.：定义和实现元模型之间转换的关系方法。柔和。系统。模型。 2(4), 215–239 (2003) ·doi:10.1007/s10270-003-0032-z
[3] Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I.：UML2合金：具有挑战性的模型转换。摘自：Engels，G.、Opdyke，B.、Schmidt，D.C.、Weil，F.（编辑）《2007年模型》。LNCS，第4735卷，第436–450页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-75209-7_30
[4] Bergstra，J.A.，Tucker，J.V.：通过有限等式规范方法表征可计算数据类型。In：程序。ICALP 1980。LNCS，第85卷，第76-90页。斯普林格，海德堡（1980）·Zbl 0449.68003号 ·doi:10.1007/3-540-10003-2_61
[5] Biermann，E.，Ermel，C.，Taentzer，G.：通过图形转换实现EMF模型转换的精确语义。收录于：Czarnecki，K.、Ober，I.、Bruel，J.-M.、Uhl，A.、Völter，M.（编辑）《2008年模型》。LNCS，第5301卷，第53-67页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-87875-94
[6] Boronat，A.，Heckel，R.，Meseguer，J.：重写逻辑语义和验证模型转换。技术报告CS-08-004，莱斯特大学（2008）
[7] Boronat，A.，Knapp，A.，Meseguer，J.，Wirsing，M.：什么是多模型语言？UIUCDCS-R-2008-3006技术报告，UIUC（2008），http://www.cs.uiuc.edu/research/techreports.php？report=UIUCDCS-R-2008-3006号·Zbl 1253.68225号
[8] Boronat，A.，Meseguer，J.：OCL约束元模型规范的代数语义。技术报告UIUCDCS-R-2008-2995，伊利诺伊大学厄巴纳-香槟分校（2008年）
[9] Boronat，A.，Meseguer，J.：MOF的代数语义。收录：Fiadeiro，J.L.，Inverardi，P.（编辑）FASE 2008。LNCS，第4961卷，第377-391页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-78743-328
[10] Broy，M.，Cengarle，M.V.，Rumpe，B.：UML的语义——面向UML的系统模型：结构数据模型。技术报告TUM-I0612，慕尼黑理工大学（2006）
[11] Broy，M.，Stölen，K.：交互系统的规范和开发：关注流、接口和优化。斯普林格，海德堡（2001）·Zbl 0981.68115号 ·doi:10.1007/978-1-4613-0091-5
[12] Cengarle，M.V.，Knapp，A.：UML 2.0静态结构研究所。技术报告TUM-I0807，慕尼黑理工大学（2008）
[13] Cengarle，M.V.，Knapp，A.，Tarlecki，A.，Wirsing，M.：UML语义的异构方法。收录于：WISTP 2008。LNCS，第5019卷，第383–402页。斯普林格，海德堡（2008）·Zbl 1143.68373号 ·doi:10.1007/978-3-540-68679-8_23
[14] Clavel，M.，Durán，F.，Eker，S.，Meseguer，J.，Lincoln，P.，Martí-Oliet，n.，Talcott，C.：关于莫德的一切。LNCS，第4350卷。斯普林格，海德堡（2007）·Zbl 1115.68046号
[15] Codd，E.F.：大型共享数据库的数据关系模型。美国陆军司令部司令部第13（6）、377–387（1970）条·Zbl 0207.18003号 ·数字对象标识代码：10.1145/362384.362685
[16] Diaconescu，R.：机构独立模型理论。Birkhäuser，巴塞尔（2008）·Zbl 1144.03001号
[17] Engels，G.、Heckel，R.、Taentzer，G.和Ehrig，H.：系统规范的基于参考模型和视图的组合方法。国际期刊软件。知识。工程7（4），457–477（1997）·doi:10.1142/S021819409700266
[18] Finkelstein，A.，Goedicke，M.，Kramer，J.，Niskier，C.：面向观点的软件开发：需求工程中的方法和观点。收录：Bergstra，J.A.，Feijs，L.M.G.（编辑）代数方法1989。LNCS，第490卷，第29-54页。斯普林格，海德堡（1991）·doi:10.1007/3-540-53912-3_17
[19] Goguen，J.A.，Burstall，R.M.：《机构：规范和编程的抽象模型理论》。《美国医学会杂志》39（1），95–146（1992）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[20] Goguen，J.A.，Rosu，G.：机构形态。表Asp。公司。 13(3–5), 274–307 (2002) ·Zbl 1001.68019号 ·doi:10.1007/s001650200013
[21] 麦克莱恩，S.：职业数学家的分类。施普林格，海德堡（1971）·Zbl 0705.18001号
[22] Meseguer，J.：通用逻辑。In：逻辑Coll。1987年，第275-329页。北荷兰，阿姆斯特丹（1989）
[23] Meseguer，J.：作为赤道规范逻辑框架的成员代数。In:Parisi-Presecce，F.（编辑）WADT 1997。LNCS，第1376卷，第18-61页。斯普林格，海德堡（1998）·Zbl 0903.08009号 ·doi:10.1007/3-540-64299-4_26
[24] Mossakowski，T.：异构规范和异构工具集。不来梅大学（2005年）
[25] Mossakowski，T.，Tarlecki，A.：异质规范（编制中）·Zbl 1253.68231号
[26] Mossakowski，T.，Tarlecki，A.：分布式规范的异构逻辑环境。输入：WADT 2008。LNCS，第5486卷，第266-289页。斯普林格，海德堡（2009）·Zbl 1253.68231号 ·doi:10.1007/978-3642-03429-9_18
[27] 对象管理组。MDA指南1.0.1版。技术报告，OMG（2003）www.OMG.org/docs/OMG/03-06-01.pdf
[28] 对象管理组。MOF 2.0核心规范。技术报告，OMG（2006）www.OMG.org/cgi-bin/doc？正式/2006-01-01
[29] Poernomo，I.：类型化的元对象工具。In：程序。SAC 2006，第1845-1849页。ACM，纽约（2006）
[30] Poernomo，I.：作为模型转换的证明。收录人：Vallecillo，A.，Gray，J.，Pierantonio，A.（编辑）ICMT 2008。LNCS，第5063卷，第214-228页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-69927-9_15
[31] Tarlecki，A.：在逻辑系统之间移动。In：程序。WADT 1995年。LNCS，第1130卷，第478-502页。斯普林格，海德堡（1996）·doi:10.1007/3-540-61629-2_59
[32] Varró，D.，Balogh，A.：VIATRA2框架的模型转换语言。科学。公司。掠夺。 68(3), 187–207 (2007) ·Zbl 1131.68040号 ·doi:10.1016/j.scico.2007.05.004
[33] Wehrheim，H.：面向对象规范形式化中的行为子类型。奥尔登堡大学Carl von Ossietzky（2002年）
[34] Wirsing，M.，Knapp，A.：软件开发中的视图一致性。收录于：Wirsing，M.、Knapp，A.、Balsamo，S.（编辑）RISSEF 2002。LNCS，第2941卷，第341-357页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-24626-8_24
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。