2022型
2022年10月28日星期日至星期五加拿大蒙特利尔

关于


诚挚邀请您参加2022年10月16日至21日在加拿大蒙特利尔举行的第25届MODELS大会,大会将讨论建模、建模语言以及基于模型的软件和系统工程的各个方面。

MODELS是基于模型的软件和系统工程的首要会议系列。自1998年以来,MODELS涵盖了建模的所有方面,从语言和方法到工具和应用程序。模型参与者来自不同的背景,包括研究人员、学者、工程师和工业专业人士。MODELS 2022是一个论坛,参与者可以交流关于建模、建模语言以及基于模型的软件和系统工程的前沿研究成果和创新实践经验。

与往年一样,MODELS 2022为技术论文提供了两条轨道:基础轨道实践与创新轨道.

今年的版本将为建模社区提供一个机会,以进一步推进建模基础,并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源、,以及可持续性。

今年的会议有特别的主题“社会公益建模” #MDE4SG公司因此,我们特别鼓励在基于模型的工程与社会技术系统、具有社会影响的工具、集成人类价值观、数据科学、人工智能、数字孪生兄弟、工业/社会5.0以及一般智能系统的研究和应用相交叉的领域做出贡献。论文符合最佳主题论文奖.

我们邀请您加入我们在加拿大蒙特利尔举办的模型2022大会,帮助塑造未来的建模语言、方法和技术!

感兴趣的主题(但不限于)


MODELS 2022寻求提交与软件和系统工程建模相关的各种主题,包括但不限于:

  • 基于模型的工程基础,包括建模语言和模型转换语言的语法和语义定义。
  • 基于模型的工程的新范式、形式主义、应用程序、方法、框架或过程,如低代码/无代码开发、数字孪生等。
  • 基于模型的生成和再工程方法的定义、使用和分析。
  • 模型@运行时:基于模型的监测、分析和适应智能系统,例如使用数字阴影或数字双胞胎。
  • 开发基于模型的系统工程方法和大规模建模,包括跨学科工程和协调。
  • 人工智能在基于模型的工程问题中的应用,包括基于搜索和机器学习的方法。
  • 基于AI系统的基于模型的工程基础。
  • 基于模型的工程中的人和组织因素。
  • 用于基于模型的工程的工具、元工具和语言工作台,包括模型管理和可扩展模型存储库。
  • 集成建模语言和工具(混合多建模方法)。
  • 建模语言、技术和工具的评估和比较。
  • 模型和模型转换的功能和非功能属性的质量保证(分析、测试、验证)。
  • 协作建模研究,以解决全球和团队管理问题(例如,基于浏览器和云计算的协作)。
  • 建模语言和相关标准的发展。
  • 基于证据的教育研究课程关注建模主题。
  • 软件工程中的建模;应用模型解决一般软件工程挑战。
  • 针对具体挑战进行建模,例如协作、可扩展性、安全性、互操作性、适应性、灵活性、可维护性、可靠性、重用、能效、可持续性和不确定性。
  • 使用新的和新兴的系统和范式进行建模,例如安全、网络物理系统(CPS)、物联网(IoT)、云计算、DevOps、数据分析、数据科学、机器学习、大数据、系统工程、社会技术系统、关键基础设施和服务、机器人、移动应用程序、,会话代理、开源软件、可持续性和社会公益建模。
  • 将基于模型的工程应用于智能生产、智能城市、智能企业、智能交通、智能社会等领域的实证研究。

出勤


如果提交的论文被接受,则至少需要一名论文作者出席会议并提交论文亲自.

日期
曲目
您正在不同于设备时区的时区中查看程序更改时区

10月26日星期三

显示的时区:东部时间(美国和加拿大) 改变

