{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T00:06:39Z”，“时间戳”：1648598799710}，“引用计数”：21，“发布者”：“开放发布协会”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.231.4”，“type”：“journal-article”，“created”：{“date-parts”：[[2016,12,3]]，“date-time”：“2016-12-03T22:14:52Z”，“timestamp”：1480803292000}，“page”：”42-56“source”：ling“]，”前缀“：”10.4204“，“卷”：“231”，“作者”：[{“given”：“G\u00e9za”，“family”：“Kulcs\u00e1r”，“sequence”：“first”，“affiliation”：[}“name”：“TU Darmstadt，Germany”}]}，{“fixed”：“Anthony”，“家族”：“Anjorin”，”sequence“：”additional“，”affiliance“:[{”name“：“University of Paderborn，German”}]]，“成员”：“2720”，“在线发布”：{“date-parts”：[[2016,12,4]]}，“reference”：[{“key”：“Henshin2010”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：“121”，”doi“：”10.1007\/978-3642-16145-2_9“，”article-title“：”Henshin:In-Place EMF模型转换的高级概念和工具“，”volume-title”：”MODELS 2010“，”卷：“6394”，“author”：“Arendt”，“year”：“2010”}，{“key”：”DBLP:conf\/sac\/Balog hV06“，”doi-asserted-by“：“publisher”，“first page”：“1280”，“DOI”：“10.1145 \/11141277.1141575”，“article-title”：“VIATRA2框架中的高级模型转换语言构造”，“volume-title“：”SAC 2006“，“author”：“Balogh”，“year”：“2006”}，{“key”：0.007英寸，“article-title”：“抽象状态机：计算模型和系统设计框架的统一视图”，“卷”：“133”，“作者”：“B\u00f6rger”，“年份”：“2005”，“期刊标题”：“Ann.Pure Appl.Logic”}，{“key”：“DBLP:conf\/icalp\/CorradiniHM00”，“首页”：“411”，“文章标题”：”图形操作语义“卷时间”：“ICALP Satellite Workshops”，“author”：“Corradini”，“year”：“2000”}，{“key”：“Fundamentals”，“doi-asserted-by”：“publisher”，“volume-title”：“Algebraic Graph Transformation的Fundamental”，“author”:“Ehrig”，“年份”：“2006”，“doi”：“10.1007\/3-540-31188-2”}by“：”publisher“，”首页“：“323”，“DOI”：“10.1007\/3-540-40011-7_23”，《article-title》：“动态元建模：UML中行为图操作语义的图形化方法”，“volume-title”：“UML 2000”，“卷”：“1939”，“作者”：“恩格斯”，“年份”：“2000”}，{“问题”：“1”，“关键”：“DBLP:journals\/sttt\/GhamarianMRZZZ12”，“DOI-asserted-by”：“出版商”，“首页”：“15”，“内政部”：“10.1007\/s10009-011-0186-x”，“article-title”：“使用GROOVE建模和分析”，“volume”：“14”，“author”：“Ghamarian”，“year”：“2012”，“journal-title“：”STTT“}，{“issue”：“4”，“key”：”statechart“，”doi-asserted-by“：”publisher“，”first page“293”，“doi”：“10.1145\/235322”，“article-title”：“Statecharts的STATEMATE语义“，”卷“：”5“，”作者“：“Harel”，“year”：“1996”，“journal title”：“ACM Trans.Softw.Eng.Methool.”}，｛“key”：“DBLP:conf\/fase\/HeckelS01”，“series title”：“LNCS”，“doi asserted by”：“publisher”，“first page”：“109”，“doi”：“10.1007\/3-5440-45314-8_9”，“article title”：“通过状态转换加强UML协作图”，“volume title”：“fase 2001”，“volume”：“2029”，“author”：“Heckel”，“year”：“2001”}，{“issue”：“4”，“key”：“DBLP:journals\/entcs\/HeckelZ01”，“doi-asserted-by”：“publisher”，“first-page”：“41”，“doi”：“10.1016\/S1571-0661（04）80942-3”，“article-title”：“How to Specify a Graph Transformation Approach-a Meta Model for Fujaba”，“volume”：”44“，“author”：“Heckel”，“year”：”2001“，“journal-title“：“Electr.Notes Theor.Comput.Sci.”}，{“key”：“adgratra2”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：《首页》：“49”，“doi”：“10.1007\/978-3642-00593-04”，“article-title”：《精细活动图的对象流定义》，“volume-title》：“FASE 2009”，“volue”：“5503”，“author”：“Jurack”，“year”：“2009”}、{“key”：“Knieke04”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/1943397.1943400”，“article-title”：“UML 2活动图的可执行语义”，“volume-title“：“FML的过程”，“author”：“Knieke”，“year”：“2010”}，{“key”：“DBLP:conf\/sbirthday\/KrowskiKR08”，“series-title”：”LNCS“，”DOI-asserted-by“：”publisher“，”first page“：”57“，”DOI“：”10.1007\/978-978 3-540-68679-8_5“，“物品标签”：“图形转换单元-概述”，“volume-title”：“并发、图形和模型”，“卷”：“5065”，“作者”：“Krowski”，“年份”：“2008”}，{“键”：“DBLP:conf\/rta\/LoweB93”，“系列-title“：”LNCS“，”doi-asserted-by“：”publisher“，”first page“：”451“，”doi“：”10.1007\/978-3662-21551-7_36“，”article-title：“AGG-代数图重写的实现”，“volume-title”：“RTA-93”，“volume”：“690”，“author”：“L\u00f6we”，“year”：“1993”}，{“key”：”DBLP:journals\/jlp\/Plotkin04a“，”doi-asserted-by“：”publisher“，”first page“：”17“，”doi“10.1016\/jlap.2004.03.009”，“article-title“：”A Structural Approach to Operational Semantics“，”volume“：“60-61”，“作者”：“Plotkin”，“year”：“2004”，“journal-title”：“J.Log.Algebr.Program.”}，{“key”：“Handbook”，“volume-title“：“Graph Grammars and Computing by Graph Transformation Handbook:volume I.Foundations”，“年份”：“1997”}、{“issue”：“2”，“key“：”MDE“，”doi-asserted-by“：”publisher“，”first page“25”，“doi”：“10.1109\/MC.2006.58”，“article-title：“客座编辑简介：模型驱动工程”，“卷”：“39”，“作者”：“施密特”，“年份”：“2006”，“期刊标题”：“计算机”}，｛“密钥”：“Schurr1999”，“doi断言者”：“出版商”，“首页”：“487”，“doi”：“10.1142\/9789812815149-0013”，“文章标题”：“PROGRES方法：语言与环境”，“卷标题”：“图形语法和图形转换计算手册，第2卷”，“作者”：“Sch\u00fcrr”，“年份”：“1999”｝，｛“key”：“StorrleH05”，“第一页”：“117”，“文章标题”：“走向UML 2.0活动的形式语义”，“卷标题”：“SE 2005，Fachtagung des GI Fachbereichs Softwaretechnik”，“作者”：“St\u00f6rrle”，“年份”：“2005”｝，｛“issue”：“1”，“key”：“UjhelyiBHHIRSV15”，“doi-asserted-by”：“publisher”，“first page”：“80”，“doi”：“10.1016\/j.scico.2014.01.004”，“article-title”：“EMF-IncQuery:实时模型查询的集成开发环境”，“volume”：”98“，“author”：“Ujhelyi”，”year“2015”，“journal-title“：”SCP“}，{”key“：”Zundorf2002“，”volume-title：“严谨的面向对象软件开发”，“author”：“Z\u00fcndorf”，“year”：“2002”}]，“container-title”：[“Electronic Proceedings in Theory Computer Science”]，“original-tittle”：[]，“language”：“en”，“deposed”：{“date-parts”：[[2016,12,8]]，“date-time”：“2016-12-08T05:23:18Z”，“timestamp”：1481174598000}，“score”：1，“resource”：{-“primary”：{“URL”：“http://\/arxiv.org\/abs\/1612.01640”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2016,12,4]]}，”引用计数“：21，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.231.4“，”关系“：{}，“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2016,12,4]]}}}