| Vol-2026 urn:nbn:de:0074-2026-1 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# TTC 2017
Transformation Tool Contest

### Proceedings of the 10th Transformation Tool Contest (TTC 2017),
co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017)

### Marburg, Germany, July 21, 2017.

Edited by

### Antonio Garcia-Dominguez *
Georg Hinkel **
Filip Křikava ***

* Aston University, United Kingdom
** FZI Research Center of Information Technologies (Karlsruhe), Germany
*** Czech Technical University, Czech Republic

## Table of Contents

- Preface

### Smart Grid Case

- The TTC 2017 Outage System Case for Incremental Model Views 3-12
  Georg Hinkel
- An NMF solution to the Smart Grid Case at the TTC 2017 13-17
  Georg Hinkel
- Detecting and Preventing Power Outages in a Smart Grid using eMoflon 19-23
  Sven Peldszus, Jens Bürger, Daniel Strüber

### Families to Persons Case

- The Families to Persons Case 27-34
  Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel
- An NMF Solution to the Families to Persons Case at the TTC 2017 35-39
  Georg Hinkel
- The SDMLib Solution to the TTC 2017 Families 2 Persons Case 41-45
  Albert Zündorf, Alexander Weidt
- Solving the TTC Families to Persons Case with FunnyQT 47-51
  Tassilo Horn
- Solving the Families to Persons Case Using EVL+Strace 54-62
  Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz-Rahimi

### State Elimination Case

- State Elimination as Model Transformation Problem 65-73
  Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer
- An NMF Solution to the State Elimination Case at the TTC 2017 75-79
  Georg Hinkel
- Transformation of Finite State Automata to Regular Expressions Using Henshin 81-85
  Daniel Strüber
- The SDMLib Solution to the TTC 2017 State Elimination Case 87-89
  Alexander Weidt, Albert Zündorf
- Solving the State Elimination Case Study Using Epsilon 91-95
  Mohammadreza Sharbaf, Shekoufeh Kolahdouz-Rahimi, Bahman Zamani

The whole proceedings can also be downloaded as a single file: complete proceedings in one ZIP file.

2017-12-13: submitted by Filip Křikava, metadata incl. bibliographic data published under Creative Commons CC0
2017-12-14: published on CEUR-WS.org |valid HTML5|