10:30 - 12:00
10:30
2200万
谈话
基于随机时间博弈自动机的预计算重构策略英尺
技术轨道
亨德里克·哥特曼达姆施塔特工业大学,比尔特·凯撒赫尔穆特·施密特大学,Lasse啤酒赫尔穆特·施密特大学,马尔特·洛肖锡根大学,安迪·舒尔德国达姆施塔特大学,亚历山大·费伊赫尔穆特·施密特大学
10:52
1500万
谈话
高效多机器人舞蹈规划和执行自动化工具演示
工具和演示
埃里克·罗斯林·韦特·波卡汉诺威莱布尼茨大学,乔尔·格林耶FHDW汉诺威,丹尼尔·库登科汉诺威莱布尼茨大学,沃尔夫冈·内德尔汉诺威莱布尼茨大学,奥利弗·弗莱格尔大众汽车股份公司,丹尼斯·艾斯纳大众汽车公司
11:07
2200万
谈话
基于逻辑求解器的系统体系结构可执行性综合英尺
技术轨道
马尔蒂亚克布达佩斯科技经济大学,克里斯托夫·马鲁西布达佩斯科技经济大学,丹尼尔·瓦罗麦吉尔大学/布达佩斯科技经济大学,伊斯特万·马齐克布达佩斯科技经济大学
附加的文件
11:29
1500万
谈话
从专有工具迁移到开放源代码软件以生成和演化EAST-ADL元模型演示
工具和演示
约格·霍尔特曼查尔默斯|哥德堡大学,Jan-Philipp Steghöfer先生XITASO GmbH IT&软件解决方案,亨利克·洛恩沃尔沃技术
11:44
1500万
谈话
一种以图为中心的系统体系建模工具演示事实上的
工具和演示
13:30 - 15:00
验证与验证I技术轨道A-3502.1号文件
主席:玛莎·契契克多伦多大学
13:30
2200万
谈话
通过用户定义的约简进行实用多维调试:在UML模型中的应用英尺
技术轨道
马蒂亚斯·帕斯奎尔埃托斯格纳,西普里安·特奥多罗夫ENSTA布列塔尼,弗雷德里克·茹奥法国ESEO ERIS团队,马蒂亚斯·布伦ESEO TRAME团队,卢卡·勒鲁布列塔尼恩斯塔STICC CNRS UMR 6285实验室,洛伊克·拉加德克布列塔尼恩斯塔STICC CNRS UMR 6285实验室
13:52
2200万
谈话
面向软件工程师的建模程序验证工具管道仪表
技术轨道
苏菲车床特温特大学,瓦迪姆·扎伊采夫荷兰特温特大学
附加的文件
14:15
2200万
谈话
可执行模型的自动测试放大英尺
技术轨道
费泽·科拉姆IMT亚特兰蒂斯,法国南特,埃尔万·布斯南特大学,Jean-Marie Mottu女士南特大学,LS2N,IMT亚特兰蒂斯,格森·苏尼南特大学,LS2N,巴勃罗·戈梅斯·阿巴霍马德里奥托诺马大学,巴勃罗·卡尼萨雷斯西班牙马德里自治大学,埃丝特·格拉马德里奥特诺马大学,胡安·德拉拉马德里自治大学
预打印
14:37
2200万
谈话
工业环境中UML模型形式验证的反馈:以智能设备生命周期管理系统为例管道仪表
技术轨道
13:30 - 15:00
13:30
2200万
谈话
用EVEREST验证铁路网模型管道仪表
技术轨道
乔·马丁斯EFACEC公司,何塞·M·丰塞卡EFACEC公司,拉斐尔·科斯塔INESC TEC公司,何塞·克里萨克·坎波斯Minho大学和HASLab/INESC TEC,阿尔西诺库尼亚明霍大学;INESC TEC公司,努诺·马塞多波尔图大学;INESC TEC公司,何塞·努诺·奥利维拉明霍大学;INESC TEC公司
13:52
2200万
谈话
游戏软件工程中的错误定位:进化模拟以定位视频游戏软件模型中的错误英尺
技术轨道
罗德里戈·卡萨马约尔SVIT研究小组。圣豪尔赫大学,洛伦娜·阿塞加圣乔治大学,方济各·佩雷斯SVIT研究小组。圣豪尔赫大学,卡洛斯·塞蒂纳西班牙圣乔治大学
14:15
2200万
谈话
SOCAM:一种面向服务的计算体系结构建模方法第1个
日志优先
链接到出版物
14:37
2200万
谈话
汽车系统分析的综合框架管道仪表
技术轨道
亚历山德罗·西马蒂布鲁诺·凯斯勒基金会,萨拉·科尔菲尼华为比萨研究中心,卢卡·克里斯托福雷蒂布鲁诺·凯斯勒基金会,马可·迪纳塔莱Scuola Superiore Sant’Anna(华为Pisa研究中心顾问),阿尔贝托·格里乔布鲁诺·凯斯勒基金会,斯特凡诺·普里华为比萨研究中心,斯特凡诺·托内塔意大利布鲁诺·凯斯勒基金会
13:30 - 15:00
模型管理日志优先/技术轨道A-5502.1号文件
主席:伊莱娜·奥贝尔图卢兹大学
13:30
2200万
谈话
基于局部相似性保持散列加速基于相似性的模型匹配英尺
技术轨道
小河中国北京科技大学,乐天堂北京科技大学计算机与通信工程学院,李宇通北京科技大学计算机与通信工程学院
13:52
2200万
谈话
一种有效的基于行的方法解决基于XMI的模型中的合并冲突第1个
日志优先
链接到出版物
14:15
2200万
谈话
使用字符串匹配算法检测模型转换中的设计模式的通用方法第1个
日志优先
Chihab eddine Mokaddem公司蒙特利尔大学DIRO,Houari Sahraoui公司蒙特勒大学,尤金·西里亚尼蒙特勒大学
链接到出版物
14:37
2200万
谈话
嵌套OSTRICH:低代码模板的图案填充组成管道仪表
技术轨道
乔·科斯塔·塞科新里斯本大学,雨果·卢伦索OutSystems SA公司,乔安娜·巴普蒂斯塔·帕雷拉里斯本诺瓦大学,卡拉·费雷拉里斯本诺瓦大学
15:30 - 17:00
15:30
2200万
谈话
基于关系参考属性文法的自适应系统增量因果关系英尺
技术轨道
雷内·舍内德累斯顿理工大学,约翰·梅伊德累斯顿理工大学,塞巴斯蒂安·埃伯特德累斯顿理工大学,塞巴斯蒂安·戈茨德累斯顿理工大学,乌韦·Aß曼德国德累斯顿大学
附加的文件
15:52
2200万
谈话
解决软件密集型系统中的不确定性交互问题:挑战和期望英尺
技术轨道
卡马拉马拉加大学,Radu Calinescu公司英国约克大学,Betty H.C.Cheng密歇根州立大学,大卫·加兰卡内基梅隆大学,布拉德利·施默尔美国卡内基梅隆大学,哈维尔·特罗亚西班牙马拉加大学,安东尼奥·瓦列西洛西班牙马拉加大学
16:15
2200万
谈话
低代码开发中的建模:多声部系统综述J1第
日志优先
阿莱西奥·布卡奥尼梅拉德伦大学,安东尼奥·西切蒂梅拉德伦大学,费德里科·西科齐马拉代伦大学
链接到出版物
16:37
2200万
谈话
基于价值的目标模型分析工具演示
工具和演示
卡洛斯·卡诺·基诺维斯瓦伦西亚政治大学,埃米利奥·因斯夫兰西班牙瓦伦西亚政治大学,西尔维亚·阿布拉奥瓦伦西亚政治大学
15:30 - 17:00
15:30
2200万
谈话
基于GLSP的Web建模中的高级可视化和交互:实现语义缩放和屏幕外元素英尺
技术轨道
朱利亚诺·德卡洛维也纳工业大学,菲利普·兰格EclipseSource Services股份有限公司,多米尼克·博克奥地利维也纳TU Wien
15:52
2200万
谈话
Picto Web:复杂模型探索工具演示
工具和演示
16:15
2200万
谈话
软件设计表达对不同个性团队设计沟通的影响英尺
技术轨道
罗迪·乔拉克查尔默斯|哥德堡大学,Maxime Savary-下线里尔大学,曼努埃拉·达利博尔亚琛RWTH大学软件工程,尤拉吉·文丘尔斯洛伐克理工大学,伊万·波拉塞克斯洛伐克理工大学,里贾娜·赫比格查尔默斯科技大学和哥德堡大学,泽维尔·勒·帕莱克里尔大学,米歇尔·乔德伦荷兰埃因霍温理工大学,塞巴斯蒂安·杰拉德CEA Saclay-NanoInnov公司,A W公司
16:37
2200万
谈话
商业和开源模型驱动软件工程工具中的混合建模:一项系统研究第1个
日记账优先
伊斯特万·戴维蒙特勒大学,马尔维娜·拉蒂法吉梅拉德伦大学,雅各布·皮埃特隆乌尔姆大学,张伟星查尔默斯|哥德堡大学,费德里科·西科齐马拉代伦大学,伊万诺·马拉沃尔塔阿姆斯特丹Vrije大学,亚历山大·拉什克 ,Jan-Philipp Steghöfer先生XITASO GmbH IT&软件解决方案,里贾娜·赫比格查尔默斯科技大学和哥德堡大学
链接到出版物

