Detailed program

Below, you find a detailed schedule of all ECMFA’17, ICGT’17, ICMT’17, and TAP’17 sessions. The programs for TTC, Doctoral Symposium, Projects Showcase, GCM, OCL, BigMDE, GRAND and MORSE are listed on separate pages. The program booklet PDF includes these events as well. For free access to the presented papers, see Proceedings.

Monday 17.07.2017, 9:00-10:30

ICMT Keynote
Room Zuse, Chairs: Mark van den Brand, Esther Guerra

Monday 17.07.2017, 11:00-12:30

ICMT Session 1: Transformation paradigms, languages, algorithms and strategies
Room Pascal 1, Chair: Daniel Strüber

  • Artur Boronat. Experimentation with a Big-Step Semantics for ATL Model Transformations
  • Christopher Gerking, David Schubert, Ingo Budde. Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities
  • Edward Willink. The Micromapping Model of Computation: The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX

Monday 17.07.2017, 14:00-15:30

ICMT Session 2: Development of transformations
Room Pascal 1, Chair: Mark van den Brand

  • Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla. Testing Transformation Models Using Classifying Terms
  • Timo Kehrer, Christopher Pietsch, Daniel Strüber. Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations
  • Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani. A Survey of Model Transformation Design Pattern Usage

Monday 17.07.2017, 16:00-18:00

ICMT Session 3: Applications and case studies
Room Pascal 1, Chair: Ramon Schiffelers

  • Daniel Strüber. Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering
  • Oszkár Semeráth, Daniel Varro. Graph Constraint Evaluation over Partial Models by Constraint Rewriting
  • Nebras Nassar, Hendrik Radke, Thorsten Arendt. Rule-based Repair of EMF Models: An Automated Interactive Approach

Tuesday 18.07.2017, 9:00-10:30

ICGT Keynote
Room Zuse, Chairs: Juan de Lara and Detlef Plump

Tuesday 18.07.2017, 11:00-12:30

Joint Session ICGT (1) and ICMT (4): Triple Graph Grammars
Room Zuse, Chair: Esther Guerra

  • Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varro, Andy Schürr. Leveraging Incremental Pattern Matching techniques for Model Synchronization
  • Frank Trollman, Sahin Albayrak. Decision Points for Non-Determinism in Concurrent Model Synchronization with Triple Graph Grammars
  • Jeremy Ho, Jens Weber, Morgan Price. BXE2E: A Bidirectional Transformation Approach for Medical Record Exchange

Tuesday 18.07.2017, 14:00-15:30

Joint Session ICGT (2) and ICMT (5): Rule-based Specifications and Tools
Room Zuse, Chair: Anthony Anjorin

  • Timo Kehrer, Abdullah Alshanqiti, Reiko Heckel. Automatic Inference of Rule-Based Specifications of Complex In-Place Model Transformations
  • Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, Matthias Tichy. Henshin: A Usability-Focused Framework for EMF Model Transformation Development
  • Jens Weber. Grape: A Graph Rewriting and Persistence Engine
  • Albert Zündorf, Daniel Gebauer, Clemens Reichmann. Table Graphs

Tuesday 18.07.2017, 16:00-18:00

ICGT Session 3: Foundations
Room Zuse, Chair: Reiko Heckel

  • Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro. The PB-PO Approach to Algebraic Graph Transformation
  • Julia Padberg. Transformations of Corecursive Graphs: Hierarchical Graph Transformation Revisited
  • Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
  • Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler. Chemical Graph Transformation with Stereo-Information

Wednesday 19.07.2017, 9:00-10:30

ECMFA Keynote
Room Zuse, Chairs: Anthony Anjorin, Huáscar Espinoza

Wednesday 19.07.2017, 11:00-12:30

ECMFA Session 1: Meta-Modeling and Language Engineering
Room Zuse, Chair: Mark van den Brand

  • Alexander Kraas. On the Automated Derivation of Domain-Specific UML Profiles
  • Lorenzo Addazi, Federico Ciccozzi, Philip Langer, Ernesto Posse. Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles
  • Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern. Modeling Architectures of Cyber-Physical Systems

ICGT Session 4: Graph Languages and Parsing
Room Leibnitz, Chair: Andy Schürr

  • Andrea Corradini, Barbara König, Dennis Nolte. Specifying Graph Languages with Type Graphs
  • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye. Fusion Grammars: A Novel Approach to the Generation of Graph Languages
  • Frank Drewes, Berthold Hoffmann, Mark Minas. Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars

