1 An Approach for Validat ion of An Approach for Validat ion of Semant ic Composabilit y in Simulat ion Models Claudia Szabo and Yong Meng Teo Department of Computer Science Department of Computer Science National University of Singapore email: claudias@comp nus edu sg email: claudias@comp.nus.edu.sg June 23, 2009