×

兹马思-数学第一资源

PTL:一种基于逻辑编程的模型转换语言。(英语) Zbl公司 1351.68047
摘要:本文提出了一种基于逻辑编程的模型转换语言。这种语言称为PTL(Prolog-based Transformation language),可以看作是一种混合语言,其中ATL(Atlas Transformation language)风格的规则与定义转换的逻辑规则相结合。ATL样式的规则用于定义从源模型到目标模型的映射,而逻辑规则用作助手。PTL的实现基于Prolog规则对ATL风格的规则进行编码。因此,PTL使用Prolog作为转换引擎。我们为PTL提供了一个声明性语义,并证明了该语义等价于编码程序。为了将ATL映射到PTL,我们研究了一种以Prolog为目标的对象约束语言OCL的编码方法。因此,PTL的一个子集可以被视为是ATL的一个子集。该语言还可以用于模型验证,即检查模型和转换的约束。我们为我们的语言配备了调试和跟踪功能,帮助开发人员检测PTL规则中的编程错误。此外,我们还开发了一个Eclipse插件,用于编辑PTL程序,以及用于调试、跟踪和验证。最后,我们用几个转换实例对该语言进行了评估,并用大型模型测试了该语言的性能。
理学硕士:
68N15 程序设计语言理论
68N17 逻辑程序设计
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 查内基,K。;Helsen,S.,模型转换方法的分类,OOPSLA'03模型驱动架构环境下生成技术研讨会,45,3,1-17,(2003)
[2] 焦特,F。;Kurtev,I.,《模型到模型转换语言的互操作性》,Sci。计算机。程序,68,3,114-137,(2007年)·Zbl公司 1131.68357
[3] 男性,T。;戈普,P。五、 ,模型转换的分类,电子。理论笔记。计算机。科学,152125-142,(2006)
[4] Strat,L.,模型转换和工具集成,软件。系统。模型,4,2,112-122,(2005年)
[5] 阿姆拉尼,M。;丁格尔,J。;羔羊,L。;ú首席信息官。;萨拉伊,R。;塞利姆,G。;叙利亚语,E。;Wimmer,M.,走向模型转换意图目录,(第一届模型转换分析研讨会论文集,(2012),ACM),3-8
[6] OMG,模型驱动架构(2014),对象管理组,技术代表。
[7] OMG,统一建模语言规范,版本2.4.1,(2011),对象管理组,技术代表。
[8] 查内基,K。;Helsen,S.,基于特征的模型转换方法调查,IBM系统。J、 ,45,3,621-645,(2006年)
[9] 焦特,F。;阿利莱尔,F。;Bé齐文,J。;Kurtev,I.,ATL:模型转换工具,Sci。计算机。程序,72,1-2,31-39,(2008年)·Zbl公司 1154.68366
[10] Favre,J.-M.,走向模型驱动工程的基本理论,(软件模型工程第三次研讨会,(2004),WiSME),262-271
[11] 格伯,A。;劳利,M。;雷蒙德,K。;钢,J。;伍德,A.,《转化:MDA缺失的一环》,《ICGT’02过程,选。计算机笔记。科学,第2505卷,(2002),斯普林格,90-105·Zbl公司 1028.68503
[12] 劳利,M。;Steel,J.,用tefkat进行实际的声明性模型转换,(卫星事件模型,Lect。计算机笔记。科学,第3844卷,(2006),斯普林格,139-150
[13] 劳利,M。;Raymond,K.,《实现一个实用的基于声明逻辑的模型转换引擎》,(SAC'07:2007年ACM应用计算研讨会论文集,(2007年),美国纽约ACM,971-977
[14] Varr公司ó, D、 《IT系统分析的自动化模型转换》(2004年),布达佩斯技术经济大学博士。论文
[15] 附表ätz,B.,EMF ecore模型的形式化和基于规则的转换,(Ga)š埃维ć, D、 。;ä夫人,R。;Wyk,E.,《软件语言工程》(2009年),斯普林格·维拉格·柏林,海德堡),227-244
[16] 巴洛格,Z。;Varr公司ó, D、 应用归纳逻辑编程软件进行模型转换。系统。模型,8,3,347-364,(2009年)
[17] 杰克逊,E。K、 。;Schulte,W.,Formula 2.0:形式规范的语言,(统一编程理论和形式工程方法,(2013),Springer),156-206·Zbl公司 1444.68052
[18] 一种基于prolog的方法来表示和查询UML模型,(Intl.Ws。《视觉语言与逻辑》(2007版),第274卷,(2007年),第71-84页
[19] 欧茨,J。;Pü赫尔,J。;塞德尔,M。;汤姆皮茨,H。;Zwickl,P.,VIDEAS:基于模型驱动工程技术的答案集程序开发工具,(逻辑编程和非单调推理,(2011),Springer),382-387
[20] 戈德伯格,M。;Wiener,G.,《软件建模的声明性方法》,《声明性语言的实用方面》,Lect。计算机笔记。科学,第7149卷,(2012),斯普林格,18-32
[21] Chimia Opoka,J。;费尔德勒,M。;伦茨,C。;Lange,C.,使用OCL和prolog查询UML模型:性能研究,(IEEE软件测试验证与验证国际会议,2008,ICSTW'08,(2008),IEEE),81-88
[22] 赫特尔,T。;劳利,M。;Raymond,K.,《模型往返工程:一种诱因方法》,《第二届模型转换理论与实践国际会议论文集》,ICMT'09,(2009),Springer-Verlag),100-115
[23] 卡伊,Z。;纳迪姆,A。;Lee,G.-s.,基于prolog的UML类图和序列图一致性检查方法(Kim,T.-h。;阿德利,H。;金,H.-k。;康,H.-j。;金,K。J、 。;基米,A。;Kang,B.-H.,软件工程,业务连续性,和教育,公社。计算机。《信息科学》,第257卷,(2011年),斯普林格柏林,海德堡),85-96
[24] 西切蒂,A。;迪鲁西奥,D。;埃拉莫,R。;Pierantonio,A.,JTL:双向和变化传播转换语言,(软件语言工程,(2011),Springer),183-202
[25] 卡博特,J。;克拉里斯ó, R、 。;《综合运作(operation)》第55卷,第40期,综合运作(operation),通用建模语言(UML)第40卷(OCRIED),2009年
[26] 布兰克,X。;莫尼尔,我。;莫吉诺,A。;Mens,T.,通过基于操作的模型构建检测模型不一致性,(ACM/IEEE第30届软件工程国际会议,2008年,ICSE'08,(2008年),IEEE),511-520
[27] 巴托里,D。;拉蒂默,E。;Azanza,M.,从关系数据库的角度教授模型驱动工程,(模型驱动工程语言和系统,(2013),Springer),121-137
[28] 希伯德,M。;劳利,M。;Raymond,K.,模型转换的法医调试,(模型驱动工程语言和系统,(2007),Springer),589-604
[29] 伯格曼,G。;乌杰尔伊,Z。;Rá第,一。;Varr公司ó, D、 ,EMF模型的图形查询语言(Cabot,J。;Visser,E.,《模型转换的理论与实践》,Lect。计算机笔记。科学,第6707卷,(2011),斯普林格,167-182
[30] 乌杰尔伊,Z。;伯格曼,G。;黑格尔üs,Á.; 霍尔夫á天,Á.; 工业园区ó, B、 。;Rá第,一。;Szamt公司ári,Z。;Varr公司ó, D、 ,EMF incquery:livemodel查询的集成开发环境,Sci。计算机。Program.,98,Part 1,80-99,(2015),实验软件和工具箱(EST)第五期:关于使用Eclipse进行学术建模的特刊(ACME2012)
[31] 勋博克,J。;卡佩尔,G。;库塞尔,A。;雷茨切格,W。;施温格,W。;Wimmer,M.,Catch me if you can-调试模型转换支持,(Models in Software Engineering,(2010),Springer),5-20
[32] Stevens,P.,《QVT中的双向模型转换:语义问题和开放问题》,Softw。系统。模型,9,1,7-20,(2010年)
[33] 莫蒂克,B。;格雷乌,B。C、 。;霍洛克斯,I。;吴,Z。;佛库,A。;Lutz,C.,OWL2Web本体论:使用规则在OWL2RL和RDF图中进行推理,(2009),技术代表。
[34] 阿尔门德罗斯·吉姆é尼兹,J。M、 逻辑程序设计中的OWL-RL:查询、推理和不一致性解释(Bikakis,A。;Giurca,A.,RuleML,选择。计算机笔记。科学,卷7438,(2012),斯普林格),248-255
[35] 奎拉特,A。;阿塔莱,A。;加尔瓦内斯,D。;Teniente,E.,OCL lite:UML/OCL概念模式的有限推理,数据知识。工程学,73,1-22,(2012年)
[36] 特洛亚,J。;Vallecillo,A.,面向ATL的重写逻辑语义,(模型转换的理论和实践,(2010)),230-244
[37] 阿尔门德罗斯·吉姆é尼兹,J。M、 。;Iribarne,L.,一种基于逻辑编程的模型转换语言(van Emde Boas,P。;等,第39届国际计算机科学理论与实践趋势国际会议,SOFSEM 2013,Lect。计算机笔记。科学,第7741卷,(2013年),斯普林格·韦拉格,382-394·Zbl公司 1303.68037
[38] 阿尔门德罗斯·吉姆é尼兹,J。M、 。;伊利诺伊州伊里巴恩。;席尔瓦,J。;Tiezzi,F.,基于本体的转换中的模型验证,WWV,Electron。程序。理论。计算机。科学,98,17-30,(2012)
[39] 阿尔门德罗斯·吉姆é尼兹,J。M、 。;Iribarne,L.,《基于odm模型的SWRL和OWL的转换和验证》,(Abelló, A、 。;贝拉特里切,L。;Benatallah,B.,模型和数据工程-第二届国际会议,MEDI,Lect。计算机笔记。科学,第7602卷,(2012),斯普林格),103-115
[40] 威斯梅克,J。;施赖伯,G。;Wielinga,B.,基于Prolog的RDF基础设施:可伸缩性和性能,(语义Web ISWC 2003,(2003),Springer),644-658
[41] 巴茨,G。五、 。;克罗尔,M。;盖伊ß, R、 ,搜索计划驱动的图模式匹配的第一次实验性评价,(工业关联图变换的应用,(2008),Springer),471-486
[42] Varr公司ó, G、 。;弗里德尔,K。;Varr公司ó, D、 ,自适应图形模式匹配模型转换使用模型敏感搜索计划,电子。理论笔记。计算机。第152卷,第205-2006页
[43] OMG,MOF 2.0查询/视图/转换v1.1,(2011),对象管理组,技术代表。
[44] Kurtev,I.,QVT技术现状:模型转换语言标准,(第三届国际工业相关图转换应用研讨会,(2008),Springer),377-393
[45] 焦特,F。;Kurtev,I.,关于ATL和QVT的体系结构对齐,(SAC'06:2006年ACM应用计算研讨会论文集,(2006年),美国纽约ACM,1188-1195
[46] Sánchez Cuadrado,J。;加塞ía-Molina,J。;男人árguez Tortosa,M.,Rubytl:一种实用的、可扩展的转换语言(模型驱动体系结构过程-基础与应用,Lect)。计算机笔记。科学,第4066卷,(2006年),斯普林格,158-172页
[47] Tratt,L.,MT模型转换语言(SAC'06:2006年ACM应用计算研讨会论文集),美国纽约ACM,1296-1303
[48] Agrawal,A.,图重写和转换(great):模型集成计算(MIC)瓶颈的解决方案,(第18届IEEE自动化软件工程会议论文集,2003年10月6-10日,(2003年)),364-368
[49] Taentzer,G.,AGG:用于软件建模和验证的图转换环境,(具有工业相关性的图转换应用:第二届国际研讨会,Agctive 2003,2003年9月27日至10月1日,美国弗吉尼亚州夏洛茨维尔,莱克特。计算机笔记。科学,第3062卷,(2004年)),446-453,修订精选和邀请论文
[50] Königs,A.,三重图文法的模型转换,(模型转换在实际卫星模型研讨会,(2005年)),166
[51] 巴洛赫,A。;Varr公司ó, D、 ,VIATRA2框架的模型转换语言,Sci。计算机。计划,683187-207,(2007年)·Zbl公司 1131.68040
[52] 附表ätz,B.,模型转换的验证,(第八届图形转换和可视化建模技术国际研讨会论文集,GT-VMT,(2009)),电子。公社。第18季
[53] Schatz,B.,Prolog EMF transformation eclipse plugin,(2009),技术大学信息研究所ät米ünchen,技术代表。
[54] 赫登,D。一、 ,Deltaware:模型驱动体系结构中自动化软件演化的增量变更传播(2007),昆士兰大学信息技术与电子工程中心或研究所,博士。论文
[55] 罗梅罗,J。R、 。;里维拉,J。E、 。;杜尔án、 F。;Vallecillo,A.,与maude,J.的模型驱动工程的正式和工具支持。对象技术,6,9,187-207,(2007)
[56] 克莱维尔,M。;埃吉亚,M。;席尔瓦,V。T、 D.,MOVA:UML类图建模、测量和验证的工具(2008),马德里大学,技术代表。
[57] 博罗纳特,A。;赫克尔,R。;Meseguer,J.,《重写逻辑语义和模型转换的验证》,(FASE'09:第12届软件工程基本方法国际会议论文集,(2009年),柏林,海德堡,Springer Verlag),18-33
[58] 多尔曼,P。;Herold,S.,设计和应用基于逻辑的模型查询框架,(第36届欧洲微型软件工程和高级应用会议(SEAA),(2010),IEEE),164-171
[59] 伯格曼,G。;霍尔夫á天,Á.; Rá第,一。;Varr公司ó, D、 。;巴洛赫,A。;巴洛格,Z。;Ö克朗ös、 A.,EMF模型上模型查询的增量评估,(模型驱动工程语言和系统,(2010),Springer),76-90
[60] Demuth,B.,德累斯顿OCL工具包及其在信息系统开发中的作用,(Proc。第十三届信息系统发展国际会议(ISD'2004),(2004年),第1-12页
[61] 克莱维尔,M。;埃吉亚,M。;加塞ía de Dios,M。A、 ,检查OCL约束的不可满足性,Electron。公社。EASST,24岁,(2009年)
[62] Boronat,A.,MOMENT:模型管理的正式框架,(2007),西班牙巴伦西亚理工大学(UPV),计算机科学博士
[63] 克莱维尔,M。;Egea,M.,ITP/OCL:UML+OCL静态类图的基于重写的验证工具,(代数方法和软件技术,(2006),Springer),368-373
[64] 布鲁克,A。D、 。;Wolff,B.,HOL-OCL:UML/OCL的正式证明环境,(软件工程的基本方法,(2008),Springer),97-100
〔65〕 Bergmann,G.,将OCL转换为图形模式,(模型驱动的工程语言和系统,(2014),Springer),670-686
[66] 阿伦特,T。;哈贝尔,A。;拉德克,H。;《从核心OCL不变量到嵌套图约束》(Giese,H。;Konig,B.,图形变换,Lect。计算机笔记。科学,第8571卷,(2014),斯普林格国际出版社,97-112·Zbl公司 1423.68092
[67] 卡博特,J。;克拉里斯,R。;格拉,E。;de Lara,J.,声明性模型到模型转换的验证与验证,J。系统。软件,283-302,(2010年)
[68] 瓦莱罗。;Gogolla,M.,《使用域类型化模型转换》,(模型转换的理论与实践,(2012),Springer),56-71
〔69〕 焦特,F。;Kurtev,I.,用ATL转换模型,(2005年模型会议上的卫星事件,(2006年),Springer),128-138
[70] 克莱维尔,M。;杜尔án、 F。;埃克尔,S。;林肯,P。;市场í-奥利特,N。;梅斯格尔,J。;Talcott,C.,maude 2.0系统,(Nieuwenhuis,R.,重写技术和应用(RTA 2003),Lect。计算机笔记。科学,第2706卷,(2003年),斯普林格·韦拉格,76-87·Zbl公司 1038.68559
[71] Egyed,A.,自动检测和跟踪软件设计模型中的不一致性,IEEE Trans。软。英国,37,2188-204,(2011年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。