MSCViewer

MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems.
The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments.

MSCViewer features integration with a Python interpreter which allows writing Python scripts interacting with the model. This powerful feature can be used to automate validatation of distributed control flows, integrate with graphing infrastructure, etc.