Predicting Performance Properties for Open Systems with KAMI