×
乌尔里克·戈拉斯；莱恩·兰伯斯；哈特穆特·埃里格；费尔南多·奥雷贾斯

带继承的属性图变换：使用抽象关键对进行有效的冲突检测和局部汇流分析。 （英语） Zbl 1284.68324号

西奥。计算。科学。 424, 46-68 (2012).
摘要：继承是一个重要且广泛传播的概念，能够在面向对象的软件程序或模型中优雅地表达层次结构。它是为图和图变换定义的，增强了这种形式化技术的适用性。到目前为止，对于带有继承的变换的分析，已经使用了一种扁平结构，它产生了所有众所周知的图变换结果，但却产生了大量需要分析的图和规则。
本文引入了一类新的具有继承性的类型化属性图。为了检测这些图上的图变换之间的冲突，定义了抽象关键对的概念。这使我们能够在不需要展平的情况下对多态规则和转换进行分析，这大大提高了分析的效率，并简化了分析结果的解释。新的主要结果是使用抽象关键对进行带继承的类型化属性图变换的局部合流定理。所有构造和结果都在重构分析的示例中进行了演示。

引用于5文件

MSC公司：

第68季度第42季度 语法和重写系统
18B99型 特殊类别
68问题65 抽象数据类型；代数规范
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

类型化属性图变换；临界对分析；继承；\（M\）-含NAC的粘合剂类别

软件：

沟槽；泄漏；AGG公司；变身
PDF格式BibTeX公司 XML格式引用
\textit{U.Golas}等人，Theor。计算。科学。424、46-68（2012年；Zbl 1284.68324）
全文： 内政部

参考文献：

