The Toolkit for Conceptual Modeling is a collection of software tools to present specifications of software systems in the form of diagrams, tables, trees, and the like. TCM offers editors for techniques used in Structured Analysis as well as editors for object-oriented (UML) techniques. For some of the behavior specification techniques, an interface to model checkers is offered. More in particular, TCM contains the following editors.
Generic editors for generic diagrams, generic tables and generic trees. All available icons can be used and no syntactic diagram constraints are checked.
Unified Modeling Language (UML) editors for static structure (i.e. class and object) diagrams, use-case diagrams, activity diagrams, statecharts, collaboration diagrams, component diagrams and deployment diagrams.
Structured Analysis (SA) editors for entity-relationship diagrams, data and event flow diagrams, state transition diagrams, function refinement trees, transaction-use tables and function-entity type tables.
Miscellaneous editors such as for JSD (process structure and network diagrams), recursive process graphs and transaction decomposition tables. These editors are no longer updated but they will remain available within TCM.