|
| author=[[David Harel]]
| accessdate=2009-09-20}}</ref>
==Tools==
* [http://www.pragmadev.com/product/tracing.html PragmaDev Tracer] Free tracing tool based on MSC.
* [https://tools.valid8.com/#msc Online MSC generator]
*[[MscGen]] – Automatic generation of diagrams based on text descriptions of the messages.
*[http://sourceforge.net/projects/msc-generator/ MscGenerator] - Advanced version of MscGen, designed for telecom message flows.
*[http://websequencediagrams.com/ Web-based MSC Generator]
*[http://code.google.com/p/msc2svg/ Msc2Svg – Generates charts as SVG from a simple text description file]
*[http://www.eventhelix.com/eventstudio/ EventStudio – Message sequence chart generation tool]
*[http://www.doc.ic.ac.uk/ltsa/ LTSA] – Supports the drawing and subsequent [[Formal verification|automated verification]] of message sequence charts.
*[http://plantuml.com/ PlantUML] – Versatile UML sequence diagrams based on text description.
*[http://scstudio.sourceforge.net Sequence Chart Studio] – Extends [[Microsoft Visio]] to draw and verify Z.120 compliant sequence charts.
*[http://trace2uml.tigris.org/ Trace2UML] – Tool for drawing and recording sequence charts.
*[http://satoss.uni.lu/mscpackage/ MSC Latex package] – a [[LaTeX]] package for creating message sequence charts.
*[http://tools.valid8.com/ Online PCAP to MSC chart Generator] – Generates MSC arrow diagram charts from PCAP files.
*[http://sequencediagram.org/ sequencediagram.org] – Free online text to MSC generator, support edit on Web UI directly.
==See also==
| 