Detailed Program
| Wednesday | ||
|
08:30-10:00
|
Welcome, Keynote
|
|
|
10:30-12:00
|
Data Quality and Security
|
|
| Damiano Torre, Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand, Yuri Auffinger and Peter Goes | Using Models to Enable Compliance Checking against the GDPR: An Experience Report | |
| Gopi Krishnan Rajbahadur, Gustavo Oliva, Ahmed Hassan and Juergen Dingel | Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines | |
| Sven Peldszus, Katja Tuma, Daniel Strüber, Riccardo Scandariato and Jan Jürjens | Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings | |
|
13:30-15:00
|
Design and Development
|
|
| Antonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi | Exploiting Multi-Level Modelling for Designing and Deploying Gameful Systems | |
| Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi | Model-Driven Design of City Spaces via Bidirectional Transformations | |
| Dennis Priefer, Peter Kneisel, Wolf Rost, Daniel Strüber and Gabriele Taentzer | Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment | |
|
15:30-17:00
|
Testing
|
|
| Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq and Ifrah Qaisar | A Model-based Testing Approach for Cockpit Display Systems of Avionics | |
| Esther Guerra, Juan De Lara and Jesús Sánchez Cuadrado | Towards effective mutation testing for ATL | |
| Aren Babikian, Csaba Hajdu, István Majzik, Kristóf Marussy, Zoltan Micskei, Oszkár Semeráth, Zoltán Szatmári, Daniel Varro and András Vörös | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles | |
|
10:30-17:00
|
Industry Day
|
|
| 17:00-19:00 | Steering Committee Meeting | |
| 18:30-23:00 | Main Reception and Poster Session | |
| Stand-alone Posters: | ||
| Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina Marinescu, Maria-Ribera Sancho, Ernest Teniente and Carmen Rueda | A Semantic Model To Fight Social Exclusion | |
| Masaki Nakamura and Kazutoshi Sakakibara | Formal verification and mathematical optimization for autonomous vehicle group controllers | |
| Diego Prens, Iván Alfonso, Kelly Garcés and John Guerra-Gomez | Continuous Delivery of Software on IoT Devices | |
| Mohammad Sharaf, Mai Abusair, Henry Muccini, Rami Eleiwi, Yara Shana’A and Ithar Saleh | Generating Heterogeneous Codes for IoT Systems | |
| Paper-accompanying Posters: | ||
| Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun and Philippe Dhaussy | Verifying and Monitoring UML Models with Observer Automata | |
| Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens and Riccardo Scandariato | Security Compliance Checks between Models and Code based on Automated Mappings | |
| Antonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi | GDF: a Gamification Design Framework powered by Model-Driven Engineering | |
| Philipp Obergfell, Stefan Kugele and Eric Sax | Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures | |
| Visar Januzaj and Stefan Kugele | On the Structure of Avionics Systems Architecture | |
| Thursday | ||
|
09:00-10:00
|
Keynote
|
|
|
10:30-12:00
|
Artifact Generation
|
|
| Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl and Mirko Bordignon | Model Generation – combining MDE development and ROS manual code | |
| Alexandru Burdusel, Steffen Zschaler and Stefan John | ||
| Jenny Ruiz, Estefanía Serral, Monique Snoeck | Evaluating user interface generation approaches: model-based versus model-driven development | |
|
Architecture Analysis
|
||
| Sam Procter and Lutz Wrage | ||
| Philipp Obergfell, Stefan Kugele and Eric Sax | ||
| Assylbek Jumagaliyev and Yehia Elkhatib | A Modelling Language to Support Evolution of Multi-Tenant Cloud Data Architectures | |
|
Remodd
|
||
|
Betty H.C. Cheng
|
Repository for Model Driven Development – Hands-on Demonstration | |
|
13:30-15:00
|
Panel
|
|
|
Model Execution
|
||
| Erwan Bousse and Manuel Wimmer | Domain-Level Observation and Control for Compiled Executable DSLs | |
| Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe | A Multi-Paradigm Modelling approach to live modelling | |
| Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse | Model execution tracing: a systematic mapping study | |
|
Tools and Demos
|
||
| Mattias Mohlin | Combining UML RealTime with Node-RED | |
| Julio Sandobalin, Emilio Insfran, Silvia Abrahao | ARGON: A Model-Driven Infrastructure Provisioning Tool | |
| Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe | MAPLE-T: A Tool for Process Enactment with Traceability Support | |
| Antonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi | GDF: a Gamification Design Framework powered by Model-Driven Engineering | |
| Hamza Ed-Douibi, Javier Luis Cánovas Izquierdo, Francis Bordeleau, Jordi Cabot | WAPIml: Towards a Modeling Infrastructure for Web APIs | |
|
15:30-17:00
|
Formal Verification and Static Analysis
|
|
| Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun and Philippe Dhaussy | Verifying and Monitoring UML Models with Observer Automata | |
| Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, Javier Merchán Sánchez-Jara | Applying static code analysis for domain-specific languages | |
| Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock | RoboChart: modelling and verification of the functional behaviour of robotic applications | |
|
Modeling Environment
|
||
| Brice Morin and Nicolas Ferry | Model-based, Platform-independent Logging for Heterogeneous Targets | |
| Parsa Pourali and Joanne M. Atlee | ||
| Antonio Garcia-Dominguez, Nelly Bencomo, Juan Marcelo Parra-Ullauri and Luis Garcia Paucar | Querying and annotating model histories with time-aware patterns | |
|
Tools and Demos
|
||
| Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel | Live-UMLRT: A Tool for Live Modeling of UML-RT Models | |
| Asma Charfi, Shuai Li, Patrick Tessier, Thomas Peyret, Chokri Mraidha, Sebastien Gérard | A Model Driven Tool for Requirements and Hardware Engineering | |
| Lucas Lima, Amaury Tavares | Verifying deadlock and nondetermenism in activity diagrams | |
| Hanh-Hoang Doan, Martin Gogolla | Quality Improvement for UML and OCL Models through Bad Smell and Metric Definition | |
| Parsa Pourali, Joanne M. Atlee | UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams | |
| 19:00-23:00 | Banquet | |
| Friday | ||
|
09:00-10:00
|
Keynote
|
|
|
10:30-12:00
|
System Modeling
|
|
| Beatriz A. Sanchez, Dimitris Kolovos, Richard Paige, Athanasios Zolotas and Horacio Hoyos | On-the-fly Translation and Execution of OCL-like Queries on Simulink Models | |
| Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer | Thirteen years of SysML: a systematic mapping study | |
| Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues | Trade-off analysis for SysML models using decision points and CSPs | |
|
MODELS & SoSyM Most Influential Papers
|
||
| Betty H. C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle | ||
| Karsten Ehrig, Jochen Malte Kuester, and Gabriele Taentzer | Generating instance models from meta models | |
| Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, and Arthur H.M. ter Hofstede | Questionnaire-based variability modeling for system configuration | |
|
13:30-15:00
|
Runtime Models
|
|
| Márton Búr and Daniel Varro | Towards WCET Estimation of Graph Queries@Run.time | |
| Nelly Bencomo and Luis Garcia Paucar | RaM: Requirements-aware Runtime Models for Decision-making using Bayesian Inference | |
| Thomas Brand and Holger Giese | Modeling approach and evaluation criteria for adaptive and long-living structural runtime models | |
|
Requirements Modeling and Analysis
|
||
| Mauricio Alferez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel Briand and Jean-Richard Riccardi | Bridging the Gap between Requirements Modeling and Behavior-driven Development | |
| Cesar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers and Mike Nicolai | CONDEnSe: Contract-Based Design Synthesis | |
| Byron Devries and Betty Cheng | Goal-Based Modeling and Analysis of Non-Functional Requirements | |
|
Modeling and ML/AI (10 mins longer)
|
||
| Phuong Nguyen, Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio and Ludovico Iovino | Automated Classification of Metamodel Repositories: A Machine Learning Approach | |
| Evgeny Kusmenko and Bernhard Rumpe | Modeling and Training Neural Processing Systems | |
| Loli Burgueño, Jordi Cabot and Sebastien Gerard | An LSTM-Based Neural Network Architecture for Model Transformations | |
| Thomas Hartmann, Assaad Moawad, Cedric Schockaert, Francois Fouquet and Yves Le Traon | Meta-Modelling Meta-Learning | |