JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
the java language specification .