10月27日星期四

显示的时区:东部时间(美国和加拿大) 改变

10:30 - 12:00
区块链和合同技术轨道A-3502.1号文件
主席:斯特芬·兹谢勒伦敦国王学院
10:30
2200万
谈话
使用SymboleoPC检查法律合同的模型英尺
技术轨道
Alireza Parvizimosaed公司渥太华大学,马可·罗维里特伦托大学,艾丁·拉斯蒂渥太华大学,丹尼尔·阿姆约特渥太华大学,路易吉·洛格里波渥太华大学,约翰·米洛波洛斯特伦托大学
10:52
2200万
谈话
智能合约验证的谓词抽象英尺
技术轨道
哈维尔·戈多伊阿根廷布宜诺斯艾利斯大学,胡安·巴勃罗·加莱奥蒂布宜诺斯艾利斯大学,迭戈·加伯维斯基阿根廷布宜诺斯艾利斯大学和CONICET,塞巴斯蒂安·乌奇特尔布宜诺斯艾利斯大学/帝国理工学院
附加的文件
11:15
2200万
谈话
Symboleo2SC:从法律合同规范到智能合同英尺
技术轨道
11:37
2200万
谈话
区块链应用程序部署和管理的声明性建模框架英尺
技术轨道
卢西亚诺·巴雷西米兰理工大学,乔瓦尼·夸特罗奇米兰理工大学,达米安·安德鲁·坦布里时间单位/单位,卢卡·特拉恰诺米兰理工大学
10:30 - 12:00
10:30
2200万
谈话
交互式领域建模中基于机器学习的增量学习英尺
技术轨道
里朱尔·塞尼加拿大麦吉尔大学,冈特·马斯巴赫麦吉尔大学,Jin L.C.郭麦吉尔大学,Jörg Kienzle公司加拿大麦吉尔大学
10:52
2200万
谈话
MemoRec:一个帮助建模者指定元模型的推荐系统第1个
日记账优先
朱里·迪·洛科来自意大利阿布鲁佐大学,大卫·迪·鲁西奥来自意大利阿布鲁佐大学,克劳迪奥·迪·西皮奥来自意大利阿布鲁佐大学,Phuong T.Nguyen先生拉奎拉大学,阿方索·皮兰托尼奥
链接到出版物
11:15
2200万
谈话
在使用预先训练的语言模型进行建模活动期间推荐元模型概念第1个
日志优先
马丁·韦索尔蒙特利尔大学DIRO,Houari Sahraoui公司蒙特勒大学,尤金·西里亚尼蒙特勒大学
链接到出版物
11:37
2200万
谈话
NEMO发现:预测下一次建模操作的推荐系统英尺
技术轨道
朱里·迪·洛科来自意大利阿布鲁佐大学,克劳迪奥·迪·西皮奥来自意大利阿布鲁佐大学,Phuong T.Nguyen先生拉奎拉大学,大卫·迪·鲁西奥来自意大利阿布鲁佐大学,阿方索·皮兰托尼奥
15:30 - 17:00
15:30
2200万
谈话
DescribeML:描述机器学习数据集的工具演示
工具和演示
琼·金纳加泰罗尼亚奥贝塔大学,阿贝尔·戈麦斯加泰罗尼亚奥贝塔大学,乔迪·卡博特西班牙加泰罗尼亚开放大学
预打印媒体已连接
15:52
2200万
谈话
用于解释的事件驱动时间模型.ETeMoX:解释强化学习第1个
日志优先
链接到出版物
16:15
2200万
谈话
MoDLF——一种用于自动车辆感知(AVP)的模型驱动的深度学习框架英尺
技术轨道
Aon Safdar公司巴基斯坦伊斯兰堡国立科技大学机电学院计算机与软件工程系,法鲁克·阿扎姆巴基斯坦伊斯兰堡国立科技大学机电学院计算机与软件工程系,穆罕默德·瓦西姆·安瓦尔马拉代伦大学创新、设计与工程系,乌斯曼·阿克拉姆巴基斯坦伊斯兰堡国立科技大学机电学院计算机与软件工程系,雅瓦尔·拉希德巴基斯坦伊斯兰堡国立科技大学机电学院计算机与软件工程系
16:37
2200万
谈话
辅助需求目标建模:一种基于机器学习和逻辑推理的混合方法英尺
技术轨道
周启祥北京工业大学,童丽北京工业大学,王云朵北航大学软件学院
15:30 - 17:00
系统工程与分析II技术轨道/工具和演示/日记账优先A-5502.1号文件
主席:Jean-Michel布鲁尔法国图卢兹大学
15:30
2200万
谈话
生成不一致模型的修复第1个
日志优先
卢西亚诺·马切赞 ,罗兰·克雷奇默 ,韦斯利·阿桑桑奥地利林茨约翰内斯·开普勒大学和巴西里约热内卢天主教大学,亚历山大·雷德 ,亚历山大·埃吉德约翰开普勒林茨大学
链接到出版物
15:52
2200万
谈话
解决AADL中的实例模型视图更新问题管道仪表
技术轨道
Rakshit Mittal公司安特卫普大学-佛兰德斯制造,多米尼克·布卢因LTCI实验室,巴黎电信,巴黎政治学院,阿尼什·博比巴黎理工学院,Soumyadip Bandyopadhyay公司BITS皮拉尼
16:15
2200万
谈话
OSATE-DIM解决了AADL中的实例模型视图更新问题演示
工具和演示
Rakshit Mittal公司安特卫普大学-法兰德斯制造,多米尼克·布劳因LTCI实验室,巴黎电信,巴黎政治学院
16:37
2200万
谈话
跨多域工程模型的反应性链接管道仪表
技术轨道
Cosmina-Cristina比率约翰开普勒林茨大学,卫斯理协会奥地利林茨约翰内斯·开普勒大学和巴西里约热内卢天主教大学,雷纳尔·哈斯林茨机电中心股份有限公司,亚历山大·埃吉德约翰开普勒林茨大学

