×

特定领域语言与行为的融合。 (英语) Zbl 1353.68028号

摘要:特定领域语言(DSL)对特定领域越具体,就越有用。只有尽可能高效地开发DSL,才能满足开发大量DSL的需求。解决这一挑战的一种方法是在构建新DSL时重用(部分)DSL。DSL的重用建立在两个基础上:DSL组合的概念和确保组合DSL相对于组件DSL语义的安全性的理论结果。
给定DSL的图语法形式化,在本文中,我们建立在图转换系统态射的基础上,通过合并构造来定义参数化DSL及其实例化。关于沿诱导形态保护行为的结果允许我们安全地重用和组合DSL的定义来构建更复杂的定义。我们在e-Motions中说明了我们的建议,即生产线系统的DSL和三个独立的DSL,用于描述非功能属性,即响应时间、吞吐量和故障率。

MSC公司:

68甲15 编程语言理论
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Boehm,P。;Fonio,H.-R。;Habel,A.,《图形变换与同步应用的融合》,(Ehrig,H.;Floyd,C.;Nivat,M.;Thatcher,J.W.,TAPSOFT.TAPSOFT,计算机科学讲稿,第185卷(1985),Springer),267-283
[2] 布鲁斯,K.B。;彼得森,L。;Fiech,A.,子类型不是面向对象语言的良好“匹配”,(Akšit,M.;Matsuoka,S.,Proc.第11届欧洲面向对象编程会议(ECOOP'97)。程序。第11届欧洲面向对象编程会议(ECOOP’97),LNCS,第1241卷(1997),Springer,104-127
[3] Chen,K。;Sztipanovits,J。;Abdelwalhed,S。;Jackson,E.,《模型转换的语义锚定》(第一届欧洲模型驱动架构会议论文集:基金会和应用(ECMDA-FA'05)。程序。第一届欧洲模型驱动架构会议:基金会和应用(ECMDA-FA'05),计算机科学讲稿,第3748卷(2005),施普林格出版社)
[4] 克拉克,S。;Walker,R.J.,《使用主题/UML的通用面向方面设计》,(面向方面软件开发(2005),Addison-Wesley),425-458
[5] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.L.,《关于莫德的一切》,LNCS,第4350卷(2007年),斯普林格出版社
[7] (Cuny,J.;Ehrig,H.;Engels,G.;Rozenberg,G.,Proc.第五届图形语法及其在计算机科学中的应用国际研讨会,GraGra,1994。程序。第五届图形语法及其在计算机科学中的应用国际研讨会,GraGra,1994,计算机科学讲稿,第1073卷(1996),Springer)
[8] de Lara,J。;Bardohl,R。;Ehrig,H。;Ehrig,K。;Prange,U。;Taentzer,G.,带节点类型继承的属性图变换,Theor。计算。科学。,376,3139-163(2007年)·Zbl 1116.68042号
[9] de Lara,J。;Guerra,E.,《从类型到类型要求:模型驱动工程的通用性》,Softw。系统。型号。,12, 3, 453-474 (2013)
[10] de Lara,J。;Guerra,E.,《面向模型转换的灵活重用:基于图形转换的形式化方法》,J.Log。藻类。方法程序。,83,5-6,427-458(2014)·Zbl 1371.68055号
[11] de Lara,J。;Vangheluwe,H.,自动化视觉语言的基于转换的分析,Form.Asp。计算。,22, 3-4, 297-326 (2010) ·Zbl 1213.68412号
[12] Di Ruscio,D。;Jouault,F。;库尔特夫,I。;Bézivin,J。;Pierantonio,A.,《扩展AMMA以支持DSL的动态语义规范》(2006年4月),南特大西洋信息实验室(LINA),技术报告06.02
[13] 杜兰,F。;Orejas,F。;Zschaler,S.,《基于规则的模块化系统规范中的行为保护》(Martí-Oliet,N.;Palomino,M.,《代数开发技术的最新趋势》(WADT 2012)。代数开发技术的最新趋势(WADT 2012),计算机科学课堂讲稿,第7841卷(2013),施普林格出版社,24-49·Zbl 1394.68073号
[14] 杜兰,F。;Zschaler,S。;Troya,J.,《关于DSL中非功能属性的可重用规范》,(第五届国际软件语言工程会议(SLE 2012)(2012))
[15] Ehrig,H.,《图文法代数理论导论》,(Claus,V.;Ehrig;H.;Rozenberg,G.,《第一次图文法研讨会》,《计算机科学课堂讲稿》,第73卷(1979),Springer),1-69
[16] Ehrig,H。;Ehrig,K。;Prange,U。;Taentzer,G.,《代数图形变换基础》(2005),施普林格出版社
[17] (Ehrig,H.;Engels,G.;Kreowski,H.-J.;Rozenberg,G.,《应用、语言和工具》,《图形语法和图形转换计算手册》,第二卷(1999),《世界科学》)·Zbl 0998.68001号
[18] Ehrig,H。;哈贝尔,A。;Padberg,J。;Prange,U.,《粘合剂高级替代类别和系统》,(Ehrig,H.;Engels,G.;Parisi Presicce,F.;Rozenberg,G.,ICGT.ICGT,《计算机科学讲义》,第3256卷(2004年),Springer),144-160·Zbl 1116.68480号
[19] Ehrig,H。;Mahr,B.,《代数规范基础2》。模块规范和约束(1990),Springer·Zbl 0759.68013号
[20] Ehrig,H。;Prange,U。;Taentzer,G.,《类型化属性图变换的基本理论》,(Ehrig,H.;Engels,G.;Parisi-Presicce,F.;Rozenberg,G,《图变换》,第二届国际会议论文集,ICGT 2004。图变换,第二届国际会议论文集,ICGT 2004,计算机科学讲义,第3256卷(2004年),施普林格出版社,161-177·兹比尔1116.68481
[21] 恩格斯,G。;豪斯曼,J.H。;赫克尔,R。;Sauer,S.,《动态元建模:UML中行为图操作语义的图形方法》,(第三届统一建模语言:建模语言和应用国际会议(UML'00)论文集)。程序。第三届统一建模语言国际会议:建模语言与应用(UML'00),《计算机科学讲义》,第1939卷(2000),施普林格出版社,323-337
[22] 恩格斯,G。;赫克尔,R。;Cherchago,A.,图变换模块的灵活互连,(Kreowski,H.-J.;Montanari,U.;Orejas,F.;Rozenberg,G。;Taentzer,G.,《软件和系统建模中的形式化方法》,Hartmut Ehrig 60岁生日之际的论文。软件和系统建模中的形式化方法,Hartmut Ehrig 60岁生日专题论文,计算机科学讲稿,第3393卷(2005),Springer),38-63·Zbl 1075.68568号
[23] 恩格斯,G。;赫克尔,R。;Taentzer,G。;Ehrig,H.,《系统规范的基于参考模型和视图的组合方法》,国际期刊Softw。工程知识。工程师,7,4,457-477(1997)
[24] 医学博士Fabro。;Bezivin,J。;Jouault,F。;布雷顿,E。;Gueltas,G.,AMW:一个通用模型织布师(2005年),《辛格尼耶河畔的旅程》
[25] Fischer,T。;Niere,J。;托伦斯基,L。;Zündorf,A.,《故事图:一种基于统一建模语言的新图形重写语言》,(Engels,G.;Rozenberg,G.,第六届图形变换理论与应用国际研讨会(TAGT'98)论文集。程序。第六届图形变换理论与应用国际研讨会(TAGT'98),《计算机科学讲义》,第1764卷(2000),施普林格出版社,296-309·Zbl 0971.68647号
[26] 美国戈拉斯。;哈贝尔,A。;Ehrig,H.,胶粘剂类别中应用条件的规则的多重错位,数学。结构。计算。科学。,24, 4 (2014) ·Zbl 1342.68178号
[27] 美国哥拉斯。;Lambers,L。;Ehrig,H。;Orejas,F.,带继承的属性图变换:使用抽象关键对的高效冲突检测和局部汇流分析,Theor。计算。科学。,424, 46-68 (2012) ·Zbl 1284.68324号
[28] 格罗·罗德,M。;平价,F。;Simeoni,M.,类型图变换系统的空间和时间精化,(Brim,L.;Gruska,J.;Zlatuska,J.,计算机科学数学基础1998,第23届国际研讨会论文集,MFCS’98。1998年计算机科学数学基础,第23届国际研讨会论文集,MFCS’98,计算机科学讲稿,第1450卷(1998),Springer),553-561·Zbl 0910.18001号
[29] 格罗·罗德,M。;平价,F。;Simeoni,M.,《类型化图形转换系统的细化和模块的形式化软件规范》,J.Compute。系统。科学。,64, 2, 171-218 (2002) ·兹比尔1013.68066
[30] 盖伊,C。;康梅莱,B。;德里安,S。;钢铁,J.R。;Jézéquel,J.-M.,《关于模型子类型》(On model subtyping),(Vallecillo,A.;Tolvanen,J.-P.;Kindler,E.;Störrle,H.;Kolovos,D.,Proc.8th European Conf.On Modelling Foundations and Applications)(ECMFA’12)。程序。第八届欧洲建模基础与应用大会(ECMFA’12),LNCS,第7349卷(2012),施普林格出版社,400-415
[31] 哈贝尔,A。;Pennemann,K.-H.,与嵌套条件相关的高级转换系统的正确性,数学。结构。计算。科学。,19, 2, 245-296 (2009) ·Zbl 1168.68022号
[32] 赫克尔,R。;Cherchago,A.,图形服务规范的结构和行为兼容性,J.Log。代数。程序。,70, 1, 15-33 (2007) ·Zbl 1178.68033号
[33] 赫克尔,R。;Corradini,A。;Ehrig,H。;Löwe,M.,类型化图形转换系统的水平和垂直结构,数学。结构。计算。科学。,6, 6, 613-648 (1996) ·Zbl 0866.68056号
[35] Hemel,Z。;Kats,L.C.L。;Groenewegen,D.M。;Visser,E.,《通过模型转换生成代码:转换模块化的案例研究》,Softw。系统。型号。,9、3、375-402(2010年6月)
[36] Jouault,F。;阿利莱尔,F。;Bézivin,J。;Kurtev,I.,ATL:模型转换工具,科学。计算。程序。,72, 1-2, 31-39 (2008) ·Zbl 1154.68366号
[37] 克莱因,J。;Hélouét,L。;Jézéquel,J.-M.,《基于语义的场景编织》(Proc.5th Internal Conf.Aspect-Oriented Software Development(AOSD'06)(2006),ACM)
[38] Klein,J。;Kienzle,J.,可重用方面模型,(MODELS2007(2007)面向方面建模研讨会)
[40] Lack,S。;Sobocinski,P.,粘合剂类别,(Walukiewicz,I.,FoSSaCS.FoSSaCS,计算机科学讲稿,第2987卷(2004),Springer),273-288·兹比尔1126.68447
[41] 马查多·R。;Foss,L。;里贝罗,L.,图文法方面,ECEASST,18(2009)
[42] Manolios,P.,反应系统的机械验证(2001),德克萨斯大学奥斯汀分校,博士论文
[43] 梅塞盖尔,J。;帕洛米诺,M。;Martí-Oliet,N.,代数模拟,J.Log。代数。程序。,第79页,第2103-143页(2010年)·Zbl 1184.68300号
[44] Moreno-Delgado,A。;杜兰,F。;Zschaler,S。;Troya,J.,《用于灵活分析的模块化DSL:palladio的e-Motions重新实现》(Cabot,J.;Rubin,J..,《第十届欧洲建模基础和应用会议论文集》(ECMFA 2014)。《第十届欧洲建模基础与应用会议论文集》(ECMFA 2014),《计算机科学讲义》,第8569卷(2014),施普林格出版社,132-147
[45] 元对象设施(2014年)
[47] 里维拉,J.E。;杜兰,F。;Vallecillo,A.,使用Maude对特定领域模型进行形式化规范和分析,Simulation,85,11-12,778-792(2009年11月)
[48] 里维拉,J.E。;杜兰,F。;Vallecillo,A.,《DSL时间相关行为建模的图形方法》,(IEEE视觉语言和以人为本计算研讨会,2009年VL/HCC会议录,IEEE),51-55
[49] 里维拉,J.E。;杜兰,F。;Vallecillo,A.,《实时领域特定视觉语言的行为语义》,(Ølveczky,P。C.,重写逻辑及其应用——第八届国际研讨会,WRLA 2010,修订论文集。重写逻辑及其应用——第八届国际研讨会,WRLA 2010,修订论文选集,计算机科学讲稿,第6381卷(2010),Springer),174-190·Zbl 1306.68086号
[50] 里维拉,J.E。;Guerra,E。;de Lara,J。;Vallecillo,A.,《使用Maude分析可视化建模语言的基于规则的行为语义》,(软件语言工程第一届国际会议(SLE'08)Proc.of the first Intl.Conf.on Software Language Engineering)。程序。第一届软件语言工程国际会议(SLE'08),计算机科学讲稿,第5452卷(2008)),54-73
[51] Rose,L.M。;格拉,E。;de Lara,J。;埃蒂安,A。;Kolovos,D.S。;Paige,R.F.,模型管理操作的通用性,Softw。系统。型号。,12, 1, 201-219 (2013)
[52] (Rozenberg,G.,《图形语法和图形变换计算手册》,第一卷:基础(1997),《世界科学》)·兹比尔0908.68095
[53] Schmidt,D.C.,模型驱动工程,IEEE计算。,39、2、25-31(2006年2月)
[55] Taentzer,G。;Schürr DIEGO,A.,图变换系统模块概念的另一步,Electron。注释Theor。计算。科学。,2, 277-285 (1995)
[56] 蒂西,M。;Jouault,F。;兄弟会,P。;塞里,S。;Bézivin,J.,《关于高阶模型转换的使用》,(Paige,R.F.;Hartman,A.;Rensink,A.,第五届欧洲模型驱动体系结构-基础和应用会议(ECMDA-FA'09)。程序。第五届欧洲模型驱动架构会议——基础与应用(ECMDA-FA'09),计算机科学讲稿,第5562卷(2009),施普林格出版社,18-33
[57] Troya,J。;里维拉,J.E。;Vallecillo,A.,《通过观察模拟特定领域的视觉模型》(Proc.2010 Spring Simulation Multiconference(SpringSim’10)(2010),ACM),128:1-128:8
[58] Troya,J。;瓦莱西略,A。;杜兰,F。;Zschaler,S.,基于规则的领域特定视觉模型的模型驱动性能分析,Inf.Softw。技术。,55, 1, 88-110 (2013)
[59] van Deursen,A。;Klint,P。;Visser,J.,《特定领域语言:注释书目》,SIGPLAN Not。,35, 6, 26-36 (2000)
[60] 惠特尔,J。;贾亚拉曼,P。;Elkhodary,A。;Moreira,A。;Araújo MATA,J.,《基于图转换构建UML方面模型的统一方法》(Katz,S.;Osser,H.,《面向方面开发事务》(TAOSD VI),《方面和MDE专题》。面向方面的发展事务(TAOSD VI),关于方面和MDE的特刊,LNCS,第5560卷(2009年10月),Springer,191-237
[61] Zschaler,S.,基于组件的软件系统非功能属性的形式化规范:语义框架及其一些应用,Softw。系统。型号。,9,161-201(2009年4月)
[62] Zschaler,S.,《走向基于约束的模型类型:模型泛型的广义形式基础》(Atkinson,C.;Burger,E.;Goldschmidt,T.;Reussner,R.,Proc.第二届基于视图、面向方面和正交软件建模研讨会(VAO’14)(2014))
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。