COMPUTING SCIENCE Proceedings of the 7th OVERTURE Workshop Peter G. Larsen and Jeremy W. Bryans (Eds.) TECHNICAL REPORT SERIES No. CS-TR-1177 November 2009