10月28日星期五

显示的时区:东部时间(美国和加拿大) 改变

10:30 - 12:00
应用程序III工具和演示/日志优先A-5502.1号文件
主席:塞巴斯蒂安·莫瑟麦克马斯特大学
10:30
2200万
谈话
STRIDE安全威胁建模中假设的描述性研究第1个
日记账优先
迪米特里·范·兰杜特比利时鲁汶大学,沃特·乔森鲁汶卡索利克大学
链接到出版物
10:52
2200万
谈话
TMI:Web3应用的代币经济学变得简单演示事实上的
工具和演示
韩流(Han Liu)清华大学,王旭飞牛津-海南区块链研究所模型实验室,Bin Wang(王斌)牛津-海南区块链研究所,中国海南,郑慧萱牛津-海南区块链研究所,刘旭超牛津-海南区块链研究所模型实验室
11:15
2200万
谈话
在敏捷模型驱动工程中使用DevOps工具链第1个
日志优先
Jörn Guy SüßCodebots私人有限公司。,萨曼莎·斯威夫特 ,埃班·埃斯科特代码机器人
链接到出版物
11:37
2200万
谈话
使用AutoER学习UML数据库设计和建模演示
工具和演示
莎拉·福斯不列颠哥伦比亚大学,塔蒂亚娜·乌拉佐娃不列颠哥伦比亚大学,拉蒙·劳伦斯不列颠哥伦比亚大学
13:30 - 15:00
基础III技术轨道/日志优先/工具和演示A-3502.1号文件
主席:丹尼尔·瓦罗麦吉尔大学/布达佩斯科技经济大学
13:30
2200万
谈话
基于场景需求和平台模型的早期时间分析J1第
日志优先
链接到出版物
13:52
2200万
谈话
需求文档关系——通过标准追溯的重用视角第1个
日志优先
凯萨琳娜·格罗科布伦兹·兰道大学,沃尔克·里迪格科布伦兹·兰道大学,扬·于尔詹斯科布伦兹·兰道大学
链接到出版物
14:15
2200万
谈话
多模型数据的模式推理英尺
技术轨道
帕维尔·库皮尔查尔斯大学数学和物理系,塞巴斯蒂安·赫里科布拉格查尔斯大学,伊雷娜·霍卢波娃布拉格查尔斯大学
14:37
2200万
谈话
EvolveDB——一个用于模型驱动模式演化的工具演示
工具和演示
托本·埃克沃尔特Forschungscapus Mittelhessen公司,迈克尔·古克特Mittelhessen技术学院——应用科学大学,加布里埃尔·坦泽尔德国马尔堡大学
13:30 - 15:00
经验与实践、基准技术轨道/日志优先A-4502.1号文件
主席:希瓦·内贾蒂渥太华大学
13:30
2200万
谈话
软件语言的编辑支持:语言服务器协议中的实现实践管道仪表流程图
技术轨道
乔纳森·巴罗斯PPGComp-西帕兰州立大学,斯文·佩尔德苏斯波鸿鲁尔大学,韦斯利·阿桑桑奥地利林茨约翰内斯·开普勒大学和巴西里约热内卢天主教大学,托尔斯滕·伯杰波鸿鲁尔大学
内政部预打印
13:52
2200万
谈话
领域特定语言生命周期中的既定实践调查管道仪表
技术轨道
霍尔格·博鲁姆哥本哈根IT大学,克里斯托夫·塞德尔哥本哈根IT大学
14:15
2200万
谈话
基于AADL工业案例研究的增量模型转换工具基准第1个
日记账优先
哈娜·姆考瓦尔 ,多米尼克·布劳因LTCI实验室,巴黎电信,巴黎政治学院,艾蒂安·博尔德
链接到出版物
14:37
2200万
谈话
增量图形查询的跨技术基准第1个
日志优先
链接到出版物
13:30 - 15:00
模型可视化II工具和演示/日志优先A-5502.1号文件
主席:安东尼奥·瓦列西洛西班牙马拉加大学
13:30
1800万
谈话
模型在纸上还是屏幕上读得更好?比较研究第1个
日志优先
链接到出版物
13:48
1800万
谈话
绅士的图形投影编辑演示
工具和演示
奥雷连·杜科因蒙特利尔大学DIRO,尤金·西里亚尼蒙特勒大学
链接到出版物预打印
14:06
1800万
谈话
红绿色盲社区评估支持PoN的误用案例符号的可访问性J1第
日志优先
链接到出版物
14:24
1800万
谈话
虚拟现实中基于游戏化的UML学习环境演示
工具和演示
Enes Yigitbas公司德国帕德博恩大学,马克西米利安·施密特帕德博恩大学,安东尼奥·布奇亚罗内意大利特伦托布鲁诺·凯斯勒基金会,塞巴斯蒂安·戈茨查克帕德博恩大学,格雷戈·恩格斯帕德博恩大学
14:42
1800万
谈话
面向LIDL的实际采用:建模人机界面软件交互的工具链演示事实上的
工具和演示
宁歌北京航空航天大学软件学院,王云朵北京航空航天大学软件学院,袁旺(音)北京航空航天大学软件学院,王勇(音)北京航空航天大学软件学院

