A very interesting Google Tech Talk. I kinda expected to see attributed graph grammars pop up when he started discussing the rule-based transformation approach.  I wander if a declarative approach could also work.