×

图形转换的边缘——用于行为规范的图形。 (英语) Zbl 1309.68112号

Gregor(编辑)Engels等人,《图形转换和模型驱动工程》,在Manfred Nagl 65岁生日之际发表的论文。柏林:施普林格出版社(ISBN 978-3-642-17321-9/pbk)。计算机科学课堂讲稿5765,6-32(2010)。
小结:本文的标题除了是一个双关语外,还可以理解为图变换研究的前沿,或者是使用图变换的优势。关注后者:为什么还没有受过该领域教育的人应该采用基于图变换的方法,而不是主流建模语言或过程代数;反之亦然,是什么阻碍了潜在用户的发展?通过关注可用性(可用工具)或功能(可用理论)等特定方面,可以进一步完善这些问题。
在本文中,我们对这些问题进行了全新而诚实的研究。我们的观点是使用图形转换作为系统行为规范和分析的形式主义。毫无疑问,图的一般性质既是它们的主要卖点(基本上所有的东西都可以用图来指定),也是它们的主要缺点(图的操作很复杂,许多在更专业的形式主义中有用的性质不再适用于一般图)。
本文的结果是一系列建议,可用于概述未来十年的研究和开发计划。这可能有助于刺激科学界其他人对图形变换的持续接受,并使其越来越被接受,从而确保研究具有相关性、创新性和前沿性。
关于整个系列,请参见[Zbl 1200.68006号].

MSC公司:

