Return to Article Details A formal foundation for transformations in model driven engineering Download Download PDF