Transformation and Testing Group Members: Petra Brosch Jeff Gray Maribel Hudson Philip Langer Qichao Liu Matteo Risoldi Johannes Schoenboeck Yu Sun

There is a Semantics Problem There are three layers which make this difficult – Semantic definition in general – Mapping of Semantics across domains – Transformation language lack of focus on semantics

Example issues group members had Semantics being lost or altered significantly across multiple transformations. For model refactoring it is difficult to making sure the semantics are preserved. Semantic changes make it challenging to figure out complexity across different meta-models For conflict resolution there is no clear way to insure the selected resolution conforms to the desired semantics Because syntax has clear definition transformation focus on syntax matching and there is no clear way to match semantics.

Discussed Solutions Create Commonly agreed on Semantics Unit testing Shift semantics to the user Model Mining Restricting Semantic Domain