Detailed program


Monday 17.07.2017, 9:00-10:30

ICMT Keynote


Monday 17.07.2017, 11:00-12:30

ICMT Session 1: Transformation paradigms, languages, algorithms and strategies

  • 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

  • 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

  • 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


Tuesday 18.07.2017, 11:00-12:30

Joint Session ICGT and ICMT (1,4): Triple Graph Grammars

  • 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 and ICMT (2,5): Rule-based Specifications and Tools

  • 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

  • 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


Wednesday 19.07.2017, 11:00-12:30

ECMFA Session 1: Meta-Modeling and Language Engineering

  • 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

  • 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

  • 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

  • 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

  • Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann. Systematic Language Extension Mechanisms for the MontiArc Architecture Model Evolution and Maintenance 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

  • 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

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

Wednesday 19.07.2017, 16:00-18:00

Joint Session ECMFA and TAP (3): Model Verification and Analysis

  • 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


Thursday 20.07.2017, 11:00-12:30

ECMFA Session 4: Model Consistency Management

  • 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

  • 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

  • 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

  • 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

  • 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