by Ron Waxman
In system design, generation of high-level abstract models that can be closely associated with evolving lower level models provides designers is the ability to incrementally 'test' an evolving desi…