Higher-Order Transformation for Incremental Propagation of Changes from Software to Performance Models