接受的论文

标题
基于局部相似性保持散列加速基于相似性的模型匹配英尺
技术轨道
汽车系统分析的综合框架管道仪表
技术轨道
解决软件密集型系统中的不确定性交互问题:挑战和期望英尺
技术轨道
区块链应用程序部署和管理的声明性建模框架英尺
技术轨道
基于仿真的物联网边到云解决方案测试的领域专用语言管道仪表
技术轨道
基于GLSP的Web建模中的高级可视化和交互:实现语义缩放和屏幕外元素英尺
技术轨道
辅助需求目标建模:一种基于机器学习和逻辑推理的混合方法英尺
技术轨道
可执行模型的自动测试放大英尺
技术轨道
预打印
游戏软件工程中的错误定位:进化模拟以定位视频游戏软件模型中的错误英尺
技术轨道
数字孪生作为技术社会经济系统的无风险实验辅助工具管道仪表
技术轨道
软件语言的编辑支持:语言服务器协议中的实现实践管道仪表
技术轨道
内政部预打印
工业环境中UML模型形式验证的反馈:以智能设备生命周期管理系统为例管道仪表
技术轨道
NEMO发现:预测下一次建模操作的推荐系统英尺
技术轨道
基于关系参考属性文法的自适应系统增量因果关系英尺
技术轨道
附加的文件
交互式领域建模中基于机器学习的增量学习英尺
技术轨道
模型分类的机器学习方法比较研究英尺
技术轨道
预打印
使用SymboleoPC检查法律合同的模型英尺
技术轨道
面向软件工程师的建模程序验证工具管道仪表
技术轨道
附加的文件
MoDLF——一种用于自动车辆感知(AVP)的模型驱动的深度学习框架英尺
技术轨道
模块化语言产品线。一种图形变换方法英尺
技术轨道
预打印媒体已连接
嵌套OSTRICH:低代码模板的图案填充组成管道仪表
技术轨道
通过用户定义的约简进行实用多维调试:在UML模型中的应用英尺
技术轨道
基于随机时间博弈自动机的预计算重构策略英尺
技术轨道
智能合约验证的谓词抽象英尺
技术轨道
附加的文件
量化问题和解决方案空间之间的变量不匹配英尺
技术轨道
跨多域工程模型的反应性链接管道仪表
技术轨道
多模型数据的模式推理英尺
技术轨道
解决AADL中的实例模型视图更新问题管道仪表流程图
技术轨道
领域特定语言生命周期中的既定实践调查管道仪表
技术轨道
Symboleo2SC:从法律合同规范到智能合同英尺
技术轨道
基于逻辑求解器的系统体系结构可执行性综合英尺
技术轨道
附加的文件
软件设计表现对不同个性团队设计沟通的影响英尺
技术轨道
机器学习中基于模型的偏差消除事实上的管道仪表
技术轨道
通过系统探索验证无功系统规范的正确性英尺
技术轨道
预打印
用EVEREST验证铁路网模型管道仪表
技术轨道

