{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T05:13Z”，“时间戳”：1725686053924}，“出版商位置”：“美国纽约州纽约市”，“参考-计数”：27，“出版者”：“ACM”，“许可证”：[{“开始”:{“日期-零件”：[2019,4,8]]，“日期时间”：“2019-04-08T00:00:00Z”，“时间戳”：1554681600000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“name”：“Eusko Jaurlaritza:Elkartek 2018”，“award”：[“TEKINTZE”]}，{“name”：“Ministerio de Econom\u00ed，Industria y Competividad”，“ader”：[”Productive 4.0:PCIN 2017-071“]}，{“DOI”：“10.13039/501100011688”，“name”：“欧洲领导力电子组件和系统”，“doi断言者”：“出版商”，“奖项”：[“生产4.0：GAP-7737459”]，“id”：[｛“id”：“10.13039/501100011688”，“id type”：“doi”，“断言者”：“出版商”｝]｝，｛“name”：“Eusko Jaurlariza:Ikemarketa Taldeak”，“奖项”：[“Grupo de Sistemas Embebidos”]｝]，“内容域”：｛“域”：[“dl.acm.org”]，“交叉标记限制”：true｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2019,4,8]]｝，“DOI”：“10.1145\/327280.3297459”，“类型”：“诉讼文章”，“创建的”：｛“日期部分”：[[2019,5,1]]，“日期时间”：“2019-05-01TO8:18:47Z”，“时间戳”：1556698727000｝，“页面”：“1818-1827”，“更新策略”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Runtime observable and adaptive UML state machines”]，“prefix”：“10.1145”，”author“：[{”given“：”Miren“，”family“：”Illarramendi“，”sequence“：”first“，”affiliation“[{“name”：“Mondragon Goi Eskola Politeknikoa S.Coop，Mondragan，Spain”}]}，{“给定“：“Leire”，“family”：“Etxeberia”，“sequence”：“additional”，“affiliation”：[{“name”：“Mondragon Goi Eskola Politeknikoa，Mondragon's，Spain”}]}，{“given”：“Xabier”，“家族”：“Elkorobarutia”，“序列”：“附加”，“从属关系”：[[{”name“：“Mondragon-Goi Eskola Politeknikoa，Mondragon，Spains”}]{“给定”：“Goiuria”，”family“：“Sagardui”，序列“：”附加“，“affiliation”：[{“name”：“Mondragon Goi Eskola Politeknikoa，Mondragan，Spain”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2019,4,8]]}，“reference”：[}“volume-title”：“型号@run.time“，”author“：”Abmann Uwe“，”unstructured“：”Uwe Abmann、Sebastian G\u00c3\u0171tz、Jean-Marc J\u00c 3l'z\u00cm 3l'quel、Brice Morin和Mario Trapp“。2014.参考架构和路线图型号@run.time系统。在型号@run.time朱尔根·丁格尔（Juergen Dingel）、沃尔夫拉姆·舒尔特（Wolfram Schulte）、伊西德罗·拉莫斯（Isidro Ramos）、西尔维亚·亚伯拉罕（Silvia Abrahao）和埃米利奥·因斯夫兰（Emilio Insfran）（编辑）。施普林格国际出版公司，查姆，1-18。Uwe Abmann、Sebastian G\u00c3\u0171tz、Jean-Marc J\u00c 3l'z\u00cm 3l'quel、Brice Morin和Mario Trapp。2014.参考架构和路线图型号@run.time系统。在型号@run.time朱尔根·丁格尔（Juergen Dingel）、沃尔夫拉姆·舒尔特（Wolfram Schulte）、伊西德罗·拉莫斯（Isidro Ramos）、西尔维亚·亚伯拉罕（Silvia Abrahao）和埃米利奥·因斯夫兰（Emilio Insfran）（编辑）。Springer International Publishing，Cham，1-18.“，”key“：”e_1_3_2_1_1_1“}，{”volume-title“：”第25届计算机科学和软件工程国际年会论文集。IBM Corp.，101-110“，”year“：”2015“，”author“：”Aljaman Hamoud“，”unstructured“：”Hamoud Aljaman、Timothy C Lethbridge和Miguel A Garz\u00f3n。2015 . MOTL：一种用于状态机和关联的跟踪规范的文本语言。《第25届计算机科学和软件工程国际年会论文集》，IBM公司，101-110。Hamoud Aljaman、Timothy C Lethbridge和Miguel A Garz\u00f3n。2015.MOTL：状态机和关联跟踪规范的文本语言。《第25届计算机科学和软件工程国际年会论文集》，IBM Corp.，101-110.“，“key”：“e_1_3_2_1_2_1”}，{“volume-title”：“传感器投票模块的基于模型的离线测试和运行时监控。计算机与信息科学通信”，“年份”：“2014年”，“作者”：“Arcaini Paolo”，“非结构化”：“保罗·阿卡尼、安吉洛·加甘蒂尼和埃尔维尼娅·里科宾。2014.传感器投票模块的基于离线模型的测试和运行时监控。《计算机与信息科学通信》（2014）。保罗·阿卡尼（Paolo Arcaini）、安吉洛·加甘蒂尼（Angelo Gargantini）和埃尔维尼娅·里科宾（Elvinia Riccobene）。2014.传感器投票模块的离线基于模型的测试和运行时监测。《计算机与信息科学通信》（2014）。“，”key“：”e_1_3_2_1_3_1“}，{”unstructured“：”ATL.2018。ATL转换语言。http://www.eclipse.org\/atl\/atl。2018.ATL转换语言。http://www.eclipse.org\/atl\/“，”key“：”e_1_3_2_1_4_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_1_5_1“，“doi”：“10.1145\/3106237.3106278”}，{“doi-assert-by”：“publisher”，“key”：“e_1_ 3_2_1 _6_1”，”doi“：”10.1109\/SASO.2009.11”}、{“volume-title”：“在Object-Orien中嵌入状态机模型ted源代码。在第三次国际研讨会上Models@run.time。”，“年份”：“2008”，“作者”：“Balz Moritz”，“非结构化”：“Moritz Balz、Michael Striewe和Michael Goedicke。2008 . 在面向对象的源代码中嵌入状态机模型。在第三次国际研讨会上Models@run.time。莫里茨·巴尔兹（Moritz Balz）、迈克尔·斯特里韦（Michael Striewe）和迈克尔·戈迪克（Michael Goedicke）。2008.在面向对象的源代码中嵌入状态机模型。在第三次国际研讨会上Models@run.time。“，”key“：”e_1_3_2_1_7_1“}，{”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_1_8_1，“doi”：“10.1145\/2976767.2976781”}，{“volume-title”：“建模网络物理系统”，“作者”：“Derler Patricia”，“非结构化”：“Patricia Derler、Edward A.Lee和Alberto Sangiovanni Vincentelli。2012.《网络物理系统建模》，IEEE（Ed.），第卷，CPS特刊。IEEE，13--28。Patricia Derler、Edward A.Lee和Alberto Sangiovanni Vincentelli。2012.《网络物理系统建模》，IEEE（Ed.），第卷，CPS特刊。IEEE，13--28.“，”key“：”e_1_3_2_11_1“}，”doi-asserted-by“：”publisher“，“key”：“e_1_ 3_2_12_1”，“doi”：“10.15439\/2017R15”}，{“unstructured”：“eclipse.2018。Papyrus-RT https:\/\/www.eclipse.org\/Papyrus-RT\/eclipse。2018.Papyrus-RT https:\/\/www.eclipse.org\/Papyrus-RT\/“，”key“：”e_1_3_2_13_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_14_1“，“doi”：“10.1109\/EASe.2008.11”}，{“doi-assert-by”：“publisher”，“key”：“e_1_ 3_2_15_1”，”doi“：”10.1145\/58218.582134“}by“：”publisher“，”key“：”e_1_3_2_16_1“，“doi”：“10.1007\/978-3-540-39597-3_12”}，{“非结构化“：”Hassan Gomaa Emad Albassam和Daniel A Menasc\u00e9。2017.适应恢复和进化的运行时软件架构模型。。在模型（卫星事件）中。193--200. 哈桑·戈马·埃马德·阿尔巴萨姆（Hassan Gomaa Emad Albassam）和丹尼尔·梅纳斯（Daniel A Menasc\u00e9）。2017.适应恢复和进化的运行时软件架构模型。。在模型（卫星事件）中。193-200.“，”key“：”e_1_3_2_17_1“}，{”unstructured“：”https:\/\/www.eclipse.org\/acceleo\/.2016。阿塞利奥。技术报告。https:\/\/www.eclipse.org\/acceleo\/。2016年，Acceleo。技术报告。“，”key“：”e_1_3_2_1_20_1“}，{”unstructured“：”IBM.{n.d.}。IBM-Rhapsody。https:\/\/www.ibm.com/us-en\/marketplace\\rational-rhapsody ibm.{n.d.}。IBM-Rhapsody。https:\/\/www.ibm.com/us-en\/marketplace\\rational-rhapsody“，”key“：”e_1_3_2_1_21_1“}，{”unstructured“：”itemis.2018。Yakindu状态图工具。https:\/\/www.itemis.com/en\/yakindu\/state-machine\/itemis。2018年，Yakindu Statechart Tools。https://www.itemis.com\/en\/yakindu\/state machine\/“，”key“：”e_1_3_2_1_22_1“｝，”doi断言“：”publisher“，”key“：”e_1_3_2_23_1“，”doi“：”10.5555\/18852276.1885304“｝，”unstructured“：”Libfiu.｛n.d.｝。Libfiu：用户空间中的错误注入。https:\/\/blitiri.com.ar\/p\/libfiu libfiu。{n.d.}。Libfiu：用户空间中的错误注入。https:\/\/blitiri.com.ar\/p\/libfiu“，”key“：”e_1_3_2_1_24_1“}，”doi-asserted-by“：”publisher“，”key“：“e_1_ 3_2_1_2 5_1”，”doi“：”10.1145\/38807.38821“}”，{“volume-title”：“基于执行的模型评测。在数据驱动进程发现和分析国际研讨会上。Springer，37-52“，”年份：“2016”，“author”：“Mazak Alexandra”，“unstructured”：“Alexandra Mazak、Manuel Wimmer和Polina Patsuk-B\u00f6sch。2016 . 基于执行的模型分析。在数据驱动过程发现和分析国际研讨会上。施普林格，37-52。Alexandra Mazak、Manuel Wimmer和Polina Patsuk-B\u00f6sch。2016.基于执行的模型分析。在数据驱动过程发现和分析国际研讨会上。Springer，37-52.“，”key“：”e_1_3_2_1_26_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_1_28_1“，“doi”：“10.5220\/0006274502080219”}，{”unstructured“：”Quantum.2018。C++中的Quantum平台。http:\/\/www.state-machine.com/qpcpp\/Quantum。2018.C++中的Quantum平台。http:\/\/www.state-machine.com/qpcpp\/“，”key“：”e_1_3_2_1_30_1“}，”doi-asserted-by“：”publisher“，”key“：”e_1_3_1_31_1“，”doi“：”10.1145\/2578128.2578234“}]，”event“：”{“赞助商”：[“SIGAPP ACM应用计算特别兴趣小组”]，”首字母缩写“：”SAC'19“，”name“：”“SAC'19:第34届ACM\/SIGAPP应用计算研讨会计算“，”位置“：”Limassol Cyprus“}，“container-title”：[“第34届ACM应用计算研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3297280.3297459”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2023,11,1]]，“date-time“：”2023-11-01T16:11:51Z“，”timestamp“：1698855111000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297459”}}，“字幕”：[“models@run.time方法“]，”短标题“：[]，”已发布“：{”日期部分“：[[2019,4,8]]}，”引用计数“：27，”替代id“：[”10.1145\/3297280.3297459“，”10.1145\/3297280“]，“URL”：“http://\/dx.doi.org\/10.1145\/329720.3297459]”，“关系”：{}，“主题”：[]、“已发布”：{“日期部分”：[2019,4,8]}、“断言“：[{”value“：”2019-04-08“，”order“：2，”name“：”published“，”label“：”已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}