TAP Session 1: Model-based Testing
Room Newton, Chair: Achim D. Brucker

  • Marcus Gerhold, Mariëlle Stoelinga. Model‐Based Testing of Probabilistic Systems with Stochastic Time
  • Andreas Fuchs, Herbert Kuchen. Unit Testing of Database‐Driven Java Enterprise Edition Applications
  • Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel. WSCLim: A Tool for Model‐Based Testing of WS‐BPEL Compositions under Load Conditions

Wednesday 19.07.2017, 13:15-14:00

Industrial Talk
Room Zuse

  • Dennis Klassen, itemis AG, DE. Requirements for Traceability and Test Coverage in German Common Criteria Schema

Wednesday 19.07.2017, 14:00-15:30

ECMFA Session 2: Model Evolution and Maintenance
Room Zuse, Chair: Zinovy Diskin

  • Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann. Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language
  • Davide Di Ruscio, Juergen Etzlstorfer, Ludovico Iovino, Alfonso Pierantonio, Wieland Schwinger. A Feature-based Approach to Manage Variability during Model Transformation Migration
  • Lorena Arcega, Jaime Font, Oystein Haugen, Carlos Cetina. On the Influence of Models at Run-time Traces in Dynamic Feature Location

ICGT Session 5: Analysis and Verification
Room Leibnitz, Chair: Barbara König

  • Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer. Granularity of Conflicts and Dependencies in Graph Transformation Systems
  • Johannes Dyck, Holger Giese. K-Inductive Invariant Checking for Graph Transformation Systems
  • Maria Maximova, Holger Giese, Christian Krause. Probabilistic Timed Graph Transformation Systems

TAP Session 2: Invited Tutorial
Room Newton, Chair: Einar Broch Johnsen

  • Achim D. Brucker, Burkhart Wolff. Theorem Prover‐based Testing: Combining Verification and Testing

Wednesday 19.07.2017, 16:00-18:00

Joint Session ECMFA (3) and TAP (3): Model Verification and Analysis
Room Zuse, Chair: Burkhart Wolff

  • Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens. Model-based Privacy Analysis in Industrial Ecosystems
  • Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille. Formulating Model Verification Tasks Prover-Independently as UML Diagrams
  • Hichem Debbi. Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications
  • Giles Reger, Martin Suda, Andrei Voronkov. Testing a Saturation‐Based Theorem Prover: Experiences and Challenges

Thursday 20.07.2017, 9:00-10:30

TAP Keynote
Room Zuse, Chair: Sebastian Gabmeyer

Thursday 20.07.2017, 11:00-12:30

ECMFA Session 4: Model Consistency Management
Room Pascal 1, Chair: Huáscar Espinoza

  • Harald König, Zinovy Diskin. Efficient Consistency Checking of Interrelated Models
  • Hao Wu. Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels
  • Gerson Sunyé. Model Consistency for Distributed Collaborative Modeling

TAP Session 4: Static and Dynamic Analysis
Room Pascal 2, Chair: Catherine Dubois

  • Gergö Barany, Julien Signoles. Hybrid Information Flow Analysis for Real‐World C Code
  • Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere. Skolem Function Composition for Quantified Boolean Formulas
  • Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden. Test Suite Reduction in Idempotence Testing of Infrastructure as Code

Thursday 20.07.2017, 14:00-15:30

ECMFA Session 5: Model-Driven Generative Development
Room Pascal 1, Chair: Huáscar Espinoza

  • Roland Kluge, Michael Stein, David Giessing, Andy Schürr, Max Mühlhäuser. cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks
  • Enes Yigitbas, Hagen Stahl, Stefan Sauer, Gregor Engels. Self-Adaptive UIs: Integrated Model-Driven Development of UIs and their Adaptations
  • Dennis Priefer, Peter Kneisel, Daniel Strüber. Iterative Model-Driven Development of Software Extensions for Web Content Management Systems

TAP Session 5: Symbolic Execution and Testing
Room Pascal 2, Chair: Martina Seidl

  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto. Symbolic Execution of Transition Systems with Function Summaries
  • Martin Gogolla, Frank Hilken, Khanh‐Hoang Doan, Nisha Desai. Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms

Thursday 20.07.2017, 16:00-18:00

ECMFA Session 6: Experience Reports, Case Studies, and New Application Scenarios
Room Pascal 1, Chair: Anthony Anjorin

  • Hamza Ed-Douibi, Javier Luis Canovas Izquierdo, Jordi Cabot. Example-driven Web API Specification Discovery
  • Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin. Technology-Preserving Transition from Single-Core to Multi-Core in Modelling Vehicular Systems
  • Abel Gómez, Xabier Mendialdua, Gábor Bergmann, Jordi Cabot, Csaba Debreceni, Antonio Garmendia, Dimitris S. Kolovos, Juan de Lara, Salvador Trujillo. On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development