Model-Driven Design, Refinement and Transformation of Abstract Interactions