Wednesday, September 20th

8:45 General Chairs Opening
Welcome to MODELS 2017!

Capitol Ballroom D
9:00 Program Commmittee Opening
MODELS'17 Program

Capitol Ballroom D
9:15 Keynote: Dr. Jeannie Falcon
Facilitating Modeling and Simulation of Complex Systems Through Interoperable Software

Capitol Ballroom D
10:30 Coffee Break
11:00 Capitol Ballroom AB
Model Transformation
Capitol Ballroom FH
Language Engineering
Capital Ballroom D
MDE-I
12:30 Lunch
2:00 Capitol Ballroom AB
DSLs
Capitol Ballroom FH
Product Lines
Demo #1 (Capitol Ballroom D)
Posters (Terrace)
3:30 Coffee Break
4:00 Capitol Ballroom AB
Validation & Verification
Capitol Ballroom FH
Modeling in Industry
Demo #2  (Capitol Ballroom D)
Posters (Terrace)
5:30 MoDELS Steering Committee Meeting
Capitol Ballroom F-H
7:00 Welcome Reception
Sponsored by National Instruments
Saengerrunde Hall, 1607 San Jacinto Blvd, Austin, TX 78701, saengerrunde.org

Thursday, September 21st

9:00 General Chairs Opening
Capitol Ballroom D
9:15 Keynote: Dr. Ira Baxter
Supporting Forward and Reverse Engineering with Multiple Types of Models

Capitol Ballroom D
10:30 Coffee Break
11:00 Capitol Ballroom AB
New Frontiers
Capitol Ballroom FH
Co-evolution & Collaboration
Capital Ballroom D
Modeling Infrastructure
12:30 Lunch
2:00 Awards
Capitol Ballroom D
2:45 Panel
Capitol Ballroom D
3:45 Coffee Break
4:15 Invited MBE Presentations
Capitol Ballroom D
5:30 SoSyM Editorial Board Meeting
Capitol Ballroom F-H
7:00 BBQ Banquet at Hotel
Capitol Ballroom E

Friday, September 22nd

9:00 General Chairs Opening
Capitol Ballroom D
9:15 Keynote: Prof. Adam Porter
Enabling Applied Research and Technology Transfer with Models

Capitol Ballroom D
10:30 Coffee Break and Hand Over to MODELS 2018
11:00 Capitol Ballroom AB
Modeling & Systems Engineering
Capitol Ballroom D
Empirical studies
Capital Ballroom FH
MDE - II
12:30 End of Conference

Model Transformation Wed 11:00-12:30

Location: Capitol Ballroom AB
Session Chair: Richard Paige

Bidirectional Transformations in the Large
Perdita Stevens (FT)

Translating Target to Source Constraints in Model-to-Model Transformations
Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot (FT)

On Additivity in Transformation Languages
Soichiro Hidaka, Frédéric Jouault, Massimo Tisi (FT)

Back

Language Engineering Wed 11:00-12:30

Location: Capitol Ballroom FH
Session Chair: Colin Atkinson

How is ATL Really Used? Language Feature Use in the ATL Zoo
Gehan M. K. Selim, James R. Cordy, Juergen Dingel (FT)

Language Design with Intent
Vadim Zaytsev (FT)

Lessons learned from Developing mbeddr: A Case Study in Language Engineering with MPS
Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen (SoSyM)

Back

MDE-I Wed 11:00-12:30

Location: Capital Ballroom D
Session Chair: Tim Lethbridge

SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language
Marina Egea, Carolina Dania (SoSyM)

A Fuzzy Logic Based Approach for Model-based Regression Test Selection
Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh (FT)

Partial Evaluation of OCL Expressions
Bastian Ulke, Friedrich Steimann, Ralf Lämmel (FT)

Back

DSLs Wed 2:00-3:30

Location: Capitol Ballroom AB
Session Chair: Dimitris Kolovos

Reusable Specification Templates for Defining Dynamic Semantics of DSLs
Ulyana Tikhonova (SoSyM)

Active Domain-Specific Languages: making every mobile user a modeller
Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara (FT)

Experiences with Teaching MPS in Industry -- Towards Bringing Domain Specific Languages Closer to Practitioners
Daniel Ratiu, Vaclav Pech, Kolja Dummann (P&I)

Back

Product Lines Wed 2:00-3:30

