TTC 2017
Transformation Tool Contest

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 .