[1] （Rozenberg，G.，《图形语法和图形转换计算手册》，第1卷：基础（1997），《世界科学》）·Zbl 0908.68095号
[2] （Ehrig，H.；Engels，G.；Kreowski，H.-J.；Rozenberg，G.，《图形语法和图形转换计算手册》，第2卷：应用、语言和工具（1999），《世界科学》）·Zbl 0998.68001号
[3] 赫尔曼，F。；Ehrig，H。；Taentzer，G.，一种类型化属性图文法，用于UML类和序列图的抽象语法，ENTCS，211，261-269（2008）·Zbl 1283.68206号
[4] Mens，T。；Taentzer，G。；Runge，O.，《使用图转换分析重构依赖项》，SoSyM，6，3，269-285（2007）
[5] Taentzer，G。；米勒，D。；Mens，T.，《基于图形变换为AndroMDA指定特定于域的重构》，（Schürr，A.；Nagl，M.；Zündorf，A.，《2007年AGTIVE会议录》。2007年AGTIVE会议记录，LNCS，第5088卷（2008），Springer），104-119
[6] Varró，D.，模型转换系统UML状态图的形式语义，（Corradini，A.；Ehrig，H.；Kreowski，H.-J.；Rozenberg，G.，ICGT'02会议录。ICGT’02会议记录，LNCS，第2505卷（2002），Springer），378-392·Zbl 1028.68533号
[7] de Lara，J。；Vangheluwe，H.，《通过元建模和图形转换定义视觉符号及其操作》，《视觉语言与计算》，15，3-4，309-330（2004）
[8] Kastenberg，H。；Rensink，A.，《GROOVE中的模型检查动态》（Valmari，A.，SPIN’06会议录）。SPIN’06会议记录，LNCS，第3925卷（2006），Springer），299-305
[9] Ehrig，H。；埃里格，K。；Prange，U。；Taentzer，G.，代数图变换基础（2006），施普林格·Zbl 1095.68047号
[10] 布希，G。；马克西姆丘克，R。；恩格尔，M。；Young，B。；柯纳伦，J。；休斯顿，K.，《面向对象的分析与设计及其应用》（2007），艾迪森·韦斯利
[11] 对象管理组，统一建模语言（UML），2.0版。；对象管理组，统一建模语言（UML），2.0版。
[12] de Lara，J。；Bardohl，R。；Ehrig，H。；埃里格，K。；Prange，U。；Taentzer，G.，带节点类型继承的属性图变换，TCS，376，3，139-163（2007）·Zbl 1116.68042号
[13] Kastenberg，H。；Kleppe，A。；Rensink，A.，《使用图形转换定义面向对象的执行语义》（Gorrieri，R.；Wehrheim，H.，《FMT’06会议录》）。FMT’06会议记录，LNCS，第4037卷（2006），Springer），186-201·Zbl 1461.68057号
[14] Lüdtke Ferreira，A。；Ribeiro，L.，《面向对象图形文法中的推导》，（Ehrig，H.；Engels，G.；Parisi-Presicce，F.；Rozenberg，G.，《2004年ICGT会议录》。2004年ICGT会议记录，LNCS，第3256卷（2004），Springer），416-430·Zbl 1116.68485号
[15] Lüdtke Ferreira，A。；Foss，L。；Reibeiro，L.，面向对象图形语法规范的形式验证，ENTCS，175，101-114（2007）·Zbl 1278.68183号
[16] Reisig，W.，关于解决Petri网中的冲突，离散结构和算法，241-254（1979）·Zbl 0457.68052号
[17] Mehner，K。；蒙加，M。；Taentzer，G.，面向方面模型中的交互分析，（《RE’06（2006）学报》，IEEE），66-75
[18] 豪斯曼，J。；赫克尔，R。；Taentzer，G.，用例驱动方法中冲突功能需求的检测，（SE'02（2002），IEEE会议记录），105-115
[19] Küster，J。；格思，C。；Engels，G.，过程模型的依赖性和冲突性变更操作，（Paige，R.；Hartman，A.；Rensink，A.，ECMDA-FA'09论文集。ECMDA-FA'09会议记录，LNCS，第5562卷（2009），Springer），158-173
[20] 布奇亚龙。；Pelliccione，P。；Vattani，C。；Runge，O.，使用AGG进行自我修复系统建模和验证，（WICSA’09（2009），IEEE会议记录），181-190
[21] 赫尔曼，F。；Ehrig，H。；美国戈拉斯。；Orejas，F.，《基于三重图语法的正确和完整模型转换的有效分析和执行》，（Bézivin，J.；Soley，R.；Vallecillo，A.，《MDI论文集》10（2010），ACM），22-31
[22] Ehrig，H。；埃梅尔，C。；Runge，O。；布奇亚龙。；Pelliccione，P.，《自愈系统的形式分析与验证》，（Rosenblum，D.；Taentzer，G.，《FASE’10会议录》。FASE’10会议录，LNCS，第6013卷（2010），Springer），139-153
[23] 赫尔曼，F。；Ehrig，H。；Orejas，F。；Golas，U.，基于三重图语法的模型转换的函数行为的形式分析，（Ehrig，H.；Rensink，A.；Rozenberg，G.；Schürr，A.，ICGT’10论文集。ICGT’10会议记录，LNCS，第6372卷（2010），Springer），155-170·Zbl 1306.68074号
[24] Ehrig，H。；埃里格，K。；de Lara，J。；Taentzer，G。；瓦罗，D。；Varró-Gyapay，S.，模型转换的终止标准，（Cerioli，M.，FASE’05会议录。FASE’05会议记录，LNCS，第3442卷（2005），Springer），49-63·Zbl 1119.68344号
[25] Oldevik，J。；O.豪根。；Moller-Pedersen，B.，《与领域相关的产品线转换中的融合》，（Chechik，M.；Wirsing，M.，《2009年FASE会议录》，第5503卷（2009），Springer），第34-48页
[26] 刘，X。；Walker，D.，《过程和对象系统的部分合流》，TCS，206，1-2，127-162（1998）·Zbl 0913.68129号
[27] 对象管理小组，UML 2.0 OCL规范，2003年。；对象管理小组，UML 2.0 OCL规范，2003年。
[28] Wilke，C。；蒂勒，M。；Wende，C.，《扩展OCL解释的可变性》，（Petriu，D.；Rouquette，N.；Haugen，A.，《MoDELS学报》第10期。MoDELS’10会议录，LNCS，第6394卷（2010），Springer），第361-375页
[29] 卡博特，J。；Claris，R。；Guerra，E。；de Lara，J.，用于分析图转换规则的UML/OCL框架，SoSyM，9，335-357（2010）
[30] 阿伦特，T。；比尔曼，E。；尤拉克，S。；克劳斯，C。；Taentzer，G.，Henshin：就地EMF模型转换的先进概念和工具，（Petriu，D.；Rouquette，N.；Haugen，A.，MoDELS’10会议录。MoDELS’10会议录，LNCS，第6394卷（2010），Springer），121-135
[31] Taentzer，G.，AGG：软件建模和验证的图形转换环境，（Pfaltz，J.；Nagl，M.；Boehlen，B.，《AGTIVE’03会议录》。《AGTIVE’03会议录》，LNCS，第3062卷（2004），Springer），446-456
[32] 阿伦卡尔。；Goguen，J.，OOZE:一个面向对象的Z环境，（《ECOOP’91（1991）会议记录》，Springer），180-199
[33] 宫本茂，T。；Kumagai，S.，面向对象Petri网和分析方法综述，IEICE电子、通信和计算机科学基础汇刊E88-A，2964-2971（2005）
[34] 辛茨，I。；托本，T。；姆鲁加拉，C。；Westphal，B.，狂想曲UML验证环境，（SEFM'04（2004），IEEE会议记录），174-183
[35] 克努思，东北。；Bendix，P.B.，通用代数中的简单单词问题，（Leech，J.，抽象代数中的计算问题（1970），Pergamon），263-297·Zbl 0188.04902号
[36] Plump，D.，重温图形变换的汇流，（Leech，J.，《过程、术语和周期：迈向无限之路的脚步：在扬·威廉·克洛普60岁生日之际献给他的论文》，LNCS，第3838卷（2005），Springer，280-308·Zbl 1171.68517号
[37] L.Lambers，《使用图变换证明基于规则的模型》，柏林理工大学博士论文，也可供参考：Südwestdeutscher Verlag für Hochschulschriften，国际标准书号：978-3-8381-1650-1，2010。；L.Lambers，《使用图形转换验证基于规则的模型》，柏林理工大学博士论文，另见可用书籍：Südwestdeutscher Verlag für Hochschulschriften，ISBN:978-3-8381-1650-12010。
[38] Lambers，L。；Ehrig，H。；Orejas，F.，《负应用条件下图形变换的冲突检测》，（Corradini，A.；Ehrig，H.；Montanari，U.；Ribeiro，L.；Rozenberg，G.，《2006年ICGT会议录》。2006年ICGT会议记录，LNCS，第4178卷（2006），Springer），61-76·Zbl 1156.68431号
[39] Lambers，L。；Ehrig，H。；Prange，U。；Orejas，F.，《图形变换与负应用条件的嵌入与汇合》，（Ehrig，H.；Heckel，R.；Rozenberg，G.；Taentzer，G..，《2008年ICGT会议论文集》。2008年ICGT会议记录，LNCS，第5214卷（2008），Springer），162-177·Zbl 1175.68227号
[40] Lambers，L。；Ehrig，H。；Orejas，F。；Prange，U.，《具有负面应用条件的粘合剂高级替换系统中的并行性和并发性》，ENTCS，203,6,43-66（2008）·Zbl 1277.68194号
[41] Huet，G.，Confluent reductions:抽象属性及其在术语重写系统中的应用，J.ACM，27，4，797-821（1980）·Zbl 0458.68007号
[42] Plump，D.，《超图重写：关键对和合流的不可判定性》，（Sleep，M.；Plasmeijer，M.，van Eekelen，M.C.，《术语图重写》（1993），威利出版社），201-214
[43] Plump，D.，《关于终止图重写》，（Nagl，M.，《95年工作组会议记录》。1995年工作组会议记录，LNCS，第1017卷（1995），Springer），88-100
[44] Lambers，L。；Ehrig，H。；Orejas，F.，《通过基本关键对在图变换系统中进行有效的冲突检测》，（GTVMT’06会议录）。2006年GTVMT会议记录，ENTCS，第211卷（2008），Elsevier），17-26·Zbl 1283.68185号
[45] 哈贝尔，A。；Pennemann，K.-H.，《高层结构的嵌套约束和应用条件》，（Kreowski，H.-J.；Montanari，U.；Orejas，F.；Rozenberg，G.；Taentzer，G..，《软件和系统建模中的形式方法》。埃里格在他60岁生日之际。软件和系统建模中的形式化方法。《在H.Ehrig 60岁生日之际献给他的论文》，LNCS，第3393卷（2005），施普林格），293-308·Zbl 1075.68623号
[46] Ehrig，H。；哈贝尔，A。；Lambers，L.公司。；Orejas，F。；Golas，U.，《规则与嵌套应用条件的局部融合》，（Ehrig，H.；Rensink，A.；Rozenberg，G.；Schürr，A.，《ICGT’10会议录》。ICGT’10会议录，LNCS，第6372卷（2010），Springer），330-345·Zbl 1306.68068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。