|
09:00 - 10:30: T1 Hawk in 2A08
|
|
09:00 - 10:30: T12 ML + FV = ♥! A Gentle Introduction to the Application of Machine Learning to Formal Verification in 5A09
|
|
09:00 - 10:30: W1 ModComp in 5A60
Chairs: TBA |
|||||||||||||
| 09:15-10:30 | The Forgotten Interfaces: A Critique of Component-based Models of Computing
Bran Selic |
||||||||||||
|
09:00 - 10:30: W2 Models@run.time in 2A56 (Aud 3)
Chairs: TBA |
|||||||||||||
| 09:00-09:15 | Welcome
|
||||||||||||
| 09:15-09:45 | A Guided Tour through Models@run.time
|
||||||||||||
| 09:45-10:15 | The Integration Challenges of Runtime Models
Kirstie Bellman |
||||||||||||
| 10:15-10:30 | Breakout Discussion on Classifying Work on Models@run.time
|
||||||||||||
|
09:00 - 10:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA |
|||||||||||||
| Parallel execution of first-order operations
Sina Madani , Dimitrios S. Kolovos , Richard F. Paige |
|||||||||||||
| Introducing the Active Map operation to unify and improve efficiency of active operations
Frédéric Jouault , Fabien Chhel |
|||||||||||||
| Using process algebra to statically analyze incremental propagation graphs
Théo Le Calvar , Fabien Chhel , Frédéric Jouault , Frédéric Saubion |
|||||||||||||
|
09:00 - 10:30: W4 FlexMDE - Flexible modelling I in 2A52
Chairs: TBA |
|||||||||||||
| Degrees of Rigorousness
Thomas Kuehne University of Wellington |
|||||||||||||
| Towards flexible object and class modeling tools: an experience report
Andreas Kästner , Martin Gogolla , Bran Selic |
|||||||||||||
|
09:00 - 10:30: W5 Executable Modeling (EXE) - Opening and Industry Talks in 2A54
Chairs: TBA |
|||||||||||||
| 09:00-09:15 | Workshop Opening
|
||||||||||||
| 09:15-09:40 | Invited Industry Talk: Managing Build Configuration Complexity in Industrial Embedded Systems
Elena Strabykina HCL Technologies, Products and Platforms, Mattias Mohlin HCL Technologies, Products and Platforms |
||||||||||||
| 09:40-10:05 | Invited Industry Talk: Why Executable Models are a Requirement for our Customers
Taylor Riche National Instruments |
||||||||||||
| 10:05-10:30 | Invited Industry Talk: UML Precise Semantics Standards at OMG: Executing on the Vision
Ed Seidewitz Model Driven Solutions |
||||||||||||
|
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
|
|
11:00 - 12:30: T1 Hawk
|
|
11:00 - 12:30: T12 ML + FV = ♥! A Gentle Introduction to the Application of Machine Learning to Formal Verification in 5A09
|
|
11:00 - 12:30: W1 ModComp Session 1 in 5A60
|
|||||||||||||
| Interface protocol inference to aid understanding legacy software components
Kousar Aslam , Yaping Luo , Ramon Schiffelers , Mark van den Brand |
|||||||||||||
| On the Model-driven Synthesis of Adaptable Choreographies
Marco Autili , Amleto Di Salle , Francesco Gallo , Claudio Pompilio , Massimo Tivoli |
|||||||||||||
| A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering
Armayau Zango Umar , Jaejoon Lee |
|||||||||||||
|
11:00 - 12:30: W2 Models@run.time - Paper Presentations #1 in 2A56 (Aud 3)
Chairs: TBA |
|||||||||||||
| 11:00-11:30 | Model Synchronization with the Role-oriented Single Underlying Model
Christopher Werner , Uwe Assmann |
||||||||||||
| 11:30-12:00 | On the need for transitioning model-based assurance cases from design time to runtime
Ran Wei , Tim Kelly , Jan Reich , Simos Gerasimou |
||||||||||||
| 12:00-12:30 | Joint Discussion
|
||||||||||||
|
11:00 - 12:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA |
|||||||||||||
| A text model - Use your favourite M2M for M2T
Edward D. Willink |
|||||||||||||
| Multi-Level Constraints
Tony Clark , Ulrich Frank |
|||||||||||||
| Goal-driven elaboration of OCL enriched UML class diagrams
Robert Darimont , Christophe Ponsard , Michel Lemoine |
|||||||||||||
|
11:00 - 12:30: W4 FlexMDE - Flexible modelling II in 2A52
Chairs: TBA |
|||||||||||||
| Stakeholder specific visualisation from heterogeneous modeling tools
Abdil Kaya , Stefan Dutre , Jef Stegen , Satya Prakash Jha , Joachim Denil |
|||||||||||||
| Towards a modular and flexible human-usable textual syntax for EMF models
Dimitrios S. Kolovos , Richard F. Paige |
|||||||||||||
| , , | Comparative case studies in agile model-driven development
Kevin Lano , Hessa Alfraihi , Shekoufeh Kolahdouz-Rahimi , Mohammadreza Sharbaf , Howard Haughton |
||||||||||||
| Discussion. Wrap up and closing
|
|||||||||||||
|
11:00 - 12:35: W5 Executable Modeling (EXE) - Session 2: Paper Presentations in 2A54
Chairs: TBA |
|||||||||||||
| 11:00-11:25 | Execution of UTP test cases using fUML
Marc-Florian Wendland , Niels Hoppe |
||||||||||||
| 11:25-11:50 | A generic solution for weaving business code into executable models
Eric Cariou , Olivier Le Goaer , Lea Brunschwig , Franck Barbier |
||||||||||||
| 11:50-12:15 | On executable models that are integrated with program code
Marco Konersmann |
||||||||||||
| 12:15-12:35 | EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration)
Evgeny Kusmenko , Jean-Marc Ronck , Bernhard Rumpe , Michael von Wenckstern |
||||||||||||
|
12:30 - 14:00: Lunch (Atrium Ground Floor)
|
|
14:00 - 15:30: T2 Make Modelling Cool Again in 5A14/16
|
|
14:00 - 15:30: W1 ModComp in 5A60
Chairs: TBA |
|||||||||||||
| Model-driven and component based engineering in the era of smart software-intensive systems
Martin Törngren |
|||||||||||||
|
14:00 - 15:30: W2 Models@run.time - Paper Presentations #2 in 2A56 (Aud 3)
Chairs: TBA |
|||||||||||||
| 14:00-14:30 | Reflecting on the past and the present with temporal graph-based models.
Antonio Garcia-Dominguez , Nelly Bencomo , Luis Hernan Garcia Paucar |
||||||||||||
| 14:30-15:00 | Towards evolvable software architecture runtime models for continuous adaptive monitoring
Thomas Brand , Holger Giese |
||||||||||||
| 15:00-15:30 | Joint Discussion
|
||||||||||||
|
14:00 - 15:30: W3 Workshop on OCL and Textual Modeling (OCL) in 2A18
Chairs: TBA |
|||||||||||||
| vOCL: A novel approach for UML constraints modeling
Omar Badreddin , Gerardo Barraza , Wahab Hamou-Lhadj |
|||||||||||||
| Efficient validation of large models using the Mogwaı̈ tool
Gwendal Daniel |
|||||||||||||
| Model Finding and Model Completion with USE
Martin Gogolla , Loli Burgueño , Antonio Vallecillo |
|||||||||||||
| 14:00 - 15:30: W5 Executable Modeling (EXE) in 2A54 | |||||||||||||
| Keynote: Model Execution: Past, Present and Future
Benoit Combemale |
|||||||||||||
|
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
|
|
16:00 - 17:30: T2 Make Modelling Cool Again in 5A14/16
|
|
16:00 - 17:30: W1 ModComp Session 3 & Closing in 5A60
|
|||||||||||||
| 16:00-16:30 | Compiling Protocols to Promela and Verifying their LTL Properties
Benjamin Lion , Samir Chouali , Farhad Arbab |
||||||||||||
| 16:30-17:00 | A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics
Cristina Vicente-Chicote , Juan F. Ingles-Romero , Jesus Martinez |
||||||||||||
| 17:00-17:30 | Open discussion and conclusions | ||||||||||||
|
16:00 - 17:30: W2 Models@run.time - Keynote and Breakout Discussions in 2A56 (Aud 3)
Chairs: TBA |
|||||||||||||
| 16:00-16:30 | Keynote: Towards Smarter Cyber-Physical Systems
Benoit Combemale |
||||||||||||
| 16:30-17:30 | Breakout Discussions
|
||||||||||||
|
16:00 - 17:30: W3 Workshop on OCL and Textual Modeling - Panel Discussion and Lightning Talks in 2A18
|
| 16:00 – 17:30: W5 Executable Modeling (EXE) - Live Tool Demonstrations & Workshop Closing in 2A54 | |||||||||||||
| Tool demonstration related to paper “Execution of UTP test cases using fUML”
Marc-Florian Wendland , Niels Hoppe |
|||||||||||||
| Tool demonstration on PauWare related to paper “A generic solution for weaving business code into executable models”
Eric Cariou , Olivier Le Goaer , Lea Brunschwig , Franck Barbier |
|||||||||||||
| Tool demonstration on Codeling related to paper “On executable models that are integrated with program code”
Marco Konersmann |
|||||||||||||
| Tool demonstration on Papyrus for xtUML
Cortland Starrett , Robert Mulvey , Keith Brown , Levi Starrett |
|||||||||||||
| Tool demonstration on WebGME Dynamic Systems Studio (WebGME-DSS)
Patrik Meijer , Tamas Kecskes |
|||||||||||||
| 17:15-17:30 | Workshop Closing
|
||||||||||||
|
09:00 - 10:30: Systems Analysis and Modeling (SAM) in Aud 2
Chairs: Reinhard Gotzhein and Ferhat Khendek |
|||||||||||||
| 09:00-09:15 | Opening
|
||||||||||||
| 09:15-10:30 | Keynote 1 - Industrial Transformation, Cloud, IoT and 5G and the relevance of Formal Methods
Azimeh Sefidcon Ericsson, Sweden |
||||||||||||
|
09:00 - 10:30: xtUML Days - Plenary Session #1 in 3A52
|
|||||||||||||
| Shlaer-Mellor xtUML Overview
Cortland Starrett One Fact |
|||||||||||||
| xtUML in the K-Span - Modeling in the Field
Dave Salt UK Crown |
|||||||||||||
| 20 Years of xtUML at SAAB Companies
Martin Nilsson SAAB Dynamics |
|||||||||||||
|
09:00 - 10:30: T3 Develop your Own Car in 2A18
|
|
09:00 - 10:30: T4 DEVS Modelling and Simulation in 2A08
|
|
09:00 - 10:30: T6 Exploring Decision Space using Actor based Simulation - a Model Based Approach (ACTORS) in 4A58
|
|
09:00 - 10:30: W6 Collaborative Modelling in MDE (COMMitMDE) in 4A54
|
|||||||||||||
| 09:00-10:00 | Keynote: TBA
|
||||||||||||
| 10:00-10:30 | Continuous integration support in modeling tools
Robbert Jongeling , Jan Carlson , Antonio Cicchetti , Federico Ciccozzi |
||||||||||||
|
09:00 - 10:30: W7 Model-Driven Engineering Tools (MDETools) in 4A60 (Aud 4)
|
|||||||||||||
| 09:00-09:15 | Welcome and Intro | ||||||||||||
| 09:15-10:30 | Keynote: Developing a Modeling Tool Someone Wants to Use: Challenges, trends and solutions for how to develop modeling tools that people actually can and want to use
Mattias Mohlin HCL Technologies, Sweden |
||||||||||||
|
09:00 - 10:30: W8 The Globalization of Modeling Languages (GEMOC) in 2A52
|
|||||||||||||
| 09:00-09:15 | Opening
|
||||||||||||
| 09:15-10:30 | Keynote: Model Driven Software Engineering creates tomorrow’s legacy
Mark van den Brand TU Eindhoven |
||||||||||||
|
09:00 - 10:30: W9 Model-driven Robot Software Engineering (MORSE) in 2A56 (Aud 3)
|
|||||||||||||
| Keynote: The Role of Higher-order Models in Robotics and its Reasoning Challenges
Herman Bruyninckx |
|||||||||||||
|
09:00 - 10:45: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
|
|||||||||||||
| 09:15-10:00 | Keynote:
Øystein Haugen HIOF |
||||||||||||
| 10:00-10:45 | Keynote:
Franck Fleurey TellU |
||||||||||||
|
09:00 - 10:30: W16 Human Factors in Modeling (HuFaMo) in 2A54
|
|||||||||||||
| Opening
|
|||||||||||||
| Keynote / Invited speaker
|
|||||||||||||
| Discussions and open announcements/demos
|
|||||||||||||
|
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
|
|
11:00 - 12:30: Systems Analysis and Modeling (SAM) - Session 1: Cloud Systems in Aud 2
Chair: Finn Kristoffersen |
|||||||||||||
| Modelling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns
Alexander Palm , Zoltán Ádám Mann , Andreas Metzger |
|||||||||||||
| Scheduling Architectures for Scientific Workflows in the Cloud (short paper)
Johannes Erbel , Fabian Korte , Jens Grabowski |
|||||||||||||
| The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study
Hessa Alfraihi , Kevin Lano , Shekoufeh Kolahdouz-Rahimi , Mohammadreza Sharbaf , Howard Haughton |
|||||||||||||
|
11:00 - 12:30: xtUML Days - Plenary Session #2 in 3A52
|
|||||||||||||
| Big Machine Big Model - Modeling Industrial Machinery
Dennis Tubbs ICS |
|||||||||||||
| 1 Application, 3 Dialects, 5 Architectures
Levi Starrett One Fact |
|||||||||||||
| Open discussion, Q and A
|
|||||||||||||
|
11:00 - 12:30: T3 Develop your Own Car in 2A18
|
|
11:00 - 12:30: T4 DEVS Modelling and Simulation in 2A08
|
|
11:00 - 12:30: T6 Exploring Decision Space using Actor based Simulation - a Model Based Approach (ACTORS) in 4A58
|
|
11:00 - 12:30: W6 Collaborative Modelling in MDE (COMMitMDE) in 4A54
|
|||||||||||||
| Challenges for Reuse in Collaborative Modeling Environments
Omar Alam , Jonathan Corley , Constantin Masson , Eugene Syriani , |
|||||||||||||
| Handling Constraints in Model Versioning
Alessandro Rossini , Adrian Rutle , Yngve Lamo , Uwe Wolter |
|||||||||||||
| Delta-Driven Collaborative Modeling
Maik Appeldorn , Dilshodbek Kuryazov , Andreas Winter |
|||||||||||||
|
11:00 - 12:30: W7 Model-Driven Engineering Tools (MDETools) - Session: Research papers in 4A60 (Aud 4)
|
|||||||||||||
| Improved traceability for bidirectional model transformations
Romina Eramo , Alfonso Pierantonio , Michele Tucci |
|||||||||||||
| Robotic system testing with AMSA framework
Hamza El Baccouri , Goulven Guillou , Jean-Philippe Babau |
|||||||||||||
| An LSP infrastructure to build EMF language servers for web-deployable model editors
Roberto Rodriguez-Echeverria , Javier Luis Canovas Izquierdo , Manuel Wimmer , Jordi Cabot |
|||||||||||||
| A study design template for identifying usability issues in graphical modeling tools
Jakob Pietron , Alexander Raschke , Michael Stegmaier , Matthias Tichy , Enrico Rukzio |
|||||||||||||
|
11:00 - 12:30: W8 The Globalization of Modeling Languages (GEMOC) - Paper Presentations #1 in 2A52
|
|||||||||||||
| Model Consistency ensured by Metamodel Integration
Johannes Meier , Andreas Winter |
|||||||||||||
| A Common Integrated Framework for Heterogeneous Modeling Services
Anastasia Mavridou , Tamas Kecskes , Qishen Zhang , Janos Sztipanovits |
|||||||||||||
| Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling
Francis Bordeleau , Benoit Combemale , Romina Eramo , Mark van den Brand , Manuel Wimmer |
|||||||||||||
|
11:00 - 12:30: W9 Model-driven Robot Software Engineering (MORSE) - Languages for Robotics in 2A56 (Aud 3)
|
|||||||||||||
| Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A robotics example
Juan Francisco Inglés-Romero , Juan Manuel Espín , Rubén Jiménez-Andreu , Roberto Font , Cristina Vicente-Chicote |
|||||||||||||
| Using IEC 61499 to Implement a Self-Organising Plug and Produce System information on submission
Jörg Walter , Kim Gruettner , Wolfgang Nebel |
|||||||||||||
| A Context-Based Behavioral Language for IoT
Achiya Elyasaf , Assaf Marron , Arnon Sturm , Gera Weiss |
|||||||||||||
|
11:00 - 12:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
|
|||||||||||||
| Static Analysis of Complex Event Processing Programs
Adrián García-López , Loli Burgueño , Antonio Vallecillo |
|||||||||||||
| Domain Model-Based Data Stream Validation for Internet of Things Applications
Simon Pizonka , Timo Kehrer , Matthias Weidlich |
|||||||||||||
| DSML4TinyOS: Code Generation for Wireless Devices
Hussein M. Marah , Raheleh Eslampanah , Moharram Challenger |
|||||||||||||
|
11:00 - 12:30: W16 Human Factors in Modeling (HuFaMo) - Support for modeling in 2A54
|
|||||||||||||
| Using sketch recognition for capturing developer’s mental models
Emmanuel Renaux , Tatiana De-Wyse , José Mennesson |
|||||||||||||
| ModelByVoice - towards a general purpose model editor for blind people
João Lopes , Joao Cambeiro , Vasco Amaral |
|||||||||||||
| Discussions and open announcements/demos
|
|||||||||||||
|
12:30 - 14:00: Lunch (Atrium Ground Floor)
|
|
14:00 - 15:30: Systems Analysis and Modeling (SAM) - Session 2: Notations and Semantics in Aud 2
Chair: Edel Sherrat |
|||||||||||||
| CREST - A DSL for Reactive Cyber-Physical Systems
Stefan Klikovits , Alban Linard , Didier Buchs |
|||||||||||||
| On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification
Angela Villota Gomez , Raul Mazo , Camille Salinesi |
|||||||||||||
| Distributed Computing on Distributed Memory
Andreas Prinz |
|||||||||||||
|
14:00 - 15:30: xtUML Days - Plenary Session #3 in 3A52
|
|||||||||||||
| Real Models, Real Deployments - Panel Discussion (moderated)
|
|||||||||||||
| HOWTO: Preparing to Migrate Tooling
David Skinner BAE Systems |
|||||||||||||
| 5 Cool Things You Can Do with a Model Compiler
Tristan Pye Consultant |
|||||||||||||
|
14:00 - 17:00: MAD@MODELS Meeting in 4A54
Chair(s): Kimi Cousins |
|||||||||||||
| 14:00-15:30 | Modeling, Agile and DevOps – three words combined that can’t make sense!
Michael Hudson HCL
|
||||||||||||
| 15:30-16:00 | BREAK | ||||||||||||
| 16:00-17:00 | Bring your MAD experiences and join these industry leaders in a lively discussion | ||||||||||||
|
14:00 - 15:30: T3 Develop your Own Car in 2A18
|
|
14:00 - 15:30: T5 Developing Reactive Systems with Statecharts in 2A08
|
|
14:00 - 15:30: T8 ThingML: Model-Driven Software Engineering for Heterogeneous and Distributed Reactive Systems in 3A07
|
|
14:00 - 15:30: W7 Model-Driven Engineering Tools (MDETools) - Session: Challenge problem in 4A60 (Aud 4)
|
|||||||||||||
| Implementing the MDETools’18 challenge with ThingML
Jakob Høgenes , Brice Morin |
|||||||||||||
| Controlling a virtual rover using AutoFOCUS3
Levi Lucio , Sudeep Kanav , Andreas Bayha , Johannes Eder |
|||||||||||||
| An evaluation of Papyrus-RT in solving the leader-follower challenge problem
Karim Jahed |
|||||||||||||
| Modeling and programming a leader-lollower challenge problem with scenario-based tools
Joel Greenyer , Michael Bar-Sinai , Gera Weiss , Aviran Sadon , Assaf Marron |
|||||||||||||
| Applying Umple to the rover control challenge problem: A case study in model-driven engineering
Timothy Lethbridge , Abdulaziz Algablan |
|||||||||||||
| Navigating the rover with xtUML
Keith Brown |
|||||||||||||
|
14:00 - 15:30: W8 The Globalization of Modeling Languages (GEMOC) - Paper Presentations #2 in 2A52
|
|||||||||||||
| CPS simulation models categories in Extended Enterprises
Renan Leroux , Marc Pantel , Ileana Ober , Jean-Michel Bruel |
|||||||||||||
| Adding a HenshinEngine to GEMOC Studio: An experience report
Steffen Zschaler |
|||||||||||||
| Organization of the discussion
|
|||||||||||||
|
14:00 - 15:30: W9 Model-driven Robot Software Engineering (MORSE) - Languages for Robotics in 2A56 (Aud 3)
|
|||||||||||||
| CommonLang: A DSL for Defining Robot Tasks
Adrian Rutle , Jonas Backer , Kolbein Foldøy , Robin T. Bye |
|||||||||||||
| Embedding Scenario-based Modeling in Statecharts
Assaf Marron , Yotam Hacohen , David Harel , Andreas Mülder , Axel Terfloth |
|||||||||||||
| Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation
Vladimir Estivill-Castro , Rene Hexel , Carl Lusty |
|||||||||||||
|
14:00 - 15:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
|
|||||||||||||
| ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning
Armin Moin , Stephan Rössler , Stephan Günnemann |
|||||||||||||
| An Initial Mapping Study on MDE4IoT
Sabine Wolny , Alexandra Mazak , Bernhard Wally |
|||||||||||||
| ML4CREST: Machine Learning for CPS Models
Stefan Klikovits , Aurélien Coet , Didier Buchs |
|||||||||||||
|
14:00 - 15:30: W16 Human Factors in Modeling (HuFaMo) - Experimenting for comparing in 2A54
|
|||||||||||||
| Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental design
Sotirios Liaskos , Wisal Tambosi |
|||||||||||||
| Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design
João Silva , Ankica Barisic , Vasco Amaral , Miguel Goulão , Baris Tekin Tezel , Ömer Faruk Alaca , Moharram Challenger , Geylani Kardas |
|||||||||||||
| Discussions about the replication of the experiment from the Silva’s paper
|
|||||||||||||
|
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
|
|
16:00 - 17:30: xtUML Days - Plenary Session #4 in 3A52
|
|||||||||||||
| Constraint Modeling with Albert Einstein
Cortland Starrett One Fact |
|||||||||||||
| xtUML.jp - xtUML Education in Japan
Kenji Hisazumi Kyushu University |
|||||||||||||
| Roving in xtUML
Keith Brown |
|||||||||||||
|
16:00 - 17:30: T3 Develop your Own Car in 2A18
|
|
16:00 - 17:30: T5 Developing Reactive Systems with Statecharts in 2A08
|
|
16:00 - 17:30: T8 ThingML: Model-Driven Software Engineering for Heterogeneous and Distributed Reactive Systems in 3A07
|
|
16:00 - 17:30: W7 Model-Driven Engineering Tools (MDETools) - Panel and discussion in 4A60 (Aud 4)
|
|||||||||||||
| Hybrid textual/graphical modeling: quantum leap, incremental improvement, or distraction?
|
|||||||||||||
|
16:00 - 17:30: W8 The Globalization of Modeling Languages (GEMOC) in 2A52
|
|||||||||||||
| Discussion
|
|||||||||||||
|
16:00 - 17:30: W9 Model-driven Robot Software Engineering (MORSE) - Presentation and Overview of Robotic Research Projects in 2A56 (Aud 3)
|
|||||||||||||
| ROSIN (Model-Based Metacontrol for ROS systems)
Carlos Hernandez Corbato |
|||||||||||||
| COGIMON (Modeling and Verification of Robot Control Architectures for Compliant Interaction)
Dennis Wigand |
|||||||||||||
| Collection, discussion and classification of further research projects
Sebastian Götz , Nico Hochgeschwender , Sebastian Wrede , Andreas Wortmann |
|||||||||||||
|
16:00 - 17:30: W10 Model-Driven Engineering for the Internet-of-Things (MDE4IoT) in 3A54
|
|||||||||||||
| MDE4IoT in EU projects: Fora, ENACT, TBD
|
|||||||||||||
| Discussions
|
|||||||||||||
|
16:00 - 17:30: W16 Human Factors in Modeling (HuFaMo) - Working on modeling languages in 2A54
|
|||||||||||||
| Visual Inheritance for Designing Visual Notation Based on a Metamodel
Nungki Selviandro , Tim Kelly , Richard Hawkins |
|||||||||||||
| Modeling and Analyzing Information Flow in Development Teams as a Pipe System
Jil Klünder , Oliver Karras , Nils Prenner , Kurt Schneider |
|||||||||||||
| Discussions and open announcements/demos
|
|||||||||||||
|
19:00 - 23:00: Satellite Reception at Sorte Diamanten (Royal Library), Søren Kierkegaards Plads 1
There will be buses from the conference venue. Bus meeting time 18:00 in front of the conference building. You can also walk, or use public transport to get there. |
|
09:00 - 10:30: Systems Analysis and Modeling (SAM) in Aud 2
|
|||||||||||||
| 09:00-10:30 | Keynote 2 - Developing Distributed Applications with Open-source MDE Tooling
Juergen Dingel Queens University, Canada |
||||||||||||
|
09:00 - 10:30: xtUML Days (by invitation only) - Plenary Session #1 in 3A52
|
|||||||||||||
| "Show and Tell" Community Engagement
|
|||||||||||||
| 2 Weeks of xtUML at Shinshu University - A Substantial Training Package
|
|||||||||||||
| Papyrus and PIC Update
|
|||||||||||||
|
09:00 - 10:30: MPS Day in 3A54
|
|||||||||||||
| 09:00-10:00 | Why modern language workbenches matter?
Václav Pech JetBrains |
||||||||||||
| 10:00-10:30 | Biological knowledge base project
Alexander Shatalin JetBrains |
||||||||||||
|
09:00 - 10:30: Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
|
|||||||||||||
| 09:00-09:15 | Welcome &
|
||||||||||||
| 09:15-10:00 | Keynote: SysML v2 and MBSE: The next ten years
Ed Seidewitz Model Driven Solutions |
||||||||||||
| 10:00-10:30 | « MBSE: A debate on potentials and impediments for large organizations »
Christian Zingel AVL |
||||||||||||
|
09:00 - 10:30: Doctoral Symposium in 2A18
|
|||||||||||||
| 09:00-09:15 | Welcome
|
||||||||||||
| 09:15-10:00 | Keynote: The Obstacle is the Way
Jeff Gray University of Alabama |
||||||||||||
| 10:00-10:30 | Tool Advances Inspired to Address Observed Challenges of Developing UML-like Models When Using Modelling Tools
Parsa Pourali |
||||||||||||
|
09:00 - 10:30: Educators Symposium in 4A58
|
|||||||||||||
| 09:00-10:10 | Keynote: Teaching and learning about abstraction
Perdita Stevens |
||||||||||||
| 10:10-10:30 | Teaching Model-Based Systems Engineering for Industry 4.0: Student Challenges and Expectations
Arvid Butting , Sinem Konar , Bernhard Rumpe , Andreas Wortmann |
||||||||||||
|
09:00 - 10:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Opening and Keynote in 2A08
|
|||||||||||||
| 09:00-09:15 | Workshop Opening
|
||||||||||||
| 09:15-10:30 | The Vienna Development Method (VDM)
Peter Gorm Larsen Aarhus University |
||||||||||||
|
09:00 - 10:30: W12 Model Driven Engineering, Verification and Validation (MoDeVVA) in 2A20
|
|||||||||||||
| 09:00-09:15 | Welcome
|
||||||||||||
| 09:15-10:30 | Keynote: V&V for behavioral modeling in practice
Eugene Syriani |
||||||||||||
|
09:00 - 10:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
|
|||||||||||||
| Intro
|
|||||||||||||
| Invited Talk: Pains in Modeling: SysML-based Deployment in an Engineering Domain
Stefan Kriebel BMW Group |
|||||||||||||
| Invited Talk: Applying model based approaches in industry environments: key challenges and issues
Nikolaus Regnat Siemens |
|||||||||||||
|
09:00 - 10:30: W14 Models and Evolution (ME) in 2A54
|
|||||||||||||
| 09:00-09:20 | Opening Remarks
|
||||||||||||
| 09:20-09:40 | Reuse Considerations in Evolving Software Products: The Software Product Line Perspective
Iris Reinhartz-Berger , Amir Tomer , Malki Grossman |
||||||||||||
| 09:40-10:00 | Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes
Alfonso Pierantonio , Juri Di Rocco , Davide Di Ruscio , Hrishikesh Narayanankutty |
||||||||||||
| 10:00-10:20 | Semantic Differencing of Activity Diagrams by a Translation into Finite Automata
Oliver Kautz , Bernhard Rumpe |
||||||||||||
|
09:00 - 10:30: W15 Multi-Level Modeling (MULTI) in 4A60 (Aud 4)
|
|||||||||||||
| Welcome
|
|||||||||||||
| Keynote: Multi-Level Modeling in the Wild with AutomationML
Manuel Wimmer |
|||||||||||||
| 11:40-12:00 | Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements
Ulrich Frank |
||||||||||||
|
10:30 - 11:00: Coffee Break (Atrium Ground Floor)
|
|
11:00 - 12:30: Systems Analysis and Modeling (SAM) - Session 3: MSC, URN, GRL in Aud 2
Chair: Emmanuel Gaudin |
|||||||||||||
| An Arithmetic Semantics for GRL Goal Models with Function Generation
Yuxuan Fan , Amal Anda , Daniel Amyot |
|||||||||||||
| Textual User Requirements Notation
Ruchika Kumar , Gunter Mussbacher |
|||||||||||||
| A comparative analysis of MSC-based requirements specification approaches used in the automotive industry
Kevin Keller , Jennifer Brings , Marian Daun , Thorsten Weyer |
|||||||||||||
|
11:00 - 12:30: xtUML Days (by invitation only) - Plenary Session #2 in 3A52
|
|||||||||||||
| xtUML Roadmap - Tooling and Methodology
|
|||||||||||||
| Review of items from 2017
|
|||||||||||||
| Looking forward
|
|||||||||||||
|
11:00 - 12:30: MPS Day in 3A54
|
|||||||||||||
| 11:00-12:30 | Coding a Language Extension with MPS
Markus Völter |
||||||||||||
|
11:00 - 12:30: Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
|
|||||||||||||
| 11:00-12:00 | Automotive Challenges
Jianlin Shi Volvo Cars, Maged Khalil Continental, Thibaud Thomas Plastic Omnium |
||||||||||||
| 12:00-12:30 | Panel & Discussions: « What are the challenges facing Automotive industry in terms of MBSE? » | ||||||||||||
|
11:00 - 12:30: Doctoral Symposium - Quality Assurance in 2A18
|
|||||||||||||
| Model-driven Round-trip Software Dependability Engineering
Michele Tucci |
|||||||||||||
| A Modular and Reuse-Oriented Approach to Integrate a Modeling Environment with a Verifier
Sudeep Kanav |
|||||||||||||
| Optimization and Reconfiguration of IEC 61499-based Software Architectures
Tarik Terzimehic |
|||||||||||||
|
11:00 - 12:30: Educators Symposium in 4A58
|
|||||||||||||
| Towards a Body of Knowledge for Model-Based Software Engineering
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo and Manuel Wimmer |
|||||||||||||
| The impact of opt-in gamification on students' grades in a software design course
Kiko Fernandez-Reyes , Dave Clarke , Janina Hornbach |
|||||||||||||
| Using MOOC Technology and Formative Assessment in a Conceptual Modelling Course: an Experience Report
Daria Bogdanova , Monique Snoeck |
|||||||||||||
| We'll Make Modelers Out of 'Em Yet: Introducing Modeling into a Curriculum
Eric J. Rapos |
|||||||||||||
| Practicing Domain-Specific Languages: From Code to Models
Laure Gonnord , Sebastien Mosser |
|||||||||||||
|
11:00 - 12:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Paper Presentations in 2A08
|
|||||||||||||
| 11:00-11:20 | Towards an Automated Fault Localizer while Designing Meta-models
Adel Ferdjoukh , Jean-Marie Mottu |
||||||||||||
| 11:20-11:40 | Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents
Baris Tekin Tezel , Geylani Kardas |
||||||||||||
| 11:40-12:00 | Debugging of Model Transformations and Contracts in SyVOLT
Bentley Oakes , Clark Verbrugge , Levi Lucio , Hans Vangheluwe |
||||||||||||
| 12:00-12:20 | A Generalized Stepping Semantics for Model Debugging
Simon Van Mierlo , Yentl Van Tendeloo , Hans Vangheluwe |
||||||||||||
| 12:20-12:30 | Discussion
|
||||||||||||
|
11:00 - 12:30: W12 Model Driven Engineering, Verification and Validation (MoDeVVA) in 2A20
|
|||||||||||||
| 11:00-11:30 | ProVer: an SMT-based approach for process verification
Souheib Baarir , Reda Bendraou , Hakan Metin |
||||||||||||
| 11:30-12:00 | Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach
Bert Van Acker , Joachim Denil , Paul De Meulenaere , Bjorn Aelvoet , Dries Mahieu , Jan van den Oudenhoven |
||||||||||||
| 12:00-12:30 | Balancing Model Usability and Verifiability with SBVR and Answer Set Programming
Deepali Kholkar , Dushyanthi Mulpuru , Vinay Kulkarni |
||||||||||||
|
11:00 - 12:30: W13 Pains in Model-Driven Engineering Practice (PAINS) - Flash Talks in 2A52
|
|||||||||||||
| User Experience for DSLs - Aspects in regard to the Introduction of MDE within an Industrial Environment
Gerald Stieglbauer , Philip Langer , Stefan Sobernig |
|||||||||||||
| The Pains of Working with Spreadsheets in Model-Driven Engineering
Jonathan Co , Richard F. Paige , Peter Thomas , Stephen Hobson |
|||||||||||||
| Pains in Adopting MDE for Safety in Highly-Automated Driving
Arne Nordmann |
|||||||||||||
| Model Based System Engineering Challenges @ PLASTIC OMNIUM
Thibaud Thomas , Sutra Iris |
|||||||||||||
| Code Generation Pains
Garry Craig |
|||||||||||||
| Simplification and dynamic customization of MDE tools
Elena Strabykina , Mattias Mohlin |
|||||||||||||
| Pains with MDE
Vinay Kulkarni , Sreedhar Reddy |
|||||||||||||
| Pains in Model-Based Engineering: Views from an IV&V Perspective
Robert Pettit |
|||||||||||||
| How to provide “experience” to doubters? On introducing MDE into an organization
Juha-Pekka Tolvanen |
|||||||||||||
| The PAINS after 15 years of practicing MDE
Levi Lucio |
|||||||||||||
|
11:00 - 12:30: W14 Models and Evolution (ME) in 2A54
|
|||||||||||||
| 11:00-11:20 | Improving Trace-Based Propagation of Feature Annotations in Model Transformations
Sandra Greiner , Bernhard Westfechtel |
||||||||||||
| 11:30-11:50 | Towards Hybrid Model Persistence
Alfa Yohannis , Horacio Hoyos Rodriguez , Fiona Polack , Dimitris Kolovos |
||||||||||||
| 12:00-12:20 | Towards a Metamodel for Modular Simulation Environments
Sandro Koch , Frederik Reiche , Robert Heinrich |
||||||||||||
| 12:20-12:30 | Discussion and Closing
|
||||||||||||
|
11:00 - 12:30: W15 Multi-Level Modeling (MULTI) - Advances in multi-level modeling in 4A60 (Aud 4)
|
|||||||||||||
| A Tool for the Convergence of Multilevel Modelling Approaches
Fernando Macías , Adrian Rutle , Volker Stolz |
|||||||||||||
| Context Aware Factors in Rearchitecting Two-Level Models into Multilevel Models
Mira Balaban , Igal Khitron , Azzam Maraee |
|||||||||||||
| Practical Experiences with Multi-Level Modeling using FMMLx: A Hierarchy of Domain-Specific Modeling Languages in Support of Life-Cycle Assessment
Monika Kaczmarek , Mario Nolte , Andreas Fritsch , Stefanie Betz |
|||||||||||||
| Multi-Level Modeling with XML
Jens Gulden |
|||||||||||||
|
12:30 - 14:00: Lunch (Atrium Ground Floor)
|
|
14:00 - 15:30 Systems Analysis and Modeling (SAM) - Session 4: Performance, Safety and realizability in Aud 2
Chair: Daniel Amyot |
|||||||||||||
| Pattern libraries guiding the model-based reuse of automotive solutions
Maged Khalil |
|||||||||||||
| Enabling Performance Modeling for the Masses: Initial Experiences
Abel Gómez , Connie U. Smith , Amy Spellmann , Jordi Cabot |
|||||||||||||
| Realizability of Service Specifications
Mohammad F. Al-Hammouri , Gregor V. Bochmann |
|||||||||||||
|
14:00 - 15:30: xtUML Days (by invitation only) - Plenary Session #3 in 3A52
|
|||||||||||||
| Work in Progress and Proposed Package Outlines/Discussion
|
|||||||||||||
|
14:00 - 15:30: Modeling Tools Restarted in 3A54
|
|||||||||||||
| 14:00-14:20 | Modeling Tools Restarted – meet HCL
Kimi Cousins HCL, |
||||||||||||
| 14:20-14:45 | Client Advocacy & Tech Connect Initiative
Otto Klaren HCL, |
||||||||||||
| 14:45-15:30 | Real-Time, Multi-User, Cross-Site Collaboration in a design tool!
Sandeep Katosh HCL, |
||||||||||||
|
14:00 - 15:30: MBSE Adoption Challenges - Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
|
|||||||||||||
| 14:00-15:30 | MBSE Adoption Challenges
Jesko Lamm Bernafon, Yves Bernard Airbus, Marco Ferrogalini Bombardier Transport |
||||||||||||
|
14:00 - 15:30: Doctoral Symposium - Heterogeneous and Complex Systems in 2A18
|
|||||||||||||
| Context-aware traceability across heterogeneous modeling environments
Beatriz A. Sanchez |
|||||||||||||
| Exploration of hardware topologies based on functions, variability and timing
Johannes Eder |
|||||||||||||
| Model-Driven Development of Condition Monitoring Software
Faruk Pasic |
|||||||||||||
|
14:00 - 15:30: Educators Symposium in 4A58
|
|||||||||||||
| How do we teach Modelling and Model-Driven Engineering? A survey
Alfonso Pierantonio, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lembers, Sebastien Mosser, Richard Paige, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo and Manuel Wimmer |
|||||||||||||
| How to Improve the Understanding of Roles in Modeling
Markus Hamann , Juliane Pfeffer , Birgit Demuth |
|||||||||||||
| Adapting Kirkpatrick´s Evaluation Model to Technology Enhanced Learning
Jenny Ruiz de la Peña , Monique Snoeck |
|||||||||||||
| Teaching Software Language Engineering and Usability through Students Peer Reviews
Fabian Gilson |
|||||||||||||
| Evolution towards a holistic course in Model-driven System Development - Modeling for Enterprise Architecture with Business and System Architecture and Platform-based development
Arne.J. Berre , Shihong Huang , Hani Murad , Ewa Kabza |
|||||||||||||
|
14:00 - 15:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Discussions in 2A08
|
|||||||||||||
| 14:00-14:45 | Discussion, deciding on set of topics and forming of groups
|
||||||||||||
| 14:45-15:30 | Discussion in groups
|
||||||||||||
|
14:00 - 15:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
|
|||||||||||||
| 14:00-15:30 | Breakout Sessions
|
||||||||||||
|
14:00 - 15:30: W15 Multi-Level Modeling (MULTI) - Process modelling & Bicycle challenge in 4A60 (Aud 4)
|
|||||||||||||
| Multilevel Modelling of Coloured Petri Nets (in Process modelling)
Alejandro Rodríguez , Adrian Rutle , Francisco Durán , Lars Michael Kristensen , Fernando Macías |
|||||||||||||
| Perspective Based Level Addressing System for Unbalanced Meta Models (in Process modelling)
Daniel Toepel |
|||||||||||||
| A Contribution to the MULTI Challenge Using the FMMLx (in Bycicle challenge)
Ulrich Frank , Tony Clark |
|||||||||||||
| Multi-level modeling with MELANEE (in Bycicle challenge)
Arne Lange , Colin Atkinson |
|||||||||||||
| The Bicycle Challenge in DMLA, where Validation Means Correct Modeling (in Bycicle challenge)
Gergely Mezei , Zoltan Theisz , Dániel Urbán , Sándor Bácsi |
|||||||||||||
|
14:00 - 15:30: W17 Analytics and mining of model repositories (AMMoRe) - Model Management and Analytics I in 2A54
|
|||||||||||||
| Process model management and analytics
Barbara Weber DTU |
|||||||||||||
| Automatic model repair using reinforcement learning
Angela Barriga , Adrian Rutle , Rogardt Heldal |
|||||||||||||
|
15:30 - 16:00: Coffee Break (Atrium Ground Floor)
|
|
16:00 - 17:30: Systems Analysis and Modeling (SAM) - Session 5: Collaborative Modeling in Aud 2
Chair: Gunter Mussbacher |
|||||||||||||
| Towards Online Collaborative Multi-View Modelling
Nirmal Kanagasabai , Omar Alam , Jörg Kienzle |
|||||||||||||
| Collaborative Software Design and Modeling in Open Source Systems (short paper)
Omar Badreddin , Wahab Hamou-Lhadj , Vahdat Abdelzad , Rahad Khandoker , Maged Elassar |
|||||||||||||
| Closing | |||||||||||||
|
16:00 - 17:30: xtUML Days (by invitation only) - Plenary Session #4 in 3A52
|
|||||||||||||
| Open discussion
|
|||||||||||||
|
15:30 - 18:00: Modeling Tools Restarted in 3A54
|
|||||||||||||
| 16:00-17:00 | Experience IoT Modeling – Real Time
Elena Strabykina HCL, Mattias Mohlin HCL, |
||||||||||||
| 17:00-18:00 | HCL Social
|
||||||||||||
|
16:00 - 17:30: MBSE Adoption Challenges - Model-Based Systems Engineering Meeting in 2A56 (Aud 3)
|
|||||||||||||
| 16:00-17:00 | MBSE Adoption Challenges
David Williams HCL, Stéphane Bonnet Thalès, Pascal Roques PRFC |
||||||||||||
| 17:00-17:30 | Panel & Discussions: « How can we improve MBSE adoption in industry ? » | ||||||||||||
| 17:30 | The End | ||||||||||||
|
16:00 - 18:00: Doctoral Symposium - Consistency Management in MDE in 2A18
|
|||||||||||||
| Tolerant Consistency Management in Model-Driven Engineering
Nils Weidmann |
|||||||||||||
| Multi-model Consistency Preservation
Heiko Klare |
|||||||||||||
| 17:00-18:00 | Discussion Panel: Do's and Don'ts When Performing Doctoral Studies
|
||||||||||||
| Closing
|
|||||||||||||
|
16:00 - 17:30: Educators Symposium in 4A58
|
|||||||||||||
| Discussion
|
|||||||||||||
|
16:00 - 17:30: W11 Debugging in Model-Driven Engineering (MDEBug) - Discussions continued in 2A08
|
|||||||||||||
| 14:00-14:45 | Discussion in groups
|
||||||||||||
| 14:45-15:30 | Discussion of results and wrap-up
|
||||||||||||
|
16:00 - 17:30: W13 Pains in Model-Driven Engineering Practice (PAINS) in 2A52
|
|||||||||||||
| 16:00-17:30 | Plenary and conclusion
|
||||||||||||
|
16:00 - 17:30: W15 Multi-Level Modeling (MULTI) - Discussion and Position in 4A60 (Aud 4)
|
|||||||||||||
| Multilevel Modeling: What's in a Level? A Position Paper
Mira Balaban , Igal Khitron , Michael Kifer , Azzam Maraee |
|||||||||||||
| A Story of Levels
Thomas Kuehne |
|||||||||||||
| Present and future of multi-level modeling (Plenary session)
|
|||||||||||||
|
16:00 - 17:30: W17 Analytics and mining of model repositories (AMMoRe) - Model Management and Analytics II in 2A54
|
|||||||||||||
| Model analytics for feature models: case studies for S.P.L.O.T. repository
Önder Babur , Loek Cleophas , Mark Van Den Brand |
|||||||||||||
| Exploring model repositories by means of megamodel-aware search operators
Francesco Basciani , Juri Di Rocco , Davide Di Ruscio , Ludovico Iovino , Alfonso Pierantonio |
|||||||||||||
| Discussion | |||||||||||||
| Wrap up and closing | |||||||||||||
|
19:00: Doctoral Symposium Dinner
|
|
08:30 - 10:00: Plenary Session in Aud 1
Chair: Øystein Haugen |
|||||||||||||
| Welcome to MODELS 2018
|
|||||||||||||
| Keynote: Modeling air pollution: Informing policies to address a global environmental challenge
Noelle Eckley Selin MIT |
|||||||||||||
| Lightning talks from exhibit presenters
|
|||||||||||||
|
10:00 - 10:30: Coffee Break: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
|
|
10:30 - 12:00: Foundations in Aud 1
Chair: Vadim Zaytsev |
|||||||||||||
| Exploring Potency
Thomas Kuehne Victoria University of Wellington |
|||||||||||||
| From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams
Andreas Kästner , Martin Gogolla University of Bremen, Bran Selic Malina Software Corp. |
|||||||||||||
| On the Quest for Flexible Modelling
Esther Guerra Universidad Autónoma de Madrid, Juan De Lara Universidad Autónoma de Madrid |
|||||||||||||
| Mathematical Programming for Anomaly Analysis of Clafer Models
Markus Weckesser TU Darmstadt, Malte Lochau TU Darmstadt, Michael Ries , Andy Schürr TU Darmstadt |
|||||||||||||
|
10:30 - 12:00: Industry Day in Aud 2
Chair: Benoit Combemale |
|||||||||||||
| 10:30-11:00 | Why Industry Does not Care About Models
Bran Selic Malina Software Corp. |
||||||||||||
| 11:00-11:30 | Automated and Scalable Solutions for Software Testing: The Essential Role of MDE
Lionel Briand University of Luxembourg, SNT |
||||||||||||
| 11:30-12:00 | Modeling of Business Logic to enhance Business Agility
Markus Voelter Ind. |
||||||||||||
|
12:00 - 13:30: Lunch: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
|
|
12:00 - 13:30: Hiring Lunch (by registration) in EatIT (1st Floor)
|
|
13:30 - 15:00: Transformations in Aud 1
Chair: Eugene Syriani |
|||||||||||||
| From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations
Bernhard Westfechtel Uni Bayreuth, Sandra Greiner Uni Bayreuth |
|||||||||||||
| Expressing Confidence in Models and in Model Transformations Elements
Loli Burgueño University of Málaga, Manuel F. Bertoa University of Málaga, Nathalie Moreno University of Málaga, Antonio Vallecillo University of Málaga |
|||||||||||||
| Model Transformation Product Lines
Juan De Lara Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Marsha Chechik University of Toronto, Rick Salay University of Toronto |
|||||||||||||
| Expressive and Efficient Model Transformation with an Internal DSL of Xtend
Artur Boronat University of Leicester |
|||||||||||||
|
13:30 - 15:00: Industry Day in Aud 2
Chair: Anders Ek |
|||||||||||||
| 13:30-14:00 | Model based software development: Experiences from large scale usage
Roger Holmberg Ericsson, Olivera Milenkovic Aspire Technology |
||||||||||||
| 14:00-14:30 | MBSE with Arcadia and Capella: rationale, status and perspectives
Stéphane Bonnet Thales |
||||||||||||
| 14:30-15:00 | Is Open Source a Viable Alternative for Industrial MBE Tools?
Francis Bordeleau Cmind Inc. |
||||||||||||
|
15:00 - 15:30: Coffee Break: Exhibition & Interactive Tool Demos (Atrium Ground Floor)
|
|
15:30 - 17:00: Verification, Validation and Planning in Aud 1
Chair: Nelly Bencomo |
|||||||||||||
| Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime
Lorena Arcega Universidad San Jorge, Jaime Font Universidad San Jorge, Carlos Cetina Universidad San Jorge |
|||||||||||||
| Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search
Wael Kessentini University of Montreal, Manuel Wimmer TU Wien, Houari Sahraoui University of Montreal, |
|||||||||||||
| Unified LTL Verification and Embedded Execution of UML Models
Valentin Besnard , Matthias Brun ESEO, Frédéric Jouault ESEO, Ciprian Teodorov ENSTA , Philippe Dhaussy ENSTA |
|||||||||||||
| A Model-Driven Solution to support Smart Mobility Planning (P&I)
Antonio Bucchiarone FBK, Antonio Cicchetti Mälardalen University |
|||||||||||||
|
15:30 - 17:00: Industry Day in Aud 2
Chair: Jean-Michel Bruel |
|||||||||||||
| 15:30-16:00 | Applying Model-Driven Engineering to High Performance Computing
Benoit Lelandais CEA, Marie-Pierre Oudot CEA |
||||||||||||
| 16:00-16:30 | Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees (Invited Paper from Practice & Innovation Track)
Arne Nordmann Bosch, Peter Munk Bosch |
||||||||||||
| 16:30-17:00 | Digital Behavioral Twins for Safe Connected Cars (Invited Paper from Practice & Innovation Track)
Ximing Chen , Zhihao Jiang , Eunsuk Kang , Shinichi Shiraishi , Victor M. Preciado Toyota and University of of Pennsylvania |
||||||||||||
|
17:00-18:30: Steering Commitee Meeting (by invitation only) in 3A20
|
|
17:00-18:30: Break (go for walk, ice cream, check-in into your hotel, visit exhibit, working spaces available)
|
|
18:30-21:00: MODELS18 Social Reception + Poster Session (Atrium Ground Floor)
Access included for all participants registered for the main conference or industry program on Wednesday. No ticket necessary, but bring your badge. |
|
08:30 - 09:30: Plenary Session in Aud 1
Chair: Andrzej Wąsowski |
|||||||||||||
| Keynote: Models for motion prediction; robotic brains versus biological brains
Martijn Wisse Delft University of Technology |
|||||||||||||
|
09:30 - 10:00: Coffee Break (Atrium Ground Floor)
|
|
10:00 - 11:30: Model Analysis and Testing in Aud 1
Chair: Michalis Famelis |
|||||||||||||
|
Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications
Brice Morin SINTEF, Jakob Høgenes SINTEF, Hui Song SINTEF, Nicolas Harrand KTH, Benoit Baudry KTH |
|||||||||||||
| Extending Complex Event Processing to Graph-structured Information
Gala Barquero , Loli Burgueño University of Málaga, Javier Troya University of Sevilla, Antonio Vallecillo University of Málaga |
|||||||||||||
| Enabling Model Testing of Cyber-Physical Systems (P&I)
Carlos A. González , Mojtaba Varmazyar University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, Yago Isasi LuxSpace, |
|||||||||||||
| Toward testing from finite state machines with symbolic inputs and outputs (SOSYM First)
Alexandre Petrenko CRIM |
|||||||||||||
|
10:00 - 11:30: Experience Reports in Aud 2
Chair: Tim Lethbridge |
|||||||||||||
| Measures to report the Location Problem of Model Fragment Location (P&I)
Manuel Ballarín Universidad San Jorge, Ana Marcen Universidad San Jorge, Vicente Pelechano Universitat Politècnica de València, Carlos Cetina Universidad San Jorge |
|||||||||||||
| Using language workbenches and domain-specific languages for safety-critical software development (SOSYM First)
Markus Voelter , Bernd Kolb , Klaus Birken , Federico Tomassetti , Patrick Alff , Laurent Wiart , Andreas Wortmann , Arne Nordmann |
|||||||||||||
| Improving the developer experience with a Low-Code Process Modelling Language (P&I)
Henrique Henriques , Hugo Lourenço , Vasco Amaral , Miguel Goulão , |
|||||||||||||
| A feature-based survey of model view approaches (SOSYM First)
Hugo Bruneliere , Erik Burger , Jordi Cabot , Manuel Wimmer , |
|||||||||||||
|
11:30 - 13:00: Lunch (Atrium Ground Floor)
|
|
11:30 - 13:00: Steering Committee Lunch (by invitation only) in 3A20
|
|
13:00 - 14:30: Empirical Studies in Aud 1
Chair: Silvia Abrahão |
|||||||||||||
| Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts
Rodi Jolak , Truong Ho-Quang , Michel R.V. Chaudron , Ramon R.H. Schiffelers |
|||||||||||||
| An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
Parsa Pourali , Joanne Atlee |
|||||||||||||
| Effort Used to Create Domain-Specific Modeling Languages (P&I)
Juha-Pekka Tolvanen , Steven Kelly |
|||||||||||||
| A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice (P&I)
Omar Badreddin , Rahad Khandoker , Andrew Forward , Omar Masmali , Timothy Lethbridge |
|||||||||||||
|
13:00 - 14:30: Panel in Aud 2
Moderator: Alexander Pretschner TUM, fortiss, and Bavarian Research Institute for Digital Transformation |
|||||||||||||
| Why Model-Based Engineering Works in Practice!
Francis Bordeleau Cmind, Lionel Briand University of Luxembourg, Maged Khalil Continental, Sebastian Voss fortiss |
|||||||||||||
|
14:30 - 15:00: Coffee Break (Atrium Ground Floor)
|
|
15:00 - 16:30: Patterns, Refactoring and Refinement in Aud 1
Chair: Marouane Kessentini |
|||||||||||||
| Recommending Model Refactoring Rules from Refactoring Examples
Chihab Eddine Mokaddem , Houari Sahraoui , Eugene Syriani |
|||||||||||||
| Refactoring Architecture Models for Compliance with Custom Requirements
Ta’id Holmes , Uwe Zdun |
|||||||||||||
| Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Wei Dou , Domenico Bianculli , Lionel Briand |
|||||||||||||
| On Computing Instructions to Repair Failed Model Refinements
Oliver Kautz , Bernhard Rumpe |
|||||||||||||
|
15:00 - 16:30: Tool Demo Talks in Aud 2
Chair: Thanos Zolotas |
|||||||||||||
| 15:00-15:10 | A tool for Automatically Selecting Optimal Model Transformation Chains
Francesco Basciani , Mattia D'Emidio , Davide Di Ruscio , Daniele Frigioni , Ludovico Iovino , Alfonso Pierantonio |
||||||||||||
| 15:15-15:25 | Collaborative Creation and Versioning of Modeling Languages with MetaEdit+
Steven Kelly , Juha-Pekka Tolvanen |
||||||||||||
| 15:30-15:40 | Modularizing and Layering Metamodels with the Modular EMF Designer
Amine Kechaou , Misha Strittmatter |
||||||||||||
| 15:45-15:55 | Towards an Adaptive City Journey Planner with MDE
Antonio Bucchiarone , Antonio Cicchetti |
||||||||||||
| 16:00-16:10 | Documenting Simulink Designs of Embedded Systems
Alexander Schaap, Gordon Marks , Vera Pantelic , Mark Lawford , Gehan Selim , Alan Wassyng , Lucian Patcas |
||||||||||||
| 16:15-16:25 | IncQuery Server for Teamwork Cloud
Ábel Hegedüs , Gábor Bergmann , Csaba Debreceni , Ákos Horváth , Ákos Menyhért , Péter Lunk , István Papp , Dániel Varró , Tomas Vileiniskis , István Ráth |
||||||||||||
|
16:30 - 18:15: SoSyM editorial board meeting (by invitation only) in 3A20
|
| 17:30 - 23:00: Banquet (including Awards) at the Royal Opera House, Operaen, Ekvipagemestervej 10 | |||||||||||||
| 17:30 | A guided tour of the opera (award winning international level architecture). Register in the conference reception to be admitted to the tour, the tour is free, but we have limited number of places. Bus will be available from the conference venue 17:30, meeting time, buses depart 17:45 (no waiting). You can walk, or use public transport to get to the opera as well depending on the weather. | ||||||||||||
| 19:00-23:00 | The conference banquet (same location)
Bus will be available from the conference venue 18:15 (meeting time) buses depart 18.30 (no waiting).
You can also arrange alternative transport, walk yourself.
After the banquet a shuttle will be available from 21:30 (until the last guest but no longer than 23:00 hours). The shuttle will stop at the WakeUp Hotel Borgergade, Nørreport metro/train station, and Imperial Hotel. |
||||||||||||
|
08:30 - 09:30: Plenary Session: The Most Influential Papers in Aud 1
Chairs: Jordi Cabot, Jeff Gray, Bernhard Rumpe |
|||||||||||||
| MODELS Most Influential Paper Award Talk: Precise Semantics of EMF Model Transformations by Graph Transformation
Enrico Biermann , Claudia Ermel , Gabriele Taentzer |
|||||||||||||
| SoSyM Regular Most Influential Paper Award Talk: Reducing accidental complexity in domain models
Colin Atkinson , Thomas Kühne |
|||||||||||||
| Invitation to MODELS 2019
|
|||||||||||||
|
09:30 - 10:00: Coffee Break (Atrium Ground Floor)
|
|
10:00 - 11:30: Model Management in Aud 1
Chair: Fiona Polack |
|||||||||||||
| Towards sound, optimal, and flexible building from megamodels
Perdita Stevens |
|||||||||||||
| Robust Hashing for Models
Salvador Martinez , Sebastien Gerard , Jordi Cabot |
|||||||||||||
| Incremental View Model Synchronization Using Partial Models
Kristóf Marussy , Oszkár Semeráth , Dániel Varró |
|||||||||||||
| Towards Scalable Model Views on Heterogeneous Model Resources (P&I)
Hugo Bruneliere , Florent Marchand de Kerchove , Gwendal Daniel , Jordi Cabot |
|||||||||||||
|
10:00 - 11:30: Hardware Embedded Systems and CPS in Aud 2
Chair: Bran Selic |
|||||||||||||
| Slicing UML-based Models of Real-time Embedded Systems
Reza Ahmadi , Ernesto Posse , Juergen Dingel |
|||||||||||||
| HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
Seung Yeob Shin , Karim Chaouch , Shiva Nejati , Mehrdad Sabetzadeh , Lionel Briand , Frank Zimmer |
|||||||||||||
| Hybrid co-simulation: it’s about time (SOSYM First)
Fabio Cremona , Marten Lohstroh , David Broman , Edward A. Lee , Michael Masin , Stavros Tripakis |
|||||||||||||
|
10:00 - 11:30: Tool Demo Talks in 2A56 (Aud 3)
Chair: Eric Rapos |
|||||||||||||
| 10:00-10:10 | Supporting Systematic Literature Reviews in Computer Science
Sebastian Götz |
||||||||||||
| 10:15-10:25 | SimGen: A Tool for Generating Simulations and Visualizations of Embedded Systems on the Unity Game Engine
Michal Pasternak , Nafiseh Kahani , Mojtaba Bagherzadeh , Juergen Dingel , Jim Cordy |
||||||||||||
| 10:30-10:40 | MDEOptimiser: A Search Based Model Engineering Tool
Alexandru Burdusel , Steffen Zschaler , Daniel Strüber |
||||||||||||
| 10:45-10:55 | Optimal Mapping of Task-based Computation Models over Heterogeneous Hardware using Placer
Renaud De Landtsheer , Jean-Christophe Deprez , Christophe Ponsard |
||||||||||||
| 11:00-11:30 | Lightning demos
|
||||||||||||
|
11:30 - 12:30: Lunch (Atrium Ground Floor)
|
|
12:30 - 13:30: Graphical Modelling and Modelling Applications in Aud 1
Chair: Antonio Vallecillo |
|||||||||||||
| Towards a Language Server Protocol Infrastructure for Graphical Modeling
Roberto Rodriguez-Echeverria , Javier Luis Canovas Izquierdo , Jordi Cabot , Manuel Wimmer |
|||||||||||||
| Visualizations of Evolving Graphical Models in the Context of Model Review
Florian Zoubek , Philip Langer , Tanja Mayerhofer |
|||||||||||||
| Dissimilarity Measures for Clustering Space Mission Architectures (P&I)
Cody Kinneer , Sebastian Herzig |
|||||||||||||
|
12:30 - 13:30: Transformations 2 in Aud 2
Chair: Gabriele Taentzer |
|||||||||||||
| Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels
Djamel Eddine Khelladi , Roland Kretschmer , Alexander Egyed |
|||||||||||||
| Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (P&I)
Matt Selway , Georg Grossmann , Kerryn Owen , Richard Dexter , Markus Stumptner |
|||||||||||||
| Assurance via hierarchies of model transformation refinements
Zinovy Diskin , Tom Maibaum , Alan Wassyng , Mark Lawford , Stephen Wynn-Williams |
|||||||||||||
|
12:30 - 13:30: Synthesis & Simulation in 2A56 (Aud 3)
Chair: Francis Bordeleau |
|||||||||||||
| From Deployment to Platform Exploration - Automatic Synthesis of Distributed Automotive Hardware Architectures (P&I)
Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov , Maged Khalil |
|||||||||||||
| Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc
Evgeny Kusmenko , Bernhard Rumpe , Sascha Schneiders , Michael von Wenckstern |
|||||||||||||
| Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (P&I)
Alexandre Rio , Yoann Maurel , Olivier Barais , Yoran Bugni |
|||||||||||||
|
13:30 - 14:00: Coffee Break (Atrium Ground Floor)
|
|
14:00 - 15:00: Keynote in Aud 1
Chair: Richard Paige |
|||||||||||||
| 14:00-15:00 | Keynote: Genetics of Computer Programs
Jim Cordy Queen's University |
||||||||||||
|
15:00 - 15:15 : Thank you and goodbye (Aud 1)
|