Location: Capitol Ballroom FH
Session Chair: Jordi Cabot

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty
Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik (FT)

Transformations of Product Lines: A Generalizing Framework based on Category Theory
Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik (FT)

Revisiting Visitors for Modular Extension of Executable DSMLs
Manuel Leduc, Thomas Degueule, Benoit Combemale, Tijs van der Storm, Olivier Barais (FT)

Back

Validation & Verification Wed 4:00-5:30

Location: Capitol Ballroom AB
Session Chair: Antonio Vallecillo

Why Is My Component and Connector Views Specification Unsatisfiable?
Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom (FT)

From Secure Business Process Modeling to Design-Level Security Verification
Qusai Ramadan, Mattia Salnitri, Daniel Strüber, Jan Jürjens, Paolo Giorgini (FT)

Tool Support for Live Formal Verification
Vincent Aravantinos, Sudeep Kanav (P&I)

Back

Modeling in Industry Wed 4:00-5:30

Location: Capitol Ballroom FH
Session Chair: Vineet Velmurugan

Model-driven Development of Safety Architectures
Ewen Denney, Ganesh Pai, Iain Whiteside (P&I)

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems
Jordan Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki (SoSyM)

Component and Connector Views in Practice: An Experience Report
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern (P&I)

Back

New Frontiers Thu 11:00-12:30

Location: Capitol Ballroom AB
Session Chair: Eugene Syriani

Managing Design-Time Uncertainty
Michalis Famelis, Marsha Chechik (SoSyM)

The Next Evolution of MDE: a Seamless Integration of Machine Learning into Domain Modeling
Thomas Hartmann, Assaad Moawad, Francois Fouquet, Yves Traon (SoSyM)

Raising Time Awareness in Model-Driven Engineering
Amine Benelallam, Thomas Hartmann, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon (FT)

Back

Co-evolution & Collaboration Thu 11:00-12:30

Location: Capitol Ballroom FH
Session Chair: Friedrich Steimann

Co-evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR
Darko Durisic, Corrado Motta, Miroslaw Staron, Matthias Tichy (FT)

Property-based Locking in Collaborative Modeling
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró (FT)

Heuristic-based Recommendation for Metamodel-OCL Coevolution
Edouard Batot, Wael Kessentini, Houari Sahraoui, Michalis Famelis (FT)

Back

Modeling Infrastructure Thu 11:00-12:30

Location: Capital Ballroom D
Session Chair: Tanja Mayerhofer

Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools
Heiko Klare, Erik Burger, Max Kramer, Michael Langhammer, Timur Saglam, Ralf Reussner (FT)

User Experience for Model-Driven Engineering: Challenges and Future Directions
Silvia Abrahão, Francis Bordeleau, Betty Cheng, Sahar Kokaly, Richard Paige, Harald Störrle, Jon Whittle (FT)

Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon
Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris Kolovos, Richard Paige, Stuart Hutchesson (P&I)

Back

Modeling & Systems Engineering Fri 11:00-12:30

Location: Capitol Ballroom AB
Session Chair: Francis Bordeleau

Ontology-Based Pattern for System Engineering
Dominique Ernadote (P&I)

DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems
Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugére, Daniel Gracia Pérez (P&I)

Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case
Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, Alexandru Ipatiov (P&I)

Back

Empirical studies Fri 11:00-12:30

Location: Capitol Ballroom D
Session Chair: Silvia Abrahao

A Systematic Mapping Study on Modeling for Industry 4.0
Andreas Wortmann, Benoit Combemale, Olivier Barais (FT)

An Empirical Evaluation of the Maturity of the Eclipse Modeling Ecosystem
Javier Luis Canovas Izquierdo, Valerio Cosentino, Jordi Cabot (FT)

A Survey of Tool Use in Modeling Education
Luciane Telinski Wiedermann Agner, Timothy C. Lethbridge (P&I)

Back

MDE - II Fri 11:00-12:30

Location: Capital Ballroom FH
Session Chair: Michalis Famelis

Symbolic Execution for Realizability-Checking of Scenario-based Specifications
Joel Greenyer, Timo Gutjahr (FT)

A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties
Wei Dou, Domenico Bianculli, Lionel Briand (FT)

Removal of Redundant Elements within UML Activity Diagrams
Martin Beckmann, Vanessa Nicole Michalke, Andreas Vogelsang, Aaron Schlutter (FT)