亚历山德罗·罗西尼;胡安·德·拉腊;埃丝特·格拉;阿德里安·拉特尔;乌韦·沃尔特 深度元建模的形式化。 (英语) Zbl 1342.68098号 正式Asp。计算。 26,第6期,1115-1152(2014). 引用于4文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:模型驱动工程;多级元建模;深度元建模;深入描述;效力;双重语言/本体论类型;语言延伸;范畴理论;图形变换;图表谓词框架;元深度 软件:莫德 PDF格式BibTeX公司 XML格式引用 \textit{A.Rossini}等人,正式Asp。计算。26,No.6,1115--1152(2014;Zbl 1342.68098) 全文: 内政部 链接 参考文献: [1] Aschauer T、Dauenhauer G、Pree W(2009)《工业自动化系统的多级建模》。摘自:《2009年EUROMICRO会议记录:第35届EUROMIRC软件工程和高级应用会议》,IEEE计算机学会,第490-496页 [2] Atkinson C,Gutheil M,Kennel B(2009)《多级语言工程的灵活基础设施》。IEEE Trans-Softw Eng 35(6):742-755·doi:10.1109/TSE.2009.31 [3] Atkinson C、Gerbig R、Kennel B(2012)《多级模型的实时校正》。收录人:Vallecillo A、Tolvanen J-P、Kindler E、Störrle H和Dimitrios S.Kolovos,编辑,《2012年欧洲货币基金组织会议记录:第八届欧洲建模基础和应用会议》,计算机科学讲稿第7349卷,第194-209页。柏林施普林格 [4] Atkinson C,Kühne T(2002)《严格元建模框架中的轮廓》。科学计算程序44(1):5-22·Zbl 1002.68734号 ·doi:10.1016/S0167-6423(02)00029-1 [5] Atkinson C,Kühne T(2002)《重新架构UML基础设施》。ACM Trans模型仿真计算12(4):290-321·doi:10.1145/643120.643123 [6] Atkinson C,Kühne T(2008)降低领域模型中的意外复杂性。软件系统模型7(3):345-359·doi:10.1007/s10270-007-0061-0 [7] Asikainen T,MännistöT(2009)Nivel:一种具有形式语义的元建模语言。软件系统模型8(4):521-549·doi:10.1007/s10270-008-0103-2 [8] Bézivin J,GerbéO(2001)《关于OMG/MDA框架的精确定义》。摘自:ASE 2001年会议记录:第16届IEEE自动化软件工程国际会议,第273-280页 [9] Boronat A,Meseguer J(2009)OCL约束元模型规范的代数语义。收录于:Oriol M、Meyer B、Aalst W、Mylopoulos J、Rosemann M、Shaw MJ、Szyperski C(eds)《2009年工具会议论文集:第47届对象、组件、模型和模式国际会议》,商业信息处理课堂讲稿第33卷,第96-115页。柏林施普林格 [10] Barr M,Wells C(1955)《计算科学的范畴理论》,第二版。新泽西州普伦蒂斯·霍尔·Zbl 0714.18001号 [11] Clavel M、Durán F、Eker S、Lincoln P、Martí-Oliet n、Meseguer J、Talcott CL(eds.)(2007)《关于maude的一切——高性能逻辑框架,如何在重写逻辑中指定、编程和验证系统》,计算机科学课堂讲稿第4350卷。柏林施普林格·兹比尔1115.68046 [12] Clark T,Sammut P,Willans J(2008)《应用元建模:语言驱动开发的基础》,第2版。凯尼尔沃思·塞特瓦 [13] de Lara J,Guerra E(2010)《深度元建模与元深度》。摘自:Vitek J(ed)《2010年工具学报》:第48届对象、组件、模型和模式国际会议,计算机科学讲稿第6141卷,第1-20页。柏林施普林格 [14] de Lara J,Guerra E,Cobos R,Moreno Llorena J(2014)为实际模型驱动工程扩展深度元建模。Comput J.57(1):36-58·doi:10.1093/comjnl/bxs144 [15] Diskin Z(1996)数据库作为图代数:通过草图的基于图的逻辑指定查询和视图。拉脱维亚里加Frame Inform Systems/LDBD技术报告9602·Zbl 1002.68734号 [16] Diskin Z(1997)面向计算机科学的基于代数图的模型理论。1995年逻辑座谈会:符号逻辑协会欧洲夏季会议。公牛符号逻辑3(1):144-145 [17] Diskin Z(2002)可视化与图表符号规范:UML案例研究。收录于:Hegarty M,Meyer B,Narayanan NH(eds)Proceedings of diagrams 2002:2nd international conference on diagrammatic representation and inference,volume 2317 of classnotes In computer science,pp 112-115。柏林施普林格·Zbl 1049.68680号 [18] Diskin Z(2003)《业务系统规范的实践基础》,UML数学:让UML的奥德赛不那么引人注目,第145-178页。柏林施普林格 [19] Diskin Z(2005)数据库技术和应用百科全书,模型管理I和II通用规范的数学章节,第351-366页。信息科学参考·Zbl 1002.68734号 [20] Diskin Z,Kadish B(2003)键控广义草图的变量集语义:对象标识的形式语义和概念建模的抽象语法。数据知识工程47(1):1-59·doi:10.1016/S0169-023X(03)00047-8 [21] Diskin Z,Kadish B(2005)《数据库技术和应用百科全书》,通用模型管理一章,第258-265页。信息科学参考 [22] Diskin Z、Kadish B、Piessens F、Johnson M(2000)《可视化建模的通用箭头基础》。作者:Anderson M,Cheng P,Haarslev V(eds)Proceedings of diagrams 2000:1st international conference on diagrammary representation and inference,卷1889,计算机科学课堂讲稿,第345-360页。柏林施普林格·Zbl 0973.68576号 [23] Demuth A、Lopez-Herrejon RE、Egyed A(2011)《交叉层建模器:一种具有一致性检查的灵活多级建模工具》。参见:Gyimóthy T,Zeller A(编辑)SIGSOFT/FSE 2011年会议记录:第19届ACM SIGSOFT软件工程基础研讨会,第452-455页。ACM公司 [24] Diskin Z,Wolter U(2008)面向对象可视化建模的图解逻辑。收录于:ACCAT 2007年会议记录:应用和计算范畴理论第二次研讨会,理论计算机科学电子笔记第203/6卷,第19-41页。阿姆斯特丹爱思唯尔·Zbl 1277.68055号 [25] Eclipse建模框架。项目网站。http://www.eclipse.org/emf。 [26] Ehrig H、Engels G、Kreowski H-J、Rozenberg G(1999)《图文法和图变换计算手册》,第2卷:应用程序、语言和工具。新加坡世界科学出版公司·Zbl 0998.68001号 [27] Ehrig H,Ehrig K,Prange U,Taentzer G(2006)代数图变换基础。柏林施普林格·Zbl 1095.68047号 [28] Ehrig H,Prange U,Taentzer G(2004)类型属性图变换的基本理论。在:Ehrig H,Engels G,Parisi Presicce F,Rozenberg G(编辑)ICGT 2004年会议记录:第二次图形变换国际会议,计算机科学讲义第3256卷,第161-177页。施普林格,柏林·Zbl 1116.68481号 [29] Luiz Fiadeiro J(2004)《软件工程分类》,柏林斯普林格出版社·Zbl 1138.68365号 [30] Gutheil M,Kennel B,Atkinson C(2008)多层建模环境中连接器的系统方法。收录于:Czarnecki K、Ober I、Bruel J-M、Uhl A、Völter M(eds)MoDELS 2008年会议记录:第11届模型驱动工程语言和系统国际会议,计算机科学讲稿第5301卷,第843-857页。柏林施普林格·Zbl 1246.68098号 [31] Gitzel R,Ott I,Schader M(2007)作为代码生成基础的MOF元模型的本体论扩展。计算J 50(1):93-115·doi:10.1093/comjnl/bxl052 [32] Gonzalez-Perez C,Henderson-Sellers B(2006)基于powertype的元建模框架。软件系统模型5(1):72-90·doi:10.1007/s10270-005-0099-9 [33] Jarke M、Gallersdörfer R、Jeusfeld MA、Staudt M(1995),概念库——元数据管理的演绎对象库。智能信息系统杂志。4(2): 167-192 ·doi:10.1007/BF00961873 [34] Kolovos DS、Paige RF、Polack F(2006)《Epsilon对象语言》(EOL)。收录于:Rensink A,Warmer J(eds)《ECMDA-FA 2006年会议记录:第二届欧洲模型驱动架构基础与应用会议》,计算机科学课堂讲稿第4066卷,第128-142页。柏林施普林格 [35] Kühne T,Schreiber D(2007)编程能从两级风格中解放出来吗?使用DeepJava进行多级编程。收录人:Gabriel RP、Bacon DF、Videira Lopes C、Steele GL Jr.(编辑)《OOPSLA 2007会议录》:第22届ACM SIGPLAN面向对象编程、系统、语言和应用年会,第229-244页。 [36] Mylopoulos J,Borgida A,Jarke M,Koubarakis M(1990)Telos:代表信息系统的知识。ACM传输信息系统。8(4): 325-362 ·数字对象标识代码:10.1145/102675.102676 [37] 对象管理组。网站。http://www.omg.org。 [38] 对象管理组。元对象设施规范,2006年1月。http://www.omg.org/spec/MOF/2.0/。 [39] 对象管理组。对象约束语言规范,2010年2月。http://www.omg.org/spec/OCL/2.2/。 [40] 对象管理组。统一建模语言规范,2010年5月。网址:http://www.omg.org/spec/UML/2.3/。 [41] Odell J(1994)电源类型。J面向对象程序7(2):8-12 [42] Poernomo I(2006)正式元建模的类型理论框架。摘自:计算机科学课堂讲稿第3938卷,第262-298页,关于用可信赖的组件构建系统的国际研讨会。柏林施普林格 [43] Rossini A、de Lara J、Guerra E、Rutle A、Lamo Y(2012)《深度元建模的基于图转换的语义》。收录于:Schürr A,VarróD,VaróG(eds)AGTIVE 2011年会议记录:第四届工业相关图形变换应用国际研讨会,计算机科学讲稿第7233卷,第19-34页。柏林施普林格 [44] Rossini A(2011)图谓词框架满足模型版本控制和深度元建模。挪威卑尔根大学信息学系博士论文,12月 [45] Rutle A、Rossini A、Lamo Y、Wolter U(2009)MDE中版本控制正式化的一种理论方法。收录于:Chechik M,Wirsing M(eds)Proceedings of FASE 2009:12th international conference on basic approachs to software engineering,volume 5503 of classion notes In computer science,pp 64-78。柏林施普林格·Zbl 1204.68075号 [46] Rutle A、Rossini A、Lamo Y、Wolter U(2009)基于MOF的建模语言的图表形式化。收录于:Oriol M、Meyer B、Aalst W、Mylopoulos J、Rosemann M、Shaw MJ、Szyperski C(eds)《2009年工具会议论文集:第47届对象、组件、模型和模式国际会议》,商业信息处理课堂讲稿第33卷,第37-56页。柏林施普林格 [47] Rossini A,Rutle A,Lamo Y,Wolter U(2010)MDE中版本控制的copy-modify-merge方法的正式化。逻辑代数程序。79(7):636-658, 2010. ·Zbl 1204.68075号 [48] Rutle A、Rossini A、Lamo Y、Wolter U(2010)约束感知模型转换的形式化。收录于:Rosenblum D,Taentzer D(eds)Proceedings of FASE 2010:13th international conference on basic approachs to software engineering,volume 6013 of classnotes In computer science,pp 13-28。柏林施普林格·Zbl 1204.68075号 [49] Rutle A、Rossini A、Lamo Y、Wolter U(2012)MDE中约束规范和转换的正式方法。逻辑代数程序J 81(4):422-457·Zbl 1246.68098号 ·doi:10.1016/j.jlap.2012.03.006 [50] Rossini A、Rutle A、Mughal KA、Lamo Y、Wolter U(2011)MDE中数据验证约束的正式方法。In:Kyas M,Meng S,Stolz V(eds)《2011年TTSS会议录》:第五届利用软件工具支持理论国际研讨会,第65-76页 [51] Rutle A(2010)图谓词框架:MDE的正式方法。2010年11月,挪威卑尔根大学信息学系博士论文 [52] Steinberg D、Budinsky F、Paternostro M、Merks Ed(2008)EMF:eclipse建模框架2.0,第2版。Addison-Wesley专业阅读 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。