2020年第23届模型:加拿大虚拟活动——同伴会议记录
埃丝特·格拉 , 卢多维科·伊奥维诺 :
模型20:ACM/IEEE第23届模型驱动工程语言和系统国际会议,虚拟事件,加拿大,2020年10月18日至23日,配套会议记录。 ACM公司 2020 ,国际标准图书编号 978-1-4503-8135-2
工具和演示
路易斯·伊杜亚德·拉方特 , 尤金·西里亚尼 :
绅士:一个轻量级的基于web的投影编辑器生成器。 1:1-1:5 弗朗西斯科·巴西亚尼 , 朱里·迪·洛科 , 大卫·迪·鲁西奥 , 阿方索·皮兰托尼奥 , 卢多维科·伊奥维诺 :
TyphonML:用于开发混合多晶硅的建模环境。 2:1-2:5 拉斐拉·格罗纳 , 索菲·吉尔斯托夫 , 马蒂亚斯·蒂希 :
henshin匹配过程的剖面仪。 3:1-3:5 陈伯琪 , 迪伦·哈夫洛克 , 康诺·普兰特 , 迈克尔·苏卡利赫 , 奥斯卡·塞默拉(Oszkár Semeráth) , 达尼尔·瓦罗 :
基于模型技术的视频游戏世界地图自动合成。 4:1-4:5 安东尼奥·布奇亚罗内 , Maxime Savary-下线 , 泽维尔·勒·帕莱克 , Jean-Michel布鲁尔 , 安东尼奥·西切蒂 , 乔迪·卡博特 , 塞巴斯蒂安·杰拉德 , 哈姆娜·阿斯拉姆 , 安娜帕奥拉·马可尼 , 米尔科·佩里洛 :
游戏玩家的纸草,让我们玩建模。 5:1-5:5 马吉德·巴贝伊 , 莫伊塔巴·巴赫扎德 , 尤尔根·丁格尔 :
MReplayer:分布式UML-RT模型的跟踪回放程序。 6:1-6:5 霍里埃·哈拉扎德 , 塔伦·维玛 , 安德鲁·西蒙斯 , 约翰·C·格兰迪 , 穆罕默德·阿卜杜勒拉泽克 , 约翰·霍斯金 :
用于大数据应用程序建模的以用户为中心的工具。 7:1-7:5 伊马德·贝鲁因 :
CyprIoT项目:一个用于建模和生成物联网的开源工具集。 8:1-8:5 莫辛·雷扎说 , 奥马尔·巴德雷丁 , 拉哈德·坎多克 :
ModelMine:一个工具,用于促进从开源存储库中挖掘模型。 9:1-9:5 苏珊娜·布劳恩 , 马库斯·特拉普 , 克劳迪娅·纳斯 , 马蒂亚斯·格伯沙根 , 斯特凡·施韦策 , 罗德里戈·法尔考 , 马提亚斯·纳布 , 马库斯·施韦策 , 托尔斯滕·克鲁泽 , 尼古拉斯电线 :
洞察协作空间:用于设计数据驱动服务的团队协作应用程序。 10:1-10:5 埃琳娜·卡尔尼娜 :
图形DSL的基于语法的具体查找。 11:1-11:5 洛伦佐·阿达齐 , 安东尼奥·西切蒂 :
使用Benji系统评估模型比较算法。 12:1-12:5 尼沙·德赛 , 马丁·戈戈拉 :
通过工具USE中的胶片模板加强模型行为的验证。 13:1-13:5 马塞尔·施费尔 , 马丁·戈戈拉 :
使用USE studio增强UML模型和模型执行的开发和一致性。 14:1-14:5 阿莱西奥·迪·桑德罗 , Gehan M.K.塞利姆 , 瑞克·萨莱 , 托林维格 , 玛莎·契契克 , 萨哈尔·科卡利 :
MMINT-A 2.0:基于模型的安全工件生命周期的工具支持。 15:1-15:5
海报
保利斯·巴兹丁斯 , 埃德加·塞尔姆斯 , 贾尼斯·巴兹丁斯 , 奥德里斯·卡林斯 , Arturs Sprogis公司 , 米库斯·格拉斯马尼斯 , 谢尔盖斯·里卡科夫斯 :
用于DL生命周期数据管理的基于元模型专门化的DSL。 16:1-16:2 米哈伊尔·巴拉什 :
为大众提供语言工程。 17:1-17:2 克莱恩·法里亚斯 , 布鲁诺·卡雷罗·达席尔瓦 :
你的图表等级是多少 朝着对UML图进行分级的精简方法发展。 18:1-18:2 阿明·莫因 , 斯蒂芬·罗斯勒 , 马鲁安·赛义赫 , 斯蒂芬·格内曼 :
从事物的建模语言(ThingML)到事物的机器学习(ThingML2)。 19:1-19:2
教育工作者研讨会
尤内斯·布比基尔 , 冈特·马斯巴赫 , 谢恩·麦金托什 :
使用简单的启发式和机器学习自动评估学生的软件模型。 20:1-20:10 尤内斯·布比基尔 , 冈特·马斯巴赫 :
更好地理解与域建模助理的交互。 21:1-21:10 霍尔格·吉斯 , 利恩·兰伯斯 , 克里斯蒂安·泽尔纳 :
从经典到敏捷:十多年基于项目的建模教育的经验。 22:1-22:10 马丁·戈戈拉 , 布兰·塞利克 :
关于描述性和规定性建模的教学。 23:1-23:9
博士研讨会
阿里恩·巴比基安 :
自动生成自动车辆系统级安全保证的测试场景模型。 24:1-24:7 卡斯滕·韦彻(Carsten Wiecher) :
一种面向功能的方法:从使用场景到汽车领域的自动化系统验证。 25:1-25:6 里朱尔·塞尼 :
人工智能授权领域建模机器人。 26:1-26:6 塞巴斯蒂安·埃伯特 :
基于Petri网的钴细胞模型驱动方法。 27:1-27:6 马克西米利安·希德梅耶 :
微服务架构的面向关注的软件工程方法。 28:1-28:5 风信子阿里 :
基于透视图的多语言系统可促进模块化、重用性和一致性。 29:1-29:6 雅各布·皮埃特隆 :
增强协作建模。 30:1-30:6 托马斯·米德 :
为基于单元的仿真创建一种易于访问和理解的建模语言。 31:1-31:7 沃尔夫·罗斯特 :
从参考应用程序中挖掘DSL和生成器模板。 32:1-32:7
第三次汽车系统和软件工程建模研讨会: 2020年MASE
尤瓦拉杰·塞瓦拉吉 , 阿什法克·法鲁基 , 加扎莱赫·帕纳汉德 , 马丁·费边 :
自动学习正式模型:来自自动驾驶开发的工业案例。 33:1-33:10 托拜厄斯·佩特 , 多梅尼克·艾奇霍恩 , 伊娜·谢弗 :
汽车系统工程中基于风险的兼容性分析。 34:1-34:10 卡斯滕·韦彻(Carsten Wiecher) , 谢尔盖·贾普斯 , 莉迪亚·凯泽 , 乔尔·格林耶 , 罗曼·杜米特里斯库 , 卡斯滕·沃尔夫 :
循环中的场景:集成需求分析和汽车系统验证。 35:1-35:10
第一届基于开放模型的工程环境国际研讨会: OpenMBEE 2020
托马斯·博伊尔·尚马德 , 布莱克·雷加利亚 , 罗伯特·卡班 , 伊凡·戈麦斯 :
协助编写基于模型的系统工程文档。 36:1-36:7 贝内德克·霍瓦思 , 本斯·格雷斯 , 阿尔科斯·哈伊杜 , 佐尔坦·米斯克 , 文斯·莫尔纳 , 伊斯特万·拉思 , 路易吉·安道尔法托 , 伊凡·戈麦斯 , 罗伯特·卡班 :
模型检查作为一种服务:面向实用的隐藏形式方法。 37:1-37:5 安德烈斯·帕斯 , 吉兹兰·埃尔·布塞迪 :
布雷西 :为安全关键系统的基于模型的设计桥接EMF、simulink和stateflow。 38:1-38:10 罗伯特·琼格林 , 安东尼奥·西切蒂 , 费德里科·西科齐 , 官卡尔松 :
努力提高OpenMBEE平台的模型代码一致性。 39:1-39:5
第二届建模语言工程与执行研讨会: 2020年MLE
阿尔弗雷德·奥克森 , 戈雷尔·赫丁 , 尼古拉斯·福斯 , 雷内·舍内 , 约翰·梅伊 :
物联网系统的运行时建模和分析。 40:1-40:5 丹尼尔·戴文 , 奥马尔·阿拉姆 , Jörg Kienzle公司 , 卓俊秀 :
一种可重用工作流模型的合成算法。 41:1-41:10 朱乃德·伊克巴尔 , Dragos Truscan公司 , 朱里·瓦恩 :
相对化一致性测试的可执行活动图的时间语义。 42:1-42:6 Leander Nachreiner公司 , 亚历山大·拉什克 , 迈克尔·斯特格迈尔 , 马蒂亚斯·蒂希 :
CouchEdit:一种宽松的一致性编辑方法。 43:1-43:5 马赫迪·赛义迪·尼科 , 奥德巴布尔 , 马克·范登·布兰德 :
服务组合语言调查。 44:1-44:5
第二次人工智能和模型驱动工程研讨会: 2020年MDE智能
里朱尔·塞尼 , 冈特·马斯巴赫 , Jin L.C.Guo先生 , Jörg Kienzle公司 :
DoMoBOT:用于自动化和交互式领域建模的机器人。 45:1-45:10 凯文·拉诺 , 石朝芳 , 穆罕默德·阿米努·奥马尔 , Sobhan Yassipour Tehrani公司 :
使用自然语言处理增强模型转换合成。 46:1-46:10 安吉拉·巴里加 , 劳伦斯·曼多 , 何塞-路易斯·佩雷斯-德拉克鲁斯 , 阿德里安·拉特 , 罗加德·赫尔达尔 , 卢多维科·伊奥维诺 :
强化学习技术修复模型的比较研究。 47:1-47:9 冈特·马斯巴赫 , 贝诺?t组合 , 西尔维亚·阿布拉奥 , 内莉·本科莫 , 洛丽·布尔古埃诺 , 格雷戈·恩格斯 , Jörg Kienzle公司 , 托马斯·库恩 , 塞巴斯蒂安·莫瑟 , Houari A.Sahraoui公司 , 马丁·韦索尔 :
朝向智能建模辅助的评估网格。 48:1-48:10
第二届模型库分析与挖掘国际研讨会: AMMoRe 2020
卢多维科·伊奥维诺 , Amleto Di Salle公司 , 大卫·迪·鲁西奥 , 阿方索·皮兰托尼奥 :
元模型折旧,用于在模型共同演化中管理技术债务。 49:1-49:10 安吉拉·巴里加 , 大卫·迪·鲁西奥 , 卢多维科·伊奥维诺 , Phuong Thanh Nguyen先生 , 阿方索·皮兰托尼奥 :
用于分析元模型数据集的可扩展工具链。 50:1-50:8
第十四届模型与演变研讨会: ME 2020公司
洛伦佐·贝蒂尼 , 大卫·迪·鲁西奥 , 卢多维科·伊奥维诺 , 阿方索·皮兰托尼奥 :
Edelta 2.0:支持动态元模型演进。 51:1-51:10 雨果·卢伦索 , 乔安娜·塔瓦雷斯 , 鲁伊·尤格尼奥 , 米盖尔·卢伦索 , 蒂亚戈·西蒙斯 :
LUV不是答案:持续交付模型驱动的开发平台。 52:1-52:10 欧文·雷诺兹 , 安东尼奥·加西亚·多明格斯 , 内莉·本科莫 :
自动原产地图 models@run.time。 53:1-53:10
第二届模型驱动工程安全国际研讨会: SecureMDE 2020
阿尔法·约哈尼斯 , 阿方索·德拉维加 , 德拉拉姆·卡罗巴伊 , 迪米特里斯·科洛沃斯 :
面向基于模型的分散对等数据保险库开发。 54:1-54:8 Tithnara Nicolas Sun公司 , 西普里安·特奥多罗夫 , 卢卡·勒鲁 :
针对高级持久威胁的操作设计。 55:1-55:10 保罗·佩罗廷 , 萨拉赫·萨杜 , 大卫·海里安 , 安托万·贝纳德 :
在社会技术系统中检测脆弱的人类:一项海军案例研究。 56:1-56:8 阿克拉姆·伊达尼 , 马里奥·科尔特斯·科纳克斯 :
走向一种模型驱动的形式化方法,用于合并数据、访问控制和业务流程。 57:1-57:5 加布里埃尔·佩德罗扎 , 纪尧姆·莫克利 :
安全标准指导下的安全风险分析方法和框架。 58:1-58:8 马蒂亚斯·帕斯基尔 , 福雷德里克·朱厄尔(Frédéric Jouault) , 马蒂亚斯·布伦 , 朱利安·佩罗雄 :
评估工具对嵌入式操作系统安全的支持:经验反馈。 59:1-59:10
第一次LowCode研讨会: 低代码2020
布鲁诺·皮代德 , 乔·佩德罗·迪亚斯 , 菲利佩·菲格雷多·科雷亚 :
可视化编程码头组合配置的实证研究。 60:1-60:10 玛丽亚娜·贝西加 , 斯托扬·加巴托夫 , 乔·科斯塔·塞科 :
缩小低代码生态系统中设计人员和开发人员之间的差距。 61:1-61:10 库鲁克氏泛神经炎 , 迪米特里斯·科洛沃斯 , 尼古拉斯·马特拉卡斯 , 乔斯特·诺彭 :
用于监控机器学习模型性能的低代码解决方案。 62:1-62:8 阿普瓦南·萨哈 , 大卫·迪·鲁西奥 , 阿方索·皮兰托尼奥 :
了解模型转换组合在低代码开发平台中的作用。 63:1-63:5 索鲁·贾汉宾 , 迪米特里斯·科洛沃斯 , 西莫斯·格拉西莫 :
低代码系统模型的智能运行时分区。 64:1-64:5 贝内德克·霍瓦思 , 阿尔科斯·霍瓦思 , 曼纽尔·威默 :
面向低代码平台上的下一代反应式模型转换:三条研究路线。 65:1-65:10 莉塞特·阿尔蒙特 , 伊万·坎塔多 , 埃丝特·格拉 , 胡安·德拉拉 :
为低代码开发平台自动构建推荐系统。 66:1-66:10 莱娅·布伦什维格 , 埃丝特·格拉 , 胡安·德拉拉 :
面向协作建模应用程序的访问控制。 67:1-67:10 克劳迪奥·迪·西皮奥 , 大卫·迪·鲁西奥 , Phuong Thanh Nguyen先生 :
通过低代码平台民主化推荐系统的开发。 68:1-68:9 亚历山德罗·科兰托尼 , 卢卡·贝拉迪内利 , 曼纽尔·威默 :
DevOpsML:用于建模DevOps流程和平台。 69:1-69:10 费泽·科拉姆 , Jean-Marie Mottu女士 , 格森·苏尼 :
低代码测试的挑战和机遇。 70:1-70:10 法蒂玛·拉尼 , 巴勃罗·迪兹 , 恩里克·查瓦里亚加 , 埃丝特·格拉 , 胡安·德拉拉 :
EuGENia图形编辑器自动迁移到web。 71:1-71:7 乔兰·菲利普 , 赫莱恩·库伦 , 马西莫·蒂西 , 格森·苏尼 :
为低代码开发平台实现模型管理执行策略的透明组合。 72:1-72:10 库拉特·阿里 , 迪米特里斯·科洛沃斯 , 康斯坦丁诺斯·巴尔姆皮斯 :
高效查询大规模异构模型。 73:1-73:5 费利西恩·伊赫韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 皮耶路易吉·皮耶里尼 , 阿方索·皮兰托尼奥 :
物联网的低代码工程:研究现状。 74:1-74:8 亚历山大·哈辛托 , 米盖尔·卢伦索 , 卡拉·费雷拉 :
使用OutSystems构建的低代码应用程序的测试模拟。 75:1-75:5 乔迪·卡博特 :
低代码运动在模型驱动工程领域的定位。 76:1-76:3
第17届模型驱动工程、验证和确认研讨会: 2020年国防部
凯文·拉诺 , 石朝芳 , Shekoufeh Kolahdouz Rahimi公司 :
TL公司 :用于双向转换的抽象规范语言。 77:1-77:10 阿卜杜勒加尼·阿利德拉 , 安托万·贝纳德 , 休伯特·戈弗雷 , 皮埃尔·金梅尔 , Gurvan Le Guernic公司 :
一种与语言无关的建模需求方法:规范和验证。 78:1-78:10 梅萨姆·佐尔 , 卢多维克·阿普维尔 , 雷诺德·帕卡莱特 :
SysML模型:使用图污染研究安全措施对性能的影响。 79:1-79:10 伯特·范·阿克 , 宾利詹姆斯·奥克斯 , 梅赫达德·莫拉迪 , 保罗·德·穆勒奈尔 , 约阿希姆·丹尼尔 :
有效性框架概念是复杂网络物理系统验证和确认中的一种省力技术。 80:1-80:10 瓦伦丁·贝斯纳德 , 福雷德里克·朱厄尔(Frédéric Jouault) , 马蒂亚斯·布伦 , 西普里安·特奥多罗夫 , 菲利普·达西 , 杰罗姆·德拉图尔 :
V&V活动和嵌入式执行的UML模型的模块化部署。 81:1-81:10 马丁·戈戈拉 , 蒂莫·施蒂伯 :
OCL表达式的度量:用于验证的开发、实现和应用程序。 82:1-82:10
第七届多层次建模国际研讨会: 2020年多
曼弗雷德·杰斯菲尔德 , 圣保罗·A·阿尔梅达 , 维多利亚·阿尔巴尼·德·卡瓦略 , 克劳德尼尔·丰塞卡 , 伯恩德·纽梅尔 :
MLT的演绎重建 * 用于多级建模。 83:1-83:10 佐尔坦·泰伊斯 , 桑多尔·巴西 , 格格利·梅泽伊 , 费伦斯·阿提拉·索莫吉 , 达尼尔·帕拉丁斯基 :
联合效力:一种组合独立多层次模型的方法。 84:1-84:5 托马斯·库恩 , 阿恩·兰格 :
多级建模的有意义的指标。 85:1-85:9 乌尔里希·弗兰克 , 丹尼尔·特佩尔 :
应急级别的课程:动机、概念化、建模指导方针以及对模型管理的影响。 86:1-86:10 克里斯·帕特里奇 , 安德鲁·米切尔 , 马可·达席尔瓦 , 奥斯卡·西贝塔·索托 , 马修·韦斯特 , 梅斯巴·汗 , 塞尔吉奥·德·塞萨尔 :
UNICLASS分类中本体论多级类型的隐含要求。 87:1-87:8
第二届网络物理系统多仿生模型国际研讨会: MPM4CPS 2020
雷内·舍内 , 约翰·梅伊 , 塞巴斯蒂安·埃伯特 , 乌韦·Aß曼 :
使用关系引用属性语法连接概念模型。 88:1-88:11 阿斯玛·尼亚蒂 , 赛琳·塞尔玛 , 达利拉·塔姆扎利特 , 雨果·布鲁内利 , 纳赛尔·梅巴基 , 奥利维尔·卡丹 :
面向网络物理生产系统的数字孪生:邮政行业的多仿生建模方法。 89:1-89:7 穆罕默德·挑战者 , 汉斯·旺格鲁 :
将ABM和MAS与MBSE集成用于sCPSoS的生命周期。 90:1-90:7 利亚姆·沃尔什 , 尤尔根·丁格尔 , 卡里姆·贾赫德 :
面向客户端-认知混合模型编辑器工具作为服务。 91:1 桑多尔·巴西 , 佐尔坦·泰伊斯 , 格格利·梅泽伊 , 费伦斯·阿提拉·索莫吉 , 达尼尔·帕拉丁斯基 :
多参数建模中的逐步细化。 92:1 罗曼·弗朗西斯科尼 , 宾利詹姆斯·奥克斯 , 西蒙·范·米尔罗 , 穆罕默德·挑战者 , 汉斯·旺格鲁 :
面向具有动态结构的连续时间模型的自适应抽象。 93:1 杰尔·雨果斯 , 安东·迪莫夫·赫里斯托佐夫 , 约翰·J·胡达克 , 乔·扬克尔 :
TwinOps-DevOps满足基于模型的工程和CPS工程的数字孪生。 94:1-94:5