A Model Traceability Framework for Network Service Management