Features of the TCM software
Features:
- 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.

Send comments to
tcm@cs.utwente.nl