Roel J. Wieringa
Frank Dehne Henk R. van de Zandschulp
Faculty of Mathematics and Computer Science Department of Computer Science
Vrije Universiteit University of Twente
De Boelelaan 1081a, 1081 HV Amsterdam P.O. Box 217, 7500 AE Enschede
The Netherlands The Netherlands
(till December 2000) email@example.com
January 20, 2003
TCM contains editors for two major sets of software specification techniques: Structured Analysis (SA) and the Unified Modeling Language (UML). The first set includes amongst others editors for ER-diagrams, data and event flow diagrams and state-transition diagrams. The set of UML editors includes amongst others a class-diagram editor, a use-case diagram editor and an activity diagram editor. Furthermore, TCM contains three generic editors for generic diagrams, generic tables and generic trees and also a number of special purpose editors such as two editors for JSD and a process graph editor.
The current version of TCM supports constraint checking for single documents (e.g. name duplication and cycles in is-a relationships). TCM distinguishes built-in constraints (of which a violation cannot even be attempted) from immediate constraints (of which an attempted violation is immediately prevented) and soft constraints (against which the editor provides a warning when it checks the drawing). TCM is planned to support constraint checking across documents.
All editors have a similar user interface, and most of the time you don't need this manual. There is a simple on-line help facility. This user's guide annex reference manual is available in PostScript, PDF and in HTML format.
This document is intended to be a guide for both beginners and advanced users of TCM. Appendix A contains a mini-tutorial of the notation techniques supported by this version of TCM.
TCM runs on Unix and Linux systems with X Windows and even on Windows, running the CYGWIN/XFree86 environment. The ftp-site is ftp://ftp.cs.utwente.nl/pub/tcm. The TCM home page is http://www.cs.utwente.nl/~tcm. TCM is distributed under the GNU General Public License (GPL).