From Core OCL Invariants to Nested Graph Constraints

Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer. From Core OCL Invariants to Nested Graph Constraints. In Holger Giese, Barbara König, editors, Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Volume 8571 of Lecture Notes in Computer Science, pages 97-112, Springer, 2014. [doi]

Abstract

Abstract is missing.