1. A method of employing a software model transform, said method comprising: utilizing a processor to execute computer code configured to perform the steps of: accepting a software model transform; manipulating the transform to obtain a transform representation; exploring at least one functional path with respect to the transform representation; conducting a trace of at least one explored path; and producing an abstraction of the transform via utilizing the trace, the abstraction comprising a simplified semantic view of the transform.