2012年第68季度 语法和重写系统
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] APPLIGRAPH:图形变换的应用(1994),http://www.informatik.uni-bremen.de/theorie/appligraph/
[2] Baldan,P.,Corradini,A.,König,B.:图形转换系统的静态分析技术。In:Larsen,K.G.,Nielsen,M.(编辑)CONCUR 2001。LNCS,第2154卷,第381-395页。斯普林格,海德堡(2001)·Zbl 1006.68529号 ·数字对象标识代码:10.1007/3-540-44685-0_26
[3] Baldan,P.,Corradini,A.,König,B.:验证无限状态图变换系统的框架。Inf.计算。 206(7), 869–907 (2008) ·Zbl 1153.68034号 ·doi:10.1016/j.ic.2008.04.002
[4] Baldan,P.,Ehrig,H.,König,B.:借用上下文的dpo变换的合成和分解。收录于:[13],第153-167页·Zbl 1156.68417号 ·doi:10.1007/11841883_12
[5] Bardohl,R.,Ehrig,H.,de Lara,J.,Taentzer,G.:将元建模方面与图形转换相结合,以实现高效的可视化语言定义和模型操作。收录:Wermelinger,M.,Margaria-Steffen,T.(编辑)FASE 2004。LNCS,第2984卷,第214-228页。斯普林格,海德堡(2004)·Zbl 1129.68420号 ·数字对象标识代码:10.1007/978-3-540-24721-016
[6] Baresi,L.,Heckel,R.:图形转换教程简介:软件工程视角。收录于:[24],第431-433页·Zbl 1028.68509号
[7] Bauer,J.,Boneva,I.,Kurbán,M.E.,Rensink,A.:基于模态逻辑的图形抽象。收录于:[25],第321-335页·Zbl 1175.68214号 ·doi:10.1007/978-3-540-87405-8_22
[8] Bauer,J.,Wilhelm,R.:通过伙伴抽象对动态通信系统进行静态分析。收录:Riis Nielson,H.,Filé,G.(编辑)SAS 2007。LNCS,第4634卷,第249-264页。斯普林格,海德堡(2007)·Zbl 1211.68243号 ·doi:10.1007/978-3-540-74061-2_16
[9] Bergmann,G.,Horváth,An。,Ráth,I.,Varró,D.:图形变换中增量模式匹配的基准评估。收录于:[25],第396–410页·Zbl 1175.68215号 ·doi:10.1007/978-3-540-87405-8_27
[10] Burch,J.R.,Clarke,E.M.,McMillan,K.L.,Dill,D.L.,Hwang,L.J.:符号模型检查:1020个状态及以上。摘自:《计算机科学中的逻辑》(LICS),第428-439页。IEEE计算机学会,洛斯阿拉米托斯(1990)·Zbl 0753.68066号
[11] Ciraci,S.:基于图形的软件演化需求验证。特文特大学博士论文(2009年)
[12] Corradini,A.,Dotti,F.L.,Foss,L.,Ribeiro,L.:将java代码转换为图形转换系统。收录于:[24],第383–398页·Zbl 1116.68382号 ·doi:10.1007/978-3-540-30203-2_27
[13] Corradini,A.,Ehrig,H.,Montanari,U.,Ribeiro,L.,Rozenberg,G.(编辑):图形变换国际会议(ICGT)。LNCS,第4178卷。斯普林格,海德堡(2006)·Zbl 1147.68003号
[14] Corradini,A.,Montanari,U.(编辑):COMPUGRAPH/SEMAGRAPH图形重写和计算联合研讨会(SEGRAGRA)。理论计算机科学电子笔记,第2卷(1995)·Zbl 0903.00060号
[15] Crouzen,P.,van de Pol,J.C.,Rensink,A.:将形式化方法应用于带有mCRL和GROOVE的八卦网络。ACM SIGMETRICS绩效评估审查36(3),7–16(2008)·数字对象标识代码:10.1145/1481506.1481510
[16] Dodds,M.,Plump,D.:恒定时间中的图形变换。收录于:[13],第367-382页·Zbl 1156.68400号 ·doi:10.1007/11841883_26
[17] Dörr,H.:高效的图形重写及其实现。LNCS,第922卷。斯普林格,海德堡(1995)·Zbl 1154.68435号 ·doi:10.1007/BFb0031909
[18] Dotti,F.L.,Ribeiro,L.,dos Santos,O.M.,Pasini,F.:验证基于对象的图语法。软件和系统建模5(3),289–311(2006)·Zbl 05672215号 ·数字对象标识代码:10.1007/s10270-006-0014-z
[19] Drewes,F.,Hoffmann,B.,Plump,D.:层次图变换。J.计算。系统。科学。 64(2), 249–283 (2002) ·Zbl 0999.68096号 ·doi:10.1006/jcss.2001.1790
[20] Ehrig,H.:汇编简介。收录于:[14],第89-100页·Zbl 0910.68111号 ·doi:10.1016/S1571-0661(05)80185-9
[21] Ehrig,H.、Ehrig、K.、Prange,U.、Taentzer,G.:基于粘着hlr范畴的类型化属性图和图变换的基本理论。芬达姆。通知。 74(1), 31–61 (2006) ·Zbl 1106.68055号
[22] Ehrig,H.、Ehrig、K.、Prange,U.、Taentzer,G.:代数图形变换基础。理论计算机科学专著。斯普林格,海德堡(2006)·Zbl 1095.68047号
[23] Ehrig,H.,Engels,G.,Kreowski,H.J.,Rozenberg,G.(编辑):《图形语法和图形变换计算手册》。应用程序、语言和工具,第二卷。《世界科学》,新加坡(1999年)·Zbl 0998.68001号
[24] Ehrig,H.,Engels,G.,Parisi-Presicce,F.,Rozenberg,G.(编辑):图形变换国际会议(ICGT)。LNCS,第3256卷。斯普林格,海德堡(2004)·Zbl 1056.68008号
[25] Ehrig,H。、Heckel,R。、Rozenberg,G。、Taentzer,G(编辑):图形变换国际会议(ICGT)。LNCS,第5214卷。斯普林格,海德堡(2008)·兹比尔1148.68002
[26] Ehrig,H.,Kreowski,H.J.,Montanari,U.,Rozenberg,G.(编辑):《图形语法和图形变换计算手册》。并行、并行和分发,第三卷。《世界科学》,新加坡(1999年)·Zbl 0951.68049号
[27] Ehrig,H.,Ppender,M.,Schneider,H.J.:图文法:代数方法。摘自:第14届交换与自动机理论年度研讨会,第167-180页。IEEE,洛斯阿拉米托斯(1973)·doi:10.1109/SWAT.1973.11
[28] Engels,G.,Soltenborn,C.,Wehrheim,H.:使用动态元建模分析UML活动。收录:Bonsangue,M.M.,Johnsen,E.B.(编辑)FMOODS 2007。LNCS,第4468卷,第76-90页。斯普林格,海德堡(2007)·Zbl 1202.68095号 ·doi:10.1007/978-3-540-72952-55
[29] Ermel,C.,Rudolf,M.,Taentzer,G.:AGG方法:语言和环境。在:[23],http://tfs.cs.tu-berlin.de/agg/
[30] FUJABA工具套件(2006),网址:http://www.fujaba.de
[31] GBT–图形向后工具,http://www.it.uu.se/research/group/mobility/adhoc/gbt
[32] Geiß,R.,Batz,G.V.,Grund,D.,Hack,S.,Szalkowski,A.:Grgen:一种快速的基于spo的图形重写工具。收录于:[13],第383–397页·Zbl 1156.68427号 ·doi:10.1007/11841883_27
[33] GETGRATS:图变换系统的一般理论(1997),网址:http://www.di.unipi.it/安德里亚/格特格拉茨/
[34] Gorp,P.V.,Keller,A.,Janssens,D.:基于轮廓和高阶转换的转换语言集成。收录:Gašević,D.,Lämmel,R.,Van Wyk,E.(编辑)SLE 2008。LNCS,第5452卷,第208-226页。斯普林格,海德堡(2009)·兹伯利05531540 ·doi:10.1007/978-3-642-00434-6_14
[35] Hausmann,J.H.:动态元建模:可视化建模语言的语义描述技术。帕德博恩大学博士论文(2005年)
[36] Hausmann,J.H.,Heckel,R.,Sauer,S.:面向UML扩展的动态元建模:UML序列图的可扩展语义。摘自:《以人为中心的计算语言和环境》(HCC),第80-87页。IEEE计算机学会,Los Alamitos(2001)
[37] Holt,R.C.,Schürr,A.,Sim,S.E.,Winter,A.:GXL:基于图形的再工程标准交换格式。科学。计算。程序。60(2),149–170(2006年)·Zbl 1092.68014号 ·doi:10.1016/j.scico.2005.10.003
[38] Holzmann,G.:SPIN模型检查器-底漆和参考手册。Addison-Wesley,雷丁(2004)
[39] 阿拉巴马州霍瓦思。,瓦罗,G.,瓦罗,D.:匹配高级图形模式的通用搜索计划。收录:Karsten Ehrig,H.G.(编辑)《图形转换和可视化建模技术》(GT-VMT)。EASST的电子通信,第6卷(2007年)
[40] Ivancic,F.,Yang,Z.,Ganai,M.K.,Gupta,A.,Ashar,P.:用于软件验证的基于SAT的有效有界模型检查。西奥。计算。科学。 404(3), 256–274 (2008) ·Zbl 1293.68079号 ·doi:10.1016/j.tcs.2008.03.013
[41] Kastenberg,H.,Kleppe,A.,Rensink,A.:使用图形转换定义面向对象的执行语义。收录:Gorrieri,R.,Wehrheim,H.(编辑)FMOODS 2006。LNCS,第4037卷,第186–201页。斯普林格,海德堡(2006)·doi:10.1007/11768869_15
[42] Kleppe,A.G.,Rensink,A.:关于UML类和对象图的基于图形的语义。In:Ermel,C.、Lara,J.D.、Heckel,R.(编辑)《图形转换和可视化建模技术》(GT-VMT)。EASST的电子通信,第10卷。EASST(2008)
[43] König,B.,Kozioura,V.:图变换系统分析的反例引导抽象求精。收录:Hermanns,H.,Palsberg,J.(编辑)TACAS 2006。LNCS,第3920卷,第197-211页。斯普林格,海德堡(2006)·Zbl 1180.68194号 ·doi:10.1007/11691372_13
[44] König,B.,Kozioura,V.:Augur 2–图形转换系统分析工具的新版本。In:Bruni,R.,Varró,D.(编辑)《图形转换和可视化建模技术》(GT-VMT 2006)。理论计算机科学电子笔记,第211卷,第201–210页(2008)·兹比尔06272280 ·doi:10.1016/j.entcs.2008.04.042
[45] Kuske,S.、Gogolla,M.、Kreowski,H.J.、Ziemann,P.:面向UML的基于图形的集成语义。软件和系统建模8(3),403-422(2009)·Zbl 05672236号 ·doi:10.1007/s10270-008-0101-4
[46] Lambers,L.:GTXL的新版本:图形转换系统的交换格式。摘自:基于图形的工具(GraBaT)国际研讨会论文集。《理论计算机科学电子笔记》,第127卷,第51-63页(2005年3月)·doi:10.1016/j.entcs.2004.12.030
[47] Lengyel,L.、Levendovszky,T.、Vajk,T.和Charaf,H.:通过基于图形重写的模型转换实现qvt。收录于:Karsai,G.,Taentzer,G..(编辑)图形和模型转换(GraMoT)。EASST的电子通信,第4卷(2006)
[48] Levendovszky,T.,Rensink,A.,Van Gorp,P.:第五届基于图形的工具国际研讨会:竞赛(抓取)(2009年),http://is.ieis.tue.nl/staff/pvgorp/events/grabats2009
[49] McMillan,K.L.:在无界模型检查中利用sat解算器的方法。在:共同设计的形式方法和模型(MEMOCODE),第135页。IEEE计算机学会,洛斯阿拉米托斯(2003)
[50] Milner,R.:沟通与并发。Prentice-Hall公司,Englewood Cliffs(1989)·Zbl 0683.68008号
[51] Milner,R.:双图反应系统。收录:Larsen,K.G.,Nielsen,M.(编辑)CONCUR 2001。LNCS,第2154卷,第16-35页。斯普林格,海德堡(2001)·兹比尔1006.68080 ·doi:10.1007/3-540-44685-02
[52] Milner,R.:纯双图:结构和动力学。Inf.计算。 204(1), 60–122 (2006) ·Zbl 1093.68067号 ·doi:10.1016/j.ic.2005.07.003
[53] Nagl,M.:图形语法的集合论方法。收录于:Ehrig,H.,Nagl,M.,Rosenfeld,A.,Rozenberg,G.(编辑)Graph Grammars 1986。LNCS,第291卷,第41-54页。斯普林格,海德堡(1987)·Zbl 0643.68115号 ·文件编号:10.1007/3-540-18771-543
[54] OMG:元对象设施(MOF)核心规范,2.0版。文件正式/06-01-01,对象管理组(2006),http://www.omg.org/cgi-bin/doc?正式/06-01-01
[55] OMG:统一建模语言,上层建筑,v2.2。文件正式/09-02-02,对象管理组(2009),http://www.omg.org/cgi-bin/doc?formal/09-02-02
[56] Palacz,W.:代数层次图变换。J.计算。系统。科学。 68(3), 497–520 (2004) ·Zbl 1069.68080号 ·doi:10.1016/S0022-0000(03)00064-3
[57] Pennemann,K.H.:正确图变换系统的发展。奥尔登堡大学博士论文(2009年),http://oops.uni-oldenburg.de/volltexte/2009/948/ ·Zbl 1175.68230号
[58] Rensink,A.:GROOVE模拟器:状态空间生成工具。收录:Pfaltz,J.L.,Nagl,M.,Böhlen,B.(编辑)AGTIVE 2003。LNCS,第3062卷,第479–485页。斯普林格,海德堡(2004)·doi:10.1007/978-3-540-25959-6_40
[59] Rensink,A.:GROOVE中的同构检查。收录:Zündorf,A.,Varró,D.(编辑)基于图形的工具(GraBaT)。EASST的电子通信,欧洲软件科学与技术协会,第1卷(2007年9月)
[60] Rensink,A.:图形变换中的组合性。摘自:Abramsky,S.等人(编辑)ICALP 2010,第二部分。LNCS,第6199卷,第309-320页。斯普林格,海德堡(2010)·Zbl 1288.68144号 ·doi:10.1007/978-3-642-14162-1_26
[61] Rensink,A.,Distefano,D.S.:抽象图变换。收录人:Mukhopadhyay,S.、Roychoudhury,A.、Yang,Z.(编辑)《软件验证与确认》,曼彻斯特。理论计算机科学电子笔记,第157卷,第39–59页(2006年5月)·Zbl 1273.68196号 ·doi:10.1016/j.entcs.2006.01.022
[62] Rensink,A.,Taentzer,G.:Agtive 2007图形转换工具竞赛。收录于:[71],第487-492页,http://www.informatik.uni-marburg.de/swt/农业控制
[63] Rensink,A.,Van Gorp,P.:2008年图形转换工具竞赛。《技术转让软件工具》(2009)专区;准备中,http://fots.ua.ac.be/events/grabats2008 . ·Zbl 1175.68232号
[64] Rensink,A.,Zambon,E.:java程序的类型图模型。收录:Lee,D.,Lopes,A.,Poetzsch-Heffter,A.(编辑)FMOODS 2009。LNCS,第5522卷,第237-242页。斯普林格,海德堡(2009)·Zbl 05570855号 ·doi:10.1007/978-3642-02138-1_18
[65] Rozenberg,G.(编辑):《图形语法和图形变换计算手册》。《基础》,第1卷。《世界科学》,新加坡(1997年)·兹比尔0908.68095
[66] Sagiv,S.,Reps,T.W.,Wilhelm,R.:通过三值逻辑进行参数形状分析。ACM事务处理。程序。语言系统。 24(3), 217–298 (2002) ·Zbl 05459332号 ·doi:10.1145/514188.514190
[67] Saksena,M.,Wibling,O.,Jonsson,B.:临时路由协议的图形语法建模和验证。收录:Ramakrishnan,C.R.,Rehof,J.(编辑)TACAS 2008。LNCS,第4963卷,第18-32页。斯普林格,海德堡(2008)·Zbl 1134.68418号 ·doi:10.1007/978-3-540-78800-33
[68] 安大略省施密特。,Varró,D.:Checkvml:一个用于模型检查可视化建模语言的工具。收录:Stevens,P.、Whittle,J.、Booch,G.(编辑)UML 2003。LNCS,第2863卷,第92-95页。斯普林格,海德堡(2003)·doi:10.1007/978-3-540-45221-88
[69] Schürr,A.:编程图形替换系统。收录于:[65],第479-546页·数字对象标识代码:10.1142/9789812384720_0007
[70] Schürr,A.,Klar,F.:三重图语法15年。收录于:[25],第411-425页·Zbl 1175.68233号 ·doi:10.1007/978-3-540-87405-8_28
[71] Schürr,A.,Nagl,M.,Zündorf,A.(编辑):具有工业相关性的图变换的应用(AGTIVE)。LNCS,第5088卷。斯普林格,海德堡(2008)
[72] SEGRAVIS:视觉建模技术的句法和语义集成(2002),网址:http://www.segravis.org/
[73] SENSORIA:面向服务的覆盖计算机的软件工程(2005),http://www.sensoria-ist.eu
[74] Sleep,M.R.:SEMAGRAPH:术语图重写的理论与实践。收录于:[14],第268–276页·Zbl 0910.68101号
[75] Taentzer,G.:并行高级替换系统。西奥。计算。科学。 186(1-2), 43–81 (1997) ·兹伯利0893.68087 ·doi:10.1016/S0304-3975(96)00215-0
[76] Taentzer,G.:分布式图和图转换。应用分类结构7(4)(1999)·Zbl 0941.18002号 ·doi:10.1023/A:1008683005045
[77] Taentzer,G.:走向图形和图形转换系统的通用交换格式。In:图形工艺规范技术的统一方法(UNIGRA)。《理论计算机科学电子笔记》,第44卷,第28-40页(2001年)·Zbl 1263.68115号 ·doi:10.1016/S1571-0661(04)80941-1
[78] Taentzer,G.,Biermann,E.,Bisztray,D.,Bohnet,B.,Boneva,I.,Boronat,A.,Geiger,L.,Geiß,R.,Horvath,A。,Kniemeyer,O.,Mens,T.,Ness,B.,Plump,D.,Vajk,T.:Sierpinski三角形的生成:图形转换工具的案例研究。收录于:[71],第514-539页
[79] Taentzer,G.,Fischer,I.,Koch,M.,Volle,V.:分布式图形转换及其在分布式系统可视化设计中的应用。收录于:[26],第6章,第269-340页·doi:10.1142/9789812814951_0005
[80] Taentzer,G.,Rensink,A.:使用类型继承确保基于图形的模型中的结构约束。摘自:Cerioli,M.(编辑)FASE 2005。LNCS,第3442卷,第64-79页。斯普林格,海德堡(2005)·Zbl 1119.68365号 ·doi:10.1007/978-3-540-31984-9_6
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。