Features of the TCM software

• Easy to use graphical interface. Click here for a screen dump of one of the diagram editors and here for a screen dump of one of the table editors.
• Support for UML and Structured Analysis diagrams.
• Some basic diagram syntax rules are built in, so these cannot be violated when drawing the diagrams. Soft syntax constraints are checked upon request.
• Support for hierarchic diagrams.
• Most TCM diagram editors are graph editors, where graphs consist of nodes and edges presented to the user in various formats and with various labels. Exceptions are the statechart editor, that manipulates higraphs with hierarchical nodes, and the sequence diagram editor.
• The TCM editors output the TCM file format, which is a set of human-readable information about the diagram.
• TCM also generates PostScript, Encapsulated PostScript, PNG, and the Fig format (Fig with either LaTeX- or PostScript fonts). PNG can be used for inclusion in Word documents and web pages. The Fig format can be further processed by xfig to produce other formats such as JPG and GIF.
• Links to model checkers are being implemented. A prototype version of the activity diagram editor is available for download, that can generate input for the NuSMV model checker. This allows verification of activity diagrams using NuSMV. Counterexamples generated by NuSMV are shown as traces through the activity diagram. See our download page for information where to get this prototype editor.
• The state transition diagram editor can be extended with model checking capabilities too. Please check the corresponding Makefile for details.