How to make a bridge between transformation and analysis technologies?

At the Dagstuhl seminar on “Transformation Techniques in Software Engineering” we had an organized discussion on the intricacies of engineering practicle connections between software analysis and software transformation tools. This