A tool for diagraming sequence charts