A tool for visualization and analysis of sequence diagram chart models