Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer. Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. In Francesco Parisi-Presicce, Bernhard Westfechtel, editors, Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Volume 9151 of Lecture Notes in Computer Science, pages 155-170, Springer, 2015. [doi]
Abstract is missing.