A transformational framework for skeletal programs: Overview and case study