实践与创新轨道


实践与创新(P&I)轨道的目标是填补基于模型的工程(MBE)基础研究与工业需求之间的差距。我们邀请学术界和/或工业界的作者提交原创贡献报告,介绍工业、公共部门或开源环境中创新MBE解决方案的开发,以及MBE在此类环境中的创新应用。示例包括:

  • 可扩展且经济高效的方法和工具
  • 具有宝贵经验教训的行业案例研究
  • 提供新颖见解的经验报告

每一篇论文都应该通过描述一个具有实际重要性的问题的背景以及MBE的应用来提供明确的可操作性价值。提供了一份非结论性的感兴趣主题列表在这里.

评估标准:P&I Track中的一篇论文将主要从其实际观点和研究结果的潜在影响进行评估。更具体地说,

  • 论文应讨论为什么该问题的解决方案具有创新性(例如,在推进国家实践方面)、有效性和/或效率,以及它可能产生或将产生的实际影响;
  • 论文应简要说明所采用的方法、技术、方法和工具;
  • 论文应解释出现的最佳实践、开发的工具和/或涉及的软件过程。
  • 报告负面结果的研究必须对失败的潜在原因进行彻底的讨论,最好是对如何解决这些问题的观点。
  • 鼓励作者公开访问工件,例如通过Github存储库或可能仍然可用的替代方案。将有一个可选的工件评估过程,如下所述。

提交过程


模型2022 P&I轨道的提交过程与以往的模型版本类似,具体细节如下。我们遵循P&I轨道的单一匿名审查流程。在一个单一的匿名流程中,作者的姓名由审稿人识别,无需从论文中删除。请参阅下面的提交信息部分,以相应地准备您的手稿。

