The Toolkit for Conceptual Modeling (TCM) is a suite of graphical editors for a number of graphical notation systems that are used in software specification methods. The notations can be used to represent the conceptual structure of the software - hence the name of the suite.
This manual describes version 1.6 of TCM. TCM runs on Unbc systems with X Windows. The TCM ftp site is ftp://ftp.cs.vu.nl/pub/tcm. The TCM home page is http:/fwww.cs.vu.nl/~tcm. The use of TCM is free for education, academic research and other non-commercial purposes.
This version of TCM contains graphical editors for several kinds of documents, namely diagrams, tables and trees.
• Editors are available for the following kinds of diagrams: generic graph diagrams, entity relationship diagrams, class-relationship diagrams, state transition diagrams, recursive process graphs, data (and event) flow diagrams, and JSD process structure and system network diagrams.
• Editors are available for the following kinds of tables: generic tables, transaction decomposition tables, transaction-use tables and function-entity type tables.
• Editors are available for the following kinds of trees: generic textual trees and function refinement trees.
The current version of TCM supports constraint checking for single documents (e.g. name duplication, 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 warns, after it is asked to check the drawing). The current version of TCM does not yet support constraint checking across documents for integrated conceptual modeling. Future versions of TCM will be enhanced with cross-diagram checking functions.
All editors share as much as possible of their user interface, which is designed to be usable without user manual. There is a simple on-line help facility and this user's guide annex reference is supplied with TCM in PostScript format and in HTML format, which can be read by a web browser.
This document describes the user interaction with TCM. It is intended to be a guide for both beginners and advanced users. The last appendix contains a mini-tutorial of the notation techniques supported by this version of TCM. Full information can be found in:
R.J. Wieringa. Requirements Engineering - Frameworks for Understanding. Wiley, 1996. ISBN 0 471 95884 0. http://www.cs.vu.nl/~roelw/books.html.
[1]
Frank Dehne,et al.
The Yourdon Systems Method and the Toolkit for Conceptual Modeling
,
1996
.
[2]
Douglas A. Young.
The X Window system: programming and applications with Xt (OSF/Motif ed.)
,
1990
.
[3]
William A. Woods,et al.
Computational Linguistics Transition Network Grammars for Natural Language Analysis
,
2022
.
[4]
Roel Wieringa,et al.
Some Finite-Graph Models for Process Algebra
,
1991,
CONCUR.
[5]
Roel Wieringa,et al.
Roles and Dynamic Subclasses: A Modal Logic Approach
,
1994,
ECOOP.
[6]
Roel Wieringa,et al.
Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods
,
1995,
Comput. J..
[7]
M. F.,et al.
Bibliography
,
1985,
Experimental Gerontology.
[8]
Roel Wieringa,et al.
Requirements Engineering: Frameworks for Understanding
,
1996
.
[9]
Roel Wieringa,et al.
Using Dynamic Classes and Role Classes to Model Object Migration
,
1995,
Theory Pract. Object Syst..
[10]
Laurian M. Chirica,et al.
The entity-relationship model: toward a unified view of data
,
1975,
SIGF.