Revision as of 00:08, 28 June 2008 edit Alaibot (talk \| contribs) 434,501 edits m Robot: Changing template: com-stub ← Previous edit		Revision as of 07:52, 25 July 2008 edit undo 192.100.130.7 (talk) No edit summary Next edit →
Line 8: [[MscGen]] - Automatic generation of diagrams based on text descriptions of the messages. [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.

Message sequence chart: Difference between revisions