对于P&I跟踪,必须通过2022款EasyChair网页。

  • P&I跟踪文件的正文不得超过10页,包括所有图表、表格、附录等。允许多出两页仅包含参考文献。
  • 所有提交文件必须为PDF格式。页数限制很严格,在这个过程中的任何时候(包括论文被接受后)都不可能购买额外的页面。
  • 有关格式说明,请访问https://www.acm.org/publications/proceedings-template网站适用于LaTeX和Word用户。LaTeX用户必须使用提供的acmart.cls公司ACM参考格式.bst在不修改的情况下,启用文档前言中的会议格式(即。,\文档类[sigconf,review]{acmart}),并对书目使用ACM参考格式(即。,\书目样式{ACM-Reference-Format}). review选项添加行号,从而允许裁判员在评论中引用特定行。
  • Word用户确保在文本正文、作者信息和章节标题上使用Times New Roman;并在论文标题上使用Helvetica。
  • 通过提交模型P&I跟踪,作者承认他们了解并同意受ACM关于剽窃的政策和程序IEEE剽窃常见问题解答特别是,提交给2022年模型的论文不得在其他地方发表,也不得在2022年模型审议期间接受审查或提交给其他地方审查。
  • 2022年模型的P&I跟踪将采用单一匿名审查流程(即,作者不必在论文中隐藏自己的身份)。由于行业论文通常严重依赖于开展工作的行业/实际背景,因此匿名化背景可能会对论文产生负面影响。
  • 如果您对提交过程有更多疑问,请联系项目主席。

不遵守这些限制或违反格式指南的提交文件将被桌面拒绝,不予审查。接受的论文将在ACM出版的会议记录中发表。

会议中选定论文的作者将被邀请修改并提交论文的扩展版本,以便在国际软件和系统建模杂志(SoSyM).

作者响应期


模型2022将为已达到足够支持水平的提交文件提供可选的作者响应期。在此期间,作者将有机会检查审查,并回答项目委员会提出的具体问题,以告知后续决策过程。

人工制品评估


通知后,将邀请已接受论文的作者将其附带的工件(例如,软件、数据集、证据)提交到工件评估轨道,由工件评估委员会进行评估。参与人工制品评估过程是可选的,并不影响关于论文验收的最终决定。成功通过人工制品评估流程的论文将获得论文中包含的批准印章。

重要日期


损益跟踪有以下截止日期:

  • 2022年5月18日星期三,摘要提交
  • 2022年5月18日星期三,提交论文
  • 2022年6月28日至7月1日,作者回复期
  • 2022年7月12日星期二,作者通知
  • 2022年8月1日星期一,相机就绪版本到期

请注意:

  • 摘要提交是强制性的。
  • 所有的最后期限都很难。不会授予任何延期。
  • 所有日期均以“地球上任何地方”的时区为准,即UTC-12。
  • 所有被接受的论文必须由注册为“正式”参与者的作者提交(学生演示者必须注册为正式参与者)。

基础轨道


我们邀请作者提交高质量的文章,描述以下两类重要的、原创的和未发表的结果。提供了一份非结论性的感兴趣主题列表在这里.

1.技术文件

技术论文应描述建模或基于模型的工程活动中的创新研究。此提交类别的论文应描述对该领域的新贡献,并应通过引用相关文献仔细支持新颖性主张。

评估标准:技术论文的评价依据是原创性、稳健性、相关性、贡献的重要性、验证的力度、演示的质量以及与相关作品的适当比较。如果提交的论文建立在作者以前的作品之上,与之前的工作相比,必须清楚地描述新贡献的新颖性。技术论文需要清楚地讨论结果是如何被验证的(例如,正式证明、受控实验、严格的案例研究或模拟)。强烈建议作者公开评估使用的工件,例如通过Github存储库或可能保持可用的替代品。将有一个可选的工件评估过程,如下所述。

2.新想法/愿景文件

我们征集发表新想法和愿景的短文。此类论文可能会描述新的、非传统的基于模型的工程研究立场或偏离标准实践的方法。他们可以描述处于调查早期阶段的明确的研究思路。他们还可以提供新的证据,证明常识应该受到挑战,提出关于现有建模研究的新的统一理论,提供新的见解或可能导致新技术或方法的开发,或将建模技术应用于全新的应用领域。

评估标准:新想法和愿景文件将主要根据其原创性水平以及在促进创新思维方面对该领域产生影响的潜力进行评估。因此,必须清楚地描述最新技术的不足之处以及想法/愿景的相关性、正确性和影响,即使新想法不需要完全制定出来,也不需要提出完整详细的路线图。新想法和愿景文件不需要进行全面评估,但初步评估结果可能有助于评审员更好地了解工作范围。强烈建议作者公开访问工件,例如通过Github存储库或可能保持可用的替代品。将有一个可选的工件评估过程,如下所述。

提交过程


模型2022基础轨道的提交过程与以往的模型版本类似,具体细节如下。我们遵循双重匿名审查程序用于基础轨道。在双匿名审查过程中,不会向审查人员确认作者,也不会向作者确认审查人员。请参阅下面的提交信息部分,为双匿名流程准备您的手稿。

