Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations

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]

Authors

Hendrik Radke

This author has not been identified. Look up 'Hendrik Radke' in Google

Thorsten Arendt

This author has not been identified. Look up 'Thorsten Arendt' in Google

Jan Steffen Becker

This author has not been identified. Look up 'Jan Steffen Becker' in Google

Annegret Habel

This author has not been identified. Look up 'Annegret Habel' in Google

Gabriele Taentzer

This author has not been identified. It may be one of the following persons: Look up 'Gabriele Taentzer' in Google