Task-level graphical simulation: abstraction, representation, and control