Using Executable UML to model algorithmic aspects of visualization systems | IEEE Conference Publication | IEEE Xplore