论文必须通过电子方式提交2022款EasyChair网页。

  • 技术论文的正文不得超过10页,包括所有的图、表、附录等。允许多出两页,只包含参考文献。
  • 新想法/愿景论文的正文不得超过6页,包括所有图表、表格、附录等。允许再多写一页,只包含参考文献。
  • 所有提交文件必须为PDF格式。页数限制很严格,在这个过程中的任何时候(包括论文被接受后)都不可能购买额外的页面。
  • 有关格式说明,请访问https://www.acm.org/publications/proceedings-template网站适用于LaTeX和Word用户。LaTeX用户必须使用提供的acmart.cls公司ACM参考格式.bst在不修改的情况下,启用文档前言中的会议格式(即。,\文档类[sigconf,review]{acmart}),并对书目使用ACM参考格式(即。,\书目样式{ACM-Reference-Format}). review选项添加行号,从而允许裁判员在评论中引用特定行。
  • 通过提交模型基础跟踪,作者承认他们了解并同意受ACM关于剽窃的政策和程序IEEE剽窃常见问题尤其是,提交给模型2022的论文不得在其他地方发表,也不得在考虑模型2022时在其他地方进行审查或提交审查。
  • 2022型基金会将采用双匿名审查程序。因此,任何提交都不得透露作者的身份。作者必须尽一切努力遵守双重匿名审查程序。有关更多信息,请查看提交信息部分.
  • 如果您对提交过程有更多问题,请联系项目主席。

不符合规定页面限制或违反格式指南的提交将被桌面拒绝,无需审查。接受的论文将在ACM出版的会议记录中发表。

会议中选定论文的作者将被邀请修改并提交论文的扩展版本,以便在国际软件与系统建模杂志(SoSyM).

作者响应期


模型2022将为已达到足够支持水平的提交文件提供可选的作者响应期。在此期间,作者将有机会检查审查,并回答项目委员会提出的具体问题,以告知后续决策过程。

艺术品评估


通知后,将邀请已接受论文的作者将其附带的工件(例如,软件、数据集、证据)提交到工件评估轨道,由工件评估委员会进行评估。参与人工制品评估过程是可选的,并不影响关于论文验收的最终决定。成功通过人工制品评估流程的论文将获得论文中包含的批准印章。

重要日期


基金会跟踪有以下截止日期:

  • 2022年5月18日星期三,摘要提交
  • 2022年5月18日星期三,提交论文
  • 2022年6月28日至7月1日,作者回复期
  • 2022年7月12日星期二,作者通知
  • 2022年8月1日星期一,相机就绪版本到期

请注意:

  • 摘要提交是强制性的。
  • 所有的最后期限都很难。不允许延期。
  • 所有日期均以“地球上任何地方”的时区为准,即UTC-12。
  • 所有被接受的论文必须由注册为“常规”参与者的作者提交(学生提交者必须注册为常规参与者)。

提交信息


2022年模型的基础轨道将遵循一个双匿名审查过程,在该过程中,项目委员会在任何时候都不会知道作者的身份。提交的论文不得以任何方式透露作者的身份。因此,作者应尽一切合理努力保持论文的匿名性,但当然,没有必要保证作者的身份无法被发现。

为什么选择双重匿名?

在会议上进行双重匿名审查有很多原因,包括为了避免(甚至是无意识的)审查人员的偏见。因此,为了使审查过程尽可能公平,我们希望避免审查人员对作者身份的正面或负面偏见。最近,许多会议已转向双匿名流程,以避免此类偏见,包括ICSE、ICSME、FASE、ESEC/FSE和ASE等。有关双匿名审查的更多信息,请咨询克莱尔·勒·古伊斯博客帖子,一个双匿名资源列表来自Robert Feldt和学习莫里茨·贝勒(Moritz Beller)和阿尔贝托·巴切利(Alberto Bacchelli)。

如何准备论文进行双重匿名审查?

  • 在标题页中省略所有作者的姓名和从属关系。如果提到任何名称或组织,也省略致谢。
  • 用第三人称来指代你自己的作品。您不应该更改自己以前发布的工具、方法或系统的名称,因为这显然会影响审查过程。相反,要用第三人称来指代工具、方法或系统的作者或出处,这样才能相信其他作者可能已经写了你的论文。
  • 如果可能,不要使用外部来源获取论文中可能泄露作者身份的补充材料(您的网站、GitHub存储库、YouTube频道、配套技术报告或论文)。可以发布指向匿名GitHub存储库或匿名web托管服务的链接,但应仔细检查存储库中是否有任何可能泄露作者身份的信息。在任何情况下,您都可以通过EasyChair提交网站提交补充材料,但要仔细检查材料中是否有任何可能泄露作者身份的内容。下面是ACM关于匿名化的一些额外提示.
  • 强烈建议作者在ArXiV或类似存储库上以不同于作者预印本的方式为其提交的文档命名。在审查期间,作者不应公开使用提交的标题。

如果作者对双匿名审查有更多疑问,请通过电子邮件联系项目主席。不符合双重匿名审查程序的论文将被桌面拒绝。