2017年第20届MoDELS:美国德克萨斯州奥斯汀-卫星活动
洛丽·布尔古埃诺 , 乔纳森·科尔利 , 内莉·本科莫 , 彼得·克拉克 , 菲利普·科莱 , 米歇尔·法梅利斯 , 苏迪普托·戈什 , 马丁·戈戈拉 , 乔尔·格林耶 , 埃丝特·格拉 , 萨哈尔·科卡利 , 阿方索·皮兰托尼奥 , 朱莉娅·鲁宾 , 大卫·迪·鲁西奥 :
2017年MODELS卫星活动会议记录:研讨会(ModComp、ME、EXE、COMMitMDE、MRT、MULTI、GEMOC、MoDeVVa、MDETools、FlexMDE、MDEbug)、海报、博士研讨会、教育家研讨会、ACM学生研究竞赛、, 与ACM/IEEE第20届模型驱动工程语言和系统国际会议(MODELS 2017)合办的工具和演示,美国德克萨斯州奥斯汀,2017年9月17日。 CEUR研讨会记录 2019, CEUR-WS.org公司 2017
ModComp——第四届模型驱动和基于组件的软件工程相互作用国际研讨会
Michael Eonsuk Shin先生 , 哈桑·戈玛 , Don Pathirage先生 :
基于模型的可重用安全连接器设计。 3-9 Arvid对接 , 罗伯特·海姆 , 奥利弗·考茨 , 简·奥利弗·林格特 , 伯恩哈德·伦普 , 安德烈亚斯·沃特曼 :
组件和连接器体系结构描述中的动态重构分类。 10-16 马哈茂德·侯赛因 , 帅丽 , 安斯加·雷德马赫 :
自适应物联网系统的模型驱动开发。 17-23 沙哈尔·毛兹 , 费迪南德·梅伦 , 简·奥利弗·林格特 , 伯恩哈德·伦普 , 迈克尔·冯·温克斯特恩 :
用于验证组件和连接器模型中的非功能属性的OCL框架。 24-30 丹尼尔·卡莱加里 , 安德烈亚·德尔加多 :
基于交互流建模语言模型的BPMS门户的模型驱动生成。 31-37 亚历山大·佩鲁奇 , 马可·奥蒂利 , 马西莫·蒂沃利 :
基于模型的面向重用软件集成综合的多用途框架。 38-44
ME-第11届模型与进化国际研讨会
拉尔斯·弗里奇 , 埃尔汉·勒布利比奇 , 安东尼·安约林 , 安迪·舒尔 :
基于规则的模型转换的前瞻策略。 45-53 努尔·侯赛因议员 , 沃尔夫拉姆·卡尔 , 汤姆·迈鲍姆 :
将方面引入软件架构的图形转换方法。 54-63 萨那A.阿尔维迪安 , 丹尼尔·阿姆约特 :
元模型放松模型族支持。 64-70 洛伦佐·贝蒂尼 , 大卫·迪·鲁西奥 , 卢多维科·伊奥维诺 , 阿方索·皮兰托尼奥 :
Edelta:定义和应用可重用元模型重构的方法。 71-80
EXE-第三届可执行建模国际研讨会
多里安·勒罗伊 , 曼努埃尔·维默 , 埃尔万·布斯 , 贝诺?t组合 , 维兰德·施温格 :
使用GEMOC工作室创建并玩你的Pac-Man游戏。 84-87 尼沙·德赛 , 马丁·戈戈拉 , 弗兰克·希尔肯 :
通过Filmstrip执行模型:通过Filmstrap模板和转换替代方案增强验证。 88-94 凯·亚当 , Arvid对接 , 奥利弗·考茨 , 伯恩哈德·伦普 , 安德烈亚斯·沃特曼 :
在动态环境中执行机器人任务模型。 95-101 瓦伦丁·贝斯纳德 , 马蒂亚斯·布伦 , 菲利普·达西 , 福雷德里克·朱厄尔(Frédéric Jouault) , 大卫·奥利维尔 , 西普里安·特奥多罗夫 :
面向设计和部署的一个模型解释器。 102-108 菲利波·格拉齐奥利 , 叶夫根尼·库斯缅科 , 亚历山大·罗斯 , 伯恩哈德·伦普 , 迈克尔·冯·温克斯特恩 :
执行自驾汽车零部件和连接器模型的仿真框架。 109-115 朱里·迪·洛科 , 大卫·迪·鲁西奥 , 马塞尔·海因茨 , 卢多维科·伊奥维诺 , 拉尔夫·拉梅尔 , 阿方索·皮兰托尼奥 :
交互式建模中的一致性恢复。 116-122
COMMitMDE-第二届MDE国际研讨会合作建模
马修·拉瓦莱 , 纪尧姆·博利 , 米歇尔·法梅利斯 :
支持基于共识的软件开发:愿景文件。 125-134 加博尔·伯格曼 , 塞巴·德布勒塞尼 , 伊斯特万·拉思 , 达尼尔·瓦罗 :
协同建模中细粒度访问控制基于规则的权限的有效评估。 135-144 伊斯特万·达维德 , 巴特·迈耶斯 , 肯·范赫彭 , Yentl Van Tendloo公司 , 克里斯托夫·伯克斯 , 汉斯·旺格鲁 :
工程过程中不一致性早期检测的建模和实施支持。 145-154 奥马尔·阿拉姆 , 瓦斯科苏萨 , 尤金·西里亚尼 :
使用关注点驱动的版本控制系统进行协作建模。 155-163 康斯坦丁·马森 , 乔纳森·科尔利 , 尤金·西里亚尼 :
协同建模环境的特征模型。 164-173
地铁-第十二届国际研讨会 型号@run.time
克里斯托弗·兰道尔 :
主动系统完整性围栏。 176-183 达明达·B·阿贝威克拉玛 , 埃拉·奥瓦斯卡 :
具有运行时模型的自反和演化数字服务生态系统。 184-192 哈桑·戈玛 , 埃马德·阿尔巴萨姆 :
适应、恢复和进化的运行时软件体系结构模型。 193-200 拜伦·德弗里斯 , 贝蒂·H·C·程 :
在运行时使用模型检测不完整和不一致的需求。 201-209
MULTI-第四届多层次建模国际研讨会
格格利·梅泽伊 , Dániel Urbán , 佐尔坦·泰伊斯 :
通过内部建模操作验证多层元模型。 213-217 比约恩·本纳 :
基于模型的用户界面开发的多级方法。 218-225 克里斯·帕特里奇 , 塞尔吉奥·德·塞萨雷 , 安德鲁·米切尔 , 弗雷德里克·盖利 , 梅斯巴·汗 :
开发本体论沙盒:研究多层建模可能的形而上学结构。 226-234 达米尔·内西奇 , 马蒂亚斯·尼伯格 :
多层次建模在产品线工程数据集成中的应用。 235-242 丹尼尔·特佩尔 , 比约恩·本纳 :
多级模型的维护——基本变更操作分析。 243-250 Khanh-Hoang Doan公司 , 马丁·戈戈拉 :
为多层次扩展UML和OCL工具:面向模型质量评估的应用程序。 251 伯恩德·纽梅尔 , 克里斯托夫·舒埃茨 , 克里斯蒂安·霍纳 , 迈克尔·施雷夫 :
DeepRuby:使用双重深度实例化扩展Ruby。 252-260 延斯·古尔登 :
具有复制和完全语义的多级具体语法规范的应用示例。 261-268 费尔南多·马西亚斯 , 阿德里安·拉特 , 沃尔克·斯托尔茨 :
MultEcore的多层次建模:对MULTI 2017挑战的贡献。 269-273 科林·阿特金森 , 托马斯·库恩 :
关于评估多级建模。 274-277
GEMOC-第五届建模语言全球化研讨会
塔马斯·凯科斯 , 张启申 , Janos Sztipanovits公司 :
桥接工程和形式化建模:WebGME和公式集成。 280-285 斯特凡·克利科维茨 , 阿尔班·利纳德 , 迪迪埃·布克斯 :
CREST-一个连续的、可恢复的系统技术规范DSL。 286-291 雷南·勒鲁 , 伊莱娜·奥贝尔 , 马克·潘特尔 , Jean-Michel布鲁尔 :
联合模拟建模:第一次实验。 292-297
MoDeVVa-第14届模型驱动工程、验证和确认。 在MDE中集成验证和确认
拉奎尔·阿劳霍·德·奥利维拉 , 尤尔根·丁格尔 :
在UML-RT的模型驱动工程环境中,通过等价性检查支持模型精化。 307-314 斯特凡·克利科维茨 , 约阿希姆·丹尼尔 , 亚历山大·穆齐 , 瑞克·萨莱 :
建模框架。 315-320 凯特琳娜·尤尔琴科 , 莫里茨·贝尔 , 海科·克拉尔 , 马克斯·E·克莱默 , 拉尔夫·H·罗伊斯纳 :
架构驱动的减少基于组件的软件系统中验证机密性的规范开销。 321-323 安东尼奥·瓦莱西略 , 马丁·戈戈拉 :
向OCL添加随机操作。 324-328 考希克·马达拉 , 贤秀道 , 丹尼尔·阿西图纳 :
暴露非名义行为的层次模型探索。 329-335
MDETools-模型驱动工程工具
弗朗西斯·博德洛 , 格里沙·利贝尔 , 亚历山大·拉什克 , 杰拉尔德·斯蒂格鲍尔 , 马蒂亚斯·蒂希 :
在实践中成功应用MBE工具的挑战和研究方向。 338-343 穆罕默德·阿勒菲 , 安德鲁·杰考伯森 , 苏迪普托·戈什 , 詹姆斯·比曼 , 贝蒂·H·C·程 :
ReMoDD Eclipse插件:使用模型库进行协作建模。 344-348 托马斯·德格勒 , 坦尼娅·梅耶霍弗 , 安德烈亚斯·沃特曼 :
在GEMOC STUDIO和MONTICORE中设计ROVER语言:语言重用支持的比较。 349-354 乔尔·格林耶 , 丹尼尔·格里茨纳 , 史建伟 , 埃里克·维特 :
用于开发反应系统的基于场景的MDE过程:清洁机器人示例。 355-359 萨希德·波波拉 , 杰弗里·卡弗 , 杰夫·格雷 :
建模即服务:对现有工具的调查。 360-367 蒂姆·博兰德 , 伯恩哈德·伦普 , 安德烈亚斯·沃特曼 :
研究在模型驱动工程中集成手工代码的效果。 368-375 约瑟·艾尔·艾哈迈尔 , 泽维尔·勒·帕莱克 , 塞巴斯蒂安·杰拉德 , Truong Ho-Quang公司 :
UML中的可视变量:第一次经验评估。 376-384
FlexMDE-第三届柔性MDE研讨会
凯文·拉诺 , 霍华德·霍顿 , Sobhan Yassipour Tehrani公司 , 赫萨·阿尔弗雷希 :
金融应用程序的敏捷模型驱动工程。 388-392 Yentl Van Tendloo公司 , 汉斯·旺格鲁 :
显式建模类型/实例关系。 393-398 赫萨·阿尔弗雷希 , 凯文·拉诺 :
敏捷开发与模型驱动开发集成的实践方面:一项探索性研究。 399-404 列维·卢西奥 , 萨阿德·本·阿比德 , 萨勒曼·拉赫曼 , 文森特·阿拉万蒂诺斯 , 拉尔夫·库斯特纳 , 爱德华·哈沃特 :
过程软件模型驱动开发环境。 405-411 赫萨·阿尔弗雷希 , 凯文·拉诺 :
集成敏捷软件开发和模型驱动开发的过程。 412-417 尼古拉斯·希利 , 珍妮·塞巴斯蒂安·索特 :
一致性关系挑战:构建灵活的建模框架。 418-423 约阿希姆·丹尼尔 , 瑞克·萨莱 , 克里斯·帕雷迪斯 , 汉斯·旺格鲁 :
迈向基于敏捷模型的系统工程。 424-429 阿尔法·约哈尼斯 , Dimitris S.Kolovos公司 , 菲奥娜·波拉克 :
将模型由内而外翻转。 430-434 布莱姆比拉 , 罗米娜·埃拉莫 , 阿方索·皮兰托尼奥 , 吉安尼·罗莎 , 埃里克·乌穆霍萨 :
通过向IFML添加设计不确定性来增强用户交互建模的灵活性。 435-440
MDEbug-第一届模型驱动工程调试国际研讨会
西蒙·范·米尔罗 , 埃尔万·布斯 , 汉斯·旺格鲁 , 曼努埃尔·维默 , 克拉克·维尔布鲁奇 , 马丁·戈戈拉 , 马蒂亚斯·蒂希 , 阿诺德·布卢因 :
第一届模型驱动工程调试国际研讨会(MDEbug’17)报告。 441-446 安德烈·奇斯 , 都铎王朝 :
模塑调试。 447-448 玛丽斯·朱克斯 , 克拉克·维尔布鲁奇 , 汉斯·旺格鲁 :
转换调试转换。 449-454 马蒂亚斯·蒂希 , 路易斯·博坎普 , 斯特凡·科格尔 :
调试Henshin模型转换规则的匹配。 455-456 埃尔万·布斯 , 坦尼娅·梅耶霍弗 , 曼努埃尔·维默 :
使用GEMOC Studio进行编译DSL的域级调试。 457-459 西蒙·范·米尔罗 , 汉斯·旺格鲁 :
调试不确定性:Petrinets建模、分析和调试工具。 460-462
海报
优格·D·巴夫 , 希曼舒·内马 , Aniruddha S.Gokhale公司 , Janos Sztipanovits公司 :
云中大规模CPS协同模拟的模型驱动自动部署。 463-464 永阳城 , 赵帅(Shuai Zhao) , 薄成 , 陈俊良 :
物联网的面向资源建模方法:业务流程视角。 465-467 勒昌瑟·卢胡努 , 尤金·西里亚尼 :
基于模板的代码生成研究。 468-471 乔什·G·M·门格里克 , 杰罗恩·诺顿 , 拉蒙·希夫勒 , Mark G.J.van den Brand公司 , 亚历山大·塞雷布雷尼克 :
工业与开源OCL的案例:毕竟没有什么不同。 472-474 萨拉·佩雷斯-索勒 , 胡安·德拉拉 :
JAVACHECK:用于Java代码静态分析的领域特定语言。 475-478
博士生论坛
阿尼尔班·巴塔查吉 :
基于MDE的云应用程序自动供应和管理。 480-483 大卫·乌达特 :
智能电网IT系统的模型驱动设计。 484-486 何塞·博卡内格拉 :
面向上下文软件的模型驱动方法。 487-491 萨那A.阿尔维迪安 :
模型族支持的建模语言进化。 492-495 赵欣(音译) :
面向特征的协同虚拟环境建模。 496-499 优格·D·巴夫 :
面向云中分布式仿真的模型驱动可验证部署。 500-502 丹妮尔·盖瑟 :
使用形式语义验证非功能需求。 503-506 穆罕默德·阿勒菲 :
改进基于模型的回归测试选择。 507-510 阿列克谢·塔津 :
使用软件需求规范的UML类图合成。 511-515
第13届模特儿教育者研讨会
马丁·戈戈拉 :
将计算机科学教学建模理解为一个生态系统。 516-520 卢卡斯·阿尔佩罗维茨 , 简·奥勒·约翰森 , 多拉·德沃纳尔 , 伯恩·布鲁格 :
敏捷项目课程中的建模。 521-524 马修·斯蒂芬 :
敏捷软件工程课程中建模教学的挑战。 525-528 伊恩·M·奥尼尔 :
赞扬用例。 529-532 洛丽·布尔古埃诺 , 安东尼奥·瓦莱西略 , 马丁·戈戈拉 :
使用UML和OCL教学模型视图。 533-538 尼科拉斯·博内 , 凯利·加塞 , 鲁比·卡萨勒斯 , 玛丽亚·埃尔萨·科雷尔 , 冉伟 :
编程风格对转化不良气味的影响:ETL存储库的挖掘。 539-542 哈桑·戈玛 :
教授软件建模与设计。 543-546
ACM学生研究竞赛
工具和演示
萨拉·佩雷斯-索勒 , 埃丝特·格拉 , 胡安·德拉拉 :
使用SOCIO在社交网络上进行辅助建模。 561-565 列维·卢西奥 , 萨勒曼·拉赫曼 , 萨阿德·本·阿比德 , 阿利斯泰尔·马文 :
EARS-CTRL:为虚拟对象生成控制器。 566-570 绪方信培 , 中川博彦 , 青木吉隆 , 小林一木 , 福岛裕子 :
编辑和验证物联网系统架构模型的工具。 571-575 托尼·克拉克 , 维奈·库尔卡尼 , 苏维克巴拉特 , Balbir谷仓 :
从基于演员的系统生成电影模型。 576-582 法贝尔·D·吉拉尔多 , 莫尼卡·M·维莱加斯 , 胡安·梅迪纳 :
扩展Osate 2用于虚拟设备的自定义模拟。 583-587