~ubuntu-branches/ubuntu/intrepid/tcm/intrepid

« back to all changes in this revision

Viewing changes to doc/usersguide/usersguidenode8.html

  • Committer: Bazaar Package Importer
  • Author(s): Otavio Salvador
  • Date: 2003-07-03 20:08:21 UTC
  • Revision ID: james.westby@ubuntu.com-20030703200821-se4xtqx25e5miczi
Tags: upstream-2.20
ImportĀ upstreamĀ versionĀ 2.20

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
 
2
<!--Converted with LaTeX2HTML 98.1p1 release (March 2nd, 1998)
 
3
originally by Nikos Drakos (nikos@cbl.leeds.ac.uk), CBLU, University of Leeds
 
4
* revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
 
5
* with significant contributions from:
 
6
  Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
 
7
<HTML>
 
8
<HEAD>
 
9
<TITLE>6. Architectural View Editors</TITLE>
 
10
<META NAME="description" CONTENT="6. Architectural View Editors">
 
11
<META NAME="keywords" CONTENT="User">
 
12
<META NAME="resource-type" CONTENT="document">
 
13
<META NAME="distribution" CONTENT="global">
 
14
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
 
15
<LINK REL="STYLESHEET" HREF="User.css">
 
16
<LINK REL="next" HREF="usersguidenode9.html">
 
17
<LINK REL="previous" HREF="usersguidenode7.html">
 
18
<LINK REL="up" HREF="User.html">
 
19
<LINK REL="next" HREF="usersguidenode9.html">
 
20
</HEAD>
 
21
<BODY >
 
22
<!--Navigation Panel-->
 
23
<A NAME="tex2html963"
 
24
 HREF="usersguidenode9.html">
 
25
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A> 
 
26
<A NAME="tex2html959"
 
27
 HREF="User.html">
 
28
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif.gif"></A> 
 
29
<A NAME="tex2html953"
 
30
 HREF="usersguidenode7.html">
 
31
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif.gif"></A> 
 
32
<A NAME="tex2html961"
 
33
 HREF="usersguidenode1.html">
 
34
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A> 
 
35
<A NAME="tex2html962"
 
36
 HREF="usersguidenode15.html">
 
37
<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index" SRC="index_motif.gif"></A> 
 
38
<BR>
 
39
<B> Next:</B> <A NAME="tex2html964"
 
40
 HREF="usersguidenode9.html">7. Table Editing</A>
 
41
<B> Up:</B> <A NAME="tex2html960"
 
42
 HREF="User.html">Toolkit for Conceptual Modeling</A>
 
43
<B> Previous:</B> <A NAME="tex2html954"
 
44
 HREF="usersguidenode7.html">5. Behavior View Editors</A>
 
45
<BR>
 
46
<BR>
 
47
<!--End of Navigation Panel-->
 
48
<!--Table of Child-Links-->
 
49
<A NAME="CHILD_LINKS"><strong>Subsections</strong></A>
 
50
<UL>
 
51
<LI><A NAME="tex2html965"
 
52
 HREF="usersguidenode8.html#SECTION00810000000000000000">6.1 The Data Flow Diagram Editor (TDFD)</A>
 
53
<UL>
 
54
<LI><A NAME="tex2html966"
 
55
 HREF="usersguidenode8.html#SECTION00811000000000000000">6.1.1 Main window</A>
 
56
<LI><A NAME="tex2html967"
 
57
 HREF="usersguidenode8.html#SECTION00812000000000000000">6.1.2 Nodes and Edges</A>
 
58
<LI><A NAME="tex2html968"
 
59
 HREF="usersguidenode8.html#SECTION00813000000000000000">6.1.3 Data Flow Diagram Levels and Indexes</A>
 
60
<LI><A NAME="tex2html969"
 
61
 HREF="usersguidenode8.html#SECTION00814000000000000000">6.1.4 Minispecs</A>
 
62
<LI><A NAME="tex2html970"
 
63
 HREF="usersguidenode8.html#SECTION00815000000000000000">6.1.5 Splitting and Merging Flows</A>
 
64
<LI><A NAME="tex2html971"
 
65
 HREF="usersguidenode8.html#SECTION00816000000000000000">6.1.6 Constraint Checking</A>
 
66
</UL>
 
67
<LI><A NAME="tex2html972"
 
68
 HREF="usersguidenode8.html#SECTION00820000000000000000">6.2 The Data and Event Flow Diagram Editor (TEFD)</A>
 
69
<UL>
 
70
<LI><A NAME="tex2html973"
 
71
 HREF="usersguidenode8.html#SECTION00821000000000000000">6.2.1 Nodes and Edges</A>
 
72
<LI><A NAME="tex2html974"
 
73
 HREF="usersguidenode8.html#SECTION00822000000000000000">6.2.2 Constraint Checking</A>
 
74
</UL>
 
75
<LI><A NAME="tex2html975"
 
76
 HREF="usersguidenode8.html#SECTION00830000000000000000">6.3 The System Network Diagram Editor (TSND)</A>
 
77
<UL>
 
78
<LI><A NAME="tex2html976"
 
79
 HREF="usersguidenode8.html#SECTION00831000000000000000">6.3.1 Nodes and Edges</A>
 
80
<LI><A NAME="tex2html977"
 
81
 HREF="usersguidenode8.html#SECTION00832000000000000000">6.3.2 Constraint Checking</A>
 
82
</UL>
 
83
<LI><A NAME="tex2html978"
 
84
 HREF="usersguidenode8.html#SECTION00840000000000000000">6.4 The Use Case Diagram Editor (TUCD)</A>
 
85
<UL>
 
86
<LI><A NAME="tex2html979"
 
87
 HREF="usersguidenode8.html#SECTION00841000000000000000">6.4.1 Nodes and Edges</A>
 
88
<LI><A NAME="tex2html980"
 
89
 HREF="usersguidenode8.html#SECTION00842000000000000000">6.4.2 Constraint Checking</A>
 
90
</UL>
 
91
<LI><A NAME="tex2html981"
 
92
 HREF="usersguidenode8.html#SECTION00850000000000000000">6.5 The Component Diagram Editor (TCPD)</A>
 
93
<UL>
 
94
<LI><A NAME="tex2html982"
 
95
 HREF="usersguidenode8.html#SECTION00851000000000000000">6.5.1 Nodes and Edges</A>
 
96
</UL>
 
97
<LI><A NAME="tex2html983"
 
98
 HREF="usersguidenode8.html#SECTION00860000000000000000">6.6 The Deployment Diagram Editor (TDPD)</A>
 
99
<UL>
 
100
<LI><A NAME="tex2html984"
 
101
 HREF="usersguidenode8.html#SECTION00861000000000000000">6.6.1 Nodes and Edges</A>
 
102
</UL></UL>
 
103
<!--End of Table of Child-Links-->
 
104
<HR>
 
105
 
 
106
<H1><A NAME="SECTION00800000000000000000">&#160;</A> <A NAME="ArchitectViewEditing">&#160;</A><A NAME="6350">&#160;</A>
 
107
<BR>
 
108
6. Architectural View Editors
 
109
</H1>
 
110
 
 
111
<P>
 
112
The architectural view of a software system decomposes the system into
 
113
parts that communicate with each other.
 
114
This includes data flow diagrams and JSD system network diagrams.
 
115
 
 
116
<P>
 
117
 
 
118
<H1><A NAME="SECTION00810000000000000000">&#160;</A>
 
119
<A NAME="6352">&#160;</A><A NAME="6353">&#160;</A> 
 
120
<A NAME="6354">&#160;</A>
 
121
<BR>
 
122
6.1 The Data Flow Diagram Editor (TDFD)
 
123
</H1>
 
124
 
 
125
<P>
 
126
 
 
127
<H2><A NAME="SECTION00811000000000000000">
 
128
6.1.1 Main window</A>
 
129
</H2>
 
130
 
 
131
<P>
 
132
Both TDFD as TEFD have an extra menu in the main window called <B>DFD</B>
 
133
which contains some commands that are specific for data flow diagrams.
 
134
 
 
135
<P>
 
136
Furthermore there is an editable text field labeled <TT>Diagram</TT> 
 
137
which shows the index of the data flow diagram. 
 
138
See section&nbsp;<A HREF="usersguidenode8.html#DFIndexes">6.1.3</A> for the function of that field.
 
139
 
 
140
<P>
 
141
 
 
142
<H2><A NAME="SECTION00812000000000000000">
 
143
6.1.2 Nodes and Edges</A>
 
144
</H2>
 
145
 
 
146
<P>
 
147
See figure&nbsp;<A HREF="usersguidenode8.html#DFRepresentations">6.1</A> for the subjects
 
148
and the representing shapes that are used in TDFD.
 
149
In figure&nbsp;<A HREF="usersguidenode8.html#DFConnections">6.2</A> you find the possible connections
 
150
of node types by edge types. These are immediately enforced constraints.
 
151
 
 
152
<P>
 
153
TDFD uses the standard data flow diagramming conventions from&nbsp;[<A
 
154
 HREF="usersguidenode14.html#Marco78">8</A>,<A
 
155
 HREF="usersguidenode14.html#Yourdon89">30</A>]
 
156
with the exception that diagrams are always drawn as a graph in TCM and 
 
157
therefore, they can never have dangling edges. TDFD uses a different notation from 
 
158
the one being used in&nbsp;[<A
 
159
 HREF="usersguidenode14.html#Wieringa96-01">22</A>]: data flow diagrams should be drawn 
 
160
as a graph, so a flow in a decomposition going to or coming from ``nowhere'' 
 
161
is not permitted (unlike for instance&nbsp;[<A
 
162
 HREF="usersguidenode14.html#Wieringa96-01">22</A>], figures 9.16 and 9.17).
 
163
See figure&nbsp;<A HREF="usersguidenode8.html#DFDExample1">6.3</A> for an example of the TCM notation for DFDs.
 
164
For more information see appendix section&nbsp;<A HREF="usersguidenode11.html#TUT-DFD">A.3.3</A>.
 
165
 
 
166
<P>
 
167
<BR>
 
168
<DIV ALIGN="CENTER"><A NAME="DFRepresentations">&#160;</A><A NAME="6422">&#160;</A>
 
169
<TABLE WIDTH="50%">
 
170
<CAPTION><STRONG>Figure 6.1:</STRONG>
 
171
Data flow diagram nodes and edges.</CAPTION>
 
172
<TR><TD>
 
173
<DIV ALIGN="CENTER">
 
174
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
175
<TR><TD ALIGN="CENTER">
 
176
<BR><HR><P></P> 
 
177
<DIV ALIGN="CENTER">
 
178
 
 
179
<!-- MATH: $\includegraphics{p/tcircle.eps}$ -->
 
180
<IMG
 
181
 WIDTH="70" HEIGHT="70" ALIGN="BOTTOM" BORDER="0"
 
182
 SRC="usersguideimg135.gif"
 
183
 ALT="\includegraphics{p/tcircle.eps}">
 
184
<BR> </DIV>
 
185
<BR><HR>
 
186
<BR></TD>
 
187
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Data process<A NAME="6381">&#160;</A></TD>
 
188
<TD ALIGN="CENTER">
 
189
<BR><HR><P></P> 
 
190
<DIV ALIGN="CENTER">
 
191
 
 
192
<!-- MATH: $\includegraphics{p/bar.eps}$ -->
 
193
<IMG
 
194
 WIDTH="88" HEIGHT="36" ALIGN="BOTTOM" BORDER="0"
 
195
 SRC="usersguideimg136.gif"
 
196
 ALT="\includegraphics{p/bar.eps}">
 
197
<BR> </DIV>
 
198
<BR><HR>
 
199
<BR></TD>
 
200
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Data store</TD>
 
201
</TR>
 
202
<TR><TD ALIGN="CENTER"><A NAME="6389">&#160;</A>
 
203
<P>
 
204
<HR><P></P>
 
205
<DIV ALIGN="CENTER">
 
206
 
 
207
<!-- MATH: $\includegraphics{p/square.eps}$ -->
 
208
<IMG
 
209
 WIDTH="70" HEIGHT="71" ALIGN="BOTTOM" BORDER="0"
 
210
 SRC="usersguideimg36.gif"
 
211
 ALT="\includegraphics{p/square.eps}">
 
212
<BR> </DIV>
 
213
<BR><HR>
 
214
<BR></TD>
 
215
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>External entity<A NAME="6397">&#160;</A></TD>
 
216
<TD ALIGN="CENTER">
 
217
<BR><HR><P></P> 
 
218
<DIV ALIGN="CENTER">
 
219
 
 
220
<!-- MATH: $\includegraphics{p/blackdot.eps}$ -->
 
221
<IMG
 
222
 WIDTH="10" HEIGHT="10" ALIGN="BOTTOM" BORDER="0"
 
223
 SRC="usersguideimg37.gif"
 
224
 ALT="\includegraphics{p/blackdot.eps}">
 
225
<BR> </DIV>
 
226
<BR><HR>
 
227
<BR></TD>
 
228
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Split-merge node</TD>
 
229
</TR>
 
230
<TR><TD ALIGN="CENTER"><A NAME="6405">&#160;</A>
 
231
<P>
 
232
<HR><P></P> 
 
233
<DIV ALIGN="CENTER">
 
234
 
 
235
<!-- MATH: $\includegraphics{p/arrow.eps}$ -->
 
236
<IMG
 
237
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
238
 SRC="usersguideimg59.gif"
 
239
 ALT="\includegraphics{p/arrow.eps}"></DIV>
 
240
<BR><HR>
 
241
<BR></TD>
 
242
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Data flow<A NAME="6412">&#160;</A></TD>
 
243
<TD ALIGN="CENTER">
 
244
<BR><HR><P></P>
 
245
<DIV ALIGN="CENTER">
 
246
 
 
247
<!-- MATH: $\includegraphics{p/doublearrow.eps}$ -->
 
248
<IMG
 
249
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
250
 SRC="usersguideimg61.gif"
 
251
 ALT="\includegraphics{p/doublearrow.eps}"></DIV>
 
252
<BR><HR>
 
253
<BR></TD>
 
254
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Bidirectional data flow<A NAME="6419">&#160;</A> 
 
255
<A NAME="6420">&#160;</A></TD>
 
256
</TR>
 
257
</TABLE></DIV></TD></TR>
 
258
</TABLE>
 
259
</DIV>
 
260
<BR>
 
261
<P>
 
262
<BR>
 
263
<DIV ALIGN="CENTER"><A NAME="DFConnections">&#160;</A><A NAME="6429">&#160;</A>
 
264
<TABLE WIDTH="50%">
 
265
<CAPTION><STRONG>Figure 6.2:</STRONG>
 
266
Permitted data flow diagram connections.</CAPTION>
 
267
<TR><TD>
 
268
<DIV ALIGN="CENTER">
 
269
 
 
270
<!-- MATH: $\includegraphics{p/DFconnections.eps}$ -->
 
271
<IMG
 
272
 WIDTH="611" HEIGHT="527" ALIGN="BOTTOM" BORDER="0"
 
273
 SRC="usersguideimg137.gif"
 
274
 ALT="\includegraphics{p/DFconnections.eps}"></DIV></TD></TR>
 
275
</TABLE>
 
276
</DIV>
 
277
<BR>
 
278
<P>
 
279
<BR>
 
280
<DIV ALIGN="CENTER"><A NAME="DFDExample1">&#160;</A><A NAME="6437">&#160;</A>
 
281
<TABLE WIDTH="50%">
 
282
<CAPTION><STRONG>Figure 6.3:</STRONG>
 
283
Data flow diagram in graph notation.</CAPTION>
 
284
<TR><TD>
 
285
<DIV ALIGN="CENTER">
 
286
 
 
287
<!-- MATH: $\includegraphics{p/dfdexample.eps}$ -->
 
288
<IMG
 
289
 WIDTH="586" HEIGHT="403" ALIGN="BOTTOM" BORDER="0"
 
290
 SRC="usersguideimg138.gif"
 
291
 ALT="\includegraphics{p/dfdexample.eps}"></DIV></TD></TR>
 
292
</TABLE>
 
293
</DIV>
 
294
<BR>
 
295
<P>
 
296
 
 
297
<H2><A NAME="SECTION00813000000000000000">&#160;</A> <A NAME="DFIndexes">&#160;</A><A NAME="6442">&#160;</A>
 
298
<BR>
 
299
6.1.3 Data Flow Diagram Levels and Indexes
 
300
</H2> 
 
301
 
 
302
<P>
 
303
Data processes have unique indexes. Data process shapes show their
 
304
index labels when the <B>create/edit index</B> check button in the 
 
305
list of tiled node buttons is on<A NAME="6444">&#160;</A><A NAME="6445">&#160;</A>.
 
306
 
 
307
<P>
 
308
When you turn the toggle off, the index labels remain visible, but can not
 
309
be edited anymore. New node shapes will be created without an index label.
 
310
 
 
311
<P>
 
312
Index labels of data process
 
313
shapes are positioned near the top of the circle. When they are visible,
 
314
they can be edited separately from the name label by selecting it for 
 
315
editing by clicking in the upper part of the circle. TDFD 
 
316
immediately enforces that index labels are unique and that they
 
317
conform to the BNF syntax in figure&nbsp;<A HREF="usersguidenode8.html#IndexSyntax">6.4</A>.
 
318
 
 
319
<P>
 
320
When you create a new data process, TDFD assigns it automatically 
 
321
a unique index number. By default TDFD assigns the processes the
 
322
numbers one to the current number of processes.
 
323
When you issue the command <B>Renumber indexes</B><A NAME="6448">&#160;</A> 
 
324
from the Edit menu, then the process indexes are renumbered
 
325
to sequential indexes from one to the number of processes.
 
326
When you create a new process, the lowest unused index number is chosen.
 
327
 
 
328
<P>
 
329
When you draw a<A NAME="6449">&#160;</A>
 
330
<B>leveled</B> or <B>hierarchical data flow diagrams</B>, 
 
331
data processes<A NAME="6452">&#160;</A>
 
332
can be <B>decomposed</B> into subdiagrams. 
 
333
If the diagram you are drawing is a decomposition of a data
 
334
process with label <I>n</I>, then you can enter the label <I>n</I>in the text field labeled <TT>Diagram</TT>. When you fill in
 
335
the text field, the index of the diagram is updated
 
336
when you press &lt;Return&gt;.
 
337
New processes that are created in the diagram 
 
338
receive then as index, the diagram index plus a unique number.
 
339
For instance, when you have set the diagram index to 2 
 
340
(i.e. the diagram is supposed to contain the decomposition of 
 
341
some data process with index 2), then all new processes will 
 
342
receive the indexes 2.1, 2.2, etc.
 
343
So, when you edit a context diagram or a level 1 diagram then 
 
344
this field is empty. When you edit the diagram of a process
 
345
decomposition then it contains the index of that process.
 
346
 
 
347
<P>
 
348
<BR>
 
349
<DIV ALIGN="CENTER"><A NAME="IndexSyntax">&#160;</A><A NAME="6477">&#160;</A>
 
350
<TABLE WIDTH="50%">
 
351
<CAPTION><STRONG>Figure 6.4:</STRONG>
 
352
Data process index syntax.</CAPTION>
 
353
<TR><TD><IMG
 
354
 WIDTH="207" HEIGHT="74"
 
355
 SRC="usersguideimg139.gif"
 
356
 ALT="\begin{figure}
 
357
\begin{center}
 
358
\begin{math}
 
359
\begin{array}{lll}
 
360
Index & \rightarro...
 
361
...rt{\bf 8}\vert{\bf 9} \\ \nonumber
 
362
\end{array}\end{math}\end{center}\end{figure}"></TD></TR>
 
363
</TABLE>
 
364
</DIV>
 
365
<BR>
 
366
<P>
 
367
<B>Warning:</B> in the version of TCM that is described in this
 
368
manual you have to create for each decomposition a separate document. 
 
369
In this version of TDFD it is 
 
370
not possible to perform a decomposition within the editor.
 
371
Not even all invalid combinations of index and level numbers within 
 
372
the same decomposition are checked yet&nbsp;<A NAME="tex2html114"
 
373
 HREF="#foot6929"><SUP>6.1</SUP></A>.
 
374
 
 
375
<P>
 
376
 
 
377
<H2><A NAME="SECTION00814000000000000000">&#160;</A><A NAME="6483">&#160;</A>
 
378
<BR>
 
379
6.1.4 Minispecs
 
380
</H2>
 
381
 
 
382
<P>
 
383
Data processes that are not decomposed are called <B>primitive 
 
384
data processes</B><A NAME="6485">&#160;</A> and should be specified by
 
385
a so-called <B>minispec</B>. In this version of TCM it is possible
 
386
to give a data process a minispec in the form of an arbitrary piece
 
387
of text. When you (first) select a data process and choose 
 
388
the Minispec command from the DFD menu, then a text editor 
 
389
dialog (see chapter&nbsp;<A HREF="usersguidenode4.html#TextEditDialog">2.5</A>)
 
390
is popped up in which you can edit a minispec in whatever notation
 
391
you prefer. Minispecs are stored together with the document and they
 
392
can be individually loaded and saved to file and 
 
393
be printed&nbsp;<A NAME="tex2html115"
 
394
 HREF="#foot6488"><SUP>6.2</SUP></A>.
 
395
 
 
396
<P>
 
397
 
 
398
<H2><A NAME="SECTION00815000000000000000">&#160;</A> <A NAME="DFSplitMerge">&#160;</A>
 
399
<BR>
 
400
6.1.5 Splitting and Merging Flows
 
401
</H2>
 
402
 
 
403
<P>
 
404
Data flows can be split or merged. To draw a split or merged
 
405
data flow in a graph, a split-merge node is introduced. This is 
 
406
represented by a small black uneditable dot. You can draw data flow 
 
407
edges from a data process to this dot and data flow edges from the
 
408
dot to a data process. See figures&nbsp;<A HREF="usersguidenode8.html#SplitExample">5(a)</A> 
 
409
and&nbsp;<A HREF="usersguidenode8.html#MergeExample">5(b)</A>.<A NAME="6493">&#160;</A><A NAME="6494">&#160;</A><A NAME="6495">&#160;</A>
 
410
If the outgoing flows of a splitting node or the incoming flows 
 
411
of a merging node are unnamed then this means that identical copies 
 
412
are split respectively merged.
 
413
 
 
414
<P>
 
415
<BR>
 
416
<DIV ALIGN="CENTER"><A NAME="SplitExample">&#160;</A><A NAME="MergeExample">&#160;</A><A NAME="6506">&#160;</A>
 
417
<TABLE WIDTH="50%">
 
418
<CAPTION><STRONG>Figure 6.5:</STRONG>
 
419
Example splitting and merging data flows.</CAPTION>
 
420
<TR><TD>
 
421
<DIV ALIGN="CENTER">
 
422
<TABLE CELLPADDING=3 ALIGN="CENTER">
 
423
<TR><TD ALIGN="CENTER">[]
 
424
 
 
425
<!-- MATH: $\includegraphics{p/splitexample.eps}$ -->
 
426
<IMG
 
427
 WIDTH="307" HEIGHT="293" ALIGN="BOTTOM" BORDER="0"
 
428
 SRC="usersguideimg140.gif"
 
429
 ALT="\includegraphics{p/splitexample.eps}">
 
430
[]
 
431
 
 
432
<!-- MATH: $\includegraphics{p/mergeexample.eps}$ -->
 
433
<IMG
 
434
 WIDTH="306" HEIGHT="293" ALIGN="BOTTOM" BORDER="0"
 
435
 SRC="usersguideimg141.gif"
 
436
 ALT="\includegraphics{p/mergeexample.eps}"></TD>
 
437
</TR>
 
438
</TABLE></DIV></TD></TR>
 
439
</TABLE>
 
440
</DIV>
 
441
<BR>
 
442
<P>
 
443
 
 
444
<H2><A NAME="SECTION00816000000000000000">
 
445
6.1.6 Constraint Checking</A>
 
446
</H2>
 
447
 
 
448
<P>
 
449
In addition to the constraints that were mentioned in the previous
 
450
sections of this chapter, TDFD also checks some other constraints
 
451
that are summarized in figure&nbsp;<A HREF="usersguidenode8.html#DFConstraints">6.6</A>.
 
452
Some of these constraints can not be enforced immediately during 
 
453
<I>all</I> editor commands. If that is the case, they are additionally 
 
454
checked by Check Diagram as a soft constraint.
 
455
 
 
456
<P>
 
457
<BR>
 
458
<DIV ALIGN="CENTER"><A NAME="DFConstraints">&#160;</A><A NAME="6514">&#160;</A>
 
459
<TABLE WIDTH="50%">
 
460
<CAPTION><STRONG>Figure 6.6:</STRONG>
 
461
Immediately checked and soft constraints on DFDs.</CAPTION>
 
462
<TR><TD>
 
463
<DIV ALIGN="CENTER">
 
464
 
 
465
<!-- MATH: $\includegraphics{p/DFconstraints.eps}$ -->
 
466
<IMG
 
467
 WIDTH="522" HEIGHT="464" ALIGN="BOTTOM" BORDER="0"
 
468
 SRC="usersguideimg142.gif"
 
469
 ALT="\includegraphics{p/DFconstraints.eps}"></DIV></TD></TR>
 
470
</TABLE>
 
471
</DIV>
 
472
<BR>
 
473
<P>
 
474
 
 
475
<H1><A NAME="SECTION00820000000000000000">&#160;</A>
 
476
<A NAME="6519">&#160;</A> 
 
477
<A NAME="6520">&#160;</A> 
 
478
<A NAME="6521">&#160;</A>
 
479
<BR>
 
480
6.2 The Data and Event Flow Diagram Editor (TEFD)
 
481
</H1>
 
482
 
 
483
<P>
 
484
TEFD is a proper superset of TDFD. The features that are specific 
 
485
for TEFD are explained in this section. In short, TEFD is TDFD extended with
 
486
control processes and event flows. All nodes and edges of TDFD are available 
 
487
in TEFD and all constraints in TDFD are applicable to TEFD.
 
488
It is also possible to read a <TT>.dfd</TT> diagram into TEFD (although a warning
 
489
is given). The other way around, reading a <TT>.efd</TT> diagram in TDFD,
 
490
is only possible when it does not contain event flows or control
 
491
processes.
 
492
 
 
493
<P>
 
494
 
 
495
<H2><A NAME="SECTION00821000000000000000">
 
496
6.2.1 Nodes and Edges</A>
 
497
</H2>
 
498
 
 
499
<P>
 
500
TEFD has data processes and <B>control processes</B><A NAME="6526">&#160;</A><A NAME="6527">&#160;</A>, represented by a solid
 
501
and a dashed circle, respectively. Both types of nodes have possibly
 
502
an index label, see section&nbsp;<A HREF="usersguidenode8.html#DFIndexes">6.1.3</A>. TEFD has two types of flows:
 
503
<B>time discrete flows</B> and <B>time continuous flows</B>.<A NAME="6531">&#160;</A><A NAME="6532">&#160;</A>
 
504
Time discrete flow are the same flows as in TDFD, but time continuous
 
505
flows are new and they are represented by a double headed arrow (two heads on 
 
506
the same side). 
 
507
 
 
508
<P>
 
509
TEFD has <B>event flows</B><A NAME="6534">&#160;</A>
 
510
that are represented by dashed arrows.  When an event flow has 
 
511
as label `T', it is a <B>trigger</B><A NAME="6536">&#160;</A>
 
512
and when it has as label `E' or `E/D', it is a <B>prompt</B><A NAME="6538">&#160;</A>.
 
513
Event flows have a time discrete variant and a time continuous variant too,
 
514
represented by a dashed single headed arrow respectively by
 
515
a dashed double headed arrow.
 
516
 
 
517
<P>
 
518
See figure&nbsp;<A HREF="usersguidenode8.html#EFConnections">6.8</A> for the permitted connections in the
 
519
data and event flow diagram editor.
 
520
 
 
521
<P>
 
522
<BR>
 
523
<DIV ALIGN="CENTER"><A NAME="EFRepresentations">&#160;</A><A NAME="6629">&#160;</A>
 
524
<TABLE WIDTH="50%">
 
525
<CAPTION><STRONG>Figure 6.7:</STRONG>
 
526
Data and event flow diagram nodes and edges.</CAPTION>
 
527
<TR><TD>
 
528
<DIV ALIGN="CENTER">
 
529
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
530
<TR><TD ALIGN="CENTER">
 
531
<BR><HR><P></P> 
 
532
<DIV ALIGN="CENTER">
 
533
 
 
534
<!-- MATH: $\includegraphics{p/tcircle.eps}$ -->
 
535
<IMG
 
536
 WIDTH="70" HEIGHT="70" ALIGN="BOTTOM" BORDER="0"
 
537
 SRC="usersguideimg135.gif"
 
538
 ALT="\includegraphics{p/tcircle.eps}">
 
539
<BR> </DIV>
 
540
<BR><HR>
 
541
<BR></TD>
 
542
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Data process<A NAME="6552">&#160;</A></TD>
 
543
<TD ALIGN="CENTER">
 
544
<BR><HR><P></P>
 
545
<DIV ALIGN="CENTER">
 
546
 
 
547
<!-- MATH: $\includegraphics{p/dashedtcircle.eps}$ -->
 
548
<IMG
 
549
 WIDTH="71" HEIGHT="70" ALIGN="BOTTOM" BORDER="0"
 
550
 SRC="usersguideimg143.gif"
 
551
 ALT="\includegraphics{p/dashedtcircle.eps}">
 
552
<BR> </DIV>
 
553
<BR><HR>
 
554
<BR></TD>
 
555
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Control process</TD>
 
556
</TR>
 
557
<TR><TD ALIGN="CENTER"><A NAME="6560">&#160;</A>
 
558
<P>
 
559
<HR><P></P> 
 
560
<DIV ALIGN="CENTER">
 
561
 
 
562
<!-- MATH: $\includegraphics{p/bar.eps}$ -->
 
563
<IMG
 
564
 WIDTH="88" HEIGHT="36" ALIGN="BOTTOM" BORDER="0"
 
565
 SRC="usersguideimg136.gif"
 
566
 ALT="\includegraphics{p/bar.eps}">
 
567
<BR> </DIV>
 
568
<BR><HR>
 
569
<BR></TD>
 
570
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Data store</TD>
 
571
<TD ALIGN="CENTER"><A NAME="6568">&#160;</A>
 
572
<HR><P></P>
 
573
<DIV ALIGN="CENTER">
 
574
 
 
575
<!-- MATH: $\includegraphics{p/square.eps}$ -->
 
576
<IMG
 
577
 WIDTH="70" HEIGHT="71" ALIGN="BOTTOM" BORDER="0"
 
578
 SRC="usersguideimg36.gif"
 
579
 ALT="\includegraphics{p/square.eps}">
 
580
<BR> </DIV>
 
581
<BR><HR>
 
582
<BR></TD>
 
583
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>External entity</TD>
 
584
</TR>
 
585
<TR><TD ALIGN="CENTER"><A NAME="6576">&#160;</A>
 
586
<P>
 
587
<HR><P></P> 
 
588
<DIV ALIGN="CENTER">
 
589
 
 
590
<!-- MATH: $\includegraphics{p/dashedbar.eps}$ -->
 
591
<IMG
 
592
 WIDTH="89" HEIGHT="36" ALIGN="BOTTOM" BORDER="0"
 
593
 SRC="usersguideimg144.gif"
 
594
 ALT="\includegraphics{p/dashedbar.eps}">
 
595
<BR> </DIV>
 
596
<BR><HR>
 
597
<BR></TD>
 
598
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Event store</TD>
 
599
<TD ALIGN="CENTER"><A NAME="6584">&#160;</A>
 
600
<HR><P></P> 
 
601
<DIV ALIGN="CENTER">
 
602
 
 
603
<!-- MATH: $\includegraphics{p/blackdot.eps}$ -->
 
604
<IMG
 
605
 WIDTH="10" HEIGHT="10" ALIGN="BOTTOM" BORDER="0"
 
606
 SRC="usersguideimg37.gif"
 
607
 ALT="\includegraphics{p/blackdot.eps}">
 
608
<BR> </DIV>
 
609
<BR><HR>
 
610
<BR></TD>
 
611
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Split-merge node</TD>
 
612
</TR>
 
613
<TR><TD ALIGN="CENTER"><A NAME="6592">&#160;</A>
 
614
<P>
 
615
<HR><P></P> 
 
616
<DIV ALIGN="CENTER">
 
617
 
 
618
<!-- MATH: $\includegraphics{p/arrow.eps}$ -->
 
619
<IMG
 
620
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
621
 SRC="usersguideimg59.gif"
 
622
 ALT="\includegraphics{p/arrow.eps}"></DIV>
 
623
<BR><HR>
 
624
<BR></TD>
 
625
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Discrete data flow<A NAME="6599">&#160;</A></TD>
 
626
<TD ALIGN="CENTER">
 
627
<BR><HR><P></P>
 
628
<DIV ALIGN="CENTER">
 
629
 
 
630
<!-- MATH: $\includegraphics{p/dashedarrow.eps}$ -->
 
631
<IMG
 
632
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
633
 SRC="usersguideimg145.gif"
 
634
 ALT="\includegraphics{p/dashedarrow.eps}"></DIV>
 
635
<BR><HR>
 
636
<BR></TD>
 
637
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Event flow<A NAME="6606">&#160;</A></TD>
 
638
</TR>
 
639
<TR><TD ALIGN="CENTER"><P>
 
640
<HR><P></P>
 
641
<DIV ALIGN="CENTER">
 
642
 
 
643
<!-- MATH: $\includegraphics{p/doubleheadedarrow.eps}$ -->
 
644
<IMG
 
645
 WIDTH="98" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
646
 SRC="usersguideimg60.gif"
 
647
 ALT="\includegraphics{p/doubleheadedarrow.eps}"></DIV>
 
648
<BR><HR>
 
649
<BR></TD>
 
650
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Continuous data flow<A NAME="6613">&#160;</A></TD>
 
651
<TD ALIGN="CENTER">
 
652
<BR><HR><P></P>
 
653
<DIV ALIGN="CENTER">
 
654
 
 
655
<!-- MATH: $\includegraphics{p/dasheddoubleheadedarrow.eps}$ -->
 
656
<IMG
 
657
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
658
 SRC="usersguideimg146.gif"
 
659
 ALT="\includegraphics{p/dasheddoubleheadedarrow.eps}"></DIV>
 
660
<BR><HR>
 
661
<BR></TD>
 
662
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Continuous event flow<A NAME="6620">&#160;</A></TD>
 
663
</TR>
 
664
<TR><TD ALIGN="CENTER"><P>
 
665
<HR><P></P>
 
666
<DIV ALIGN="CENTER">
 
667
 
 
668
<!-- MATH: $\includegraphics{p/doublearrow.eps}$ -->
 
669
<IMG
 
670
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
671
 SRC="usersguideimg61.gif"
 
672
 ALT="\includegraphics{p/doublearrow.eps}"></DIV>
 
673
<BR><HR>
 
674
<BR></TD>
 
675
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>Bidirectional data flow<A NAME="6627">&#160;</A></TD>
 
676
<TD ALIGN="CENTER">&nbsp;</TD>
 
677
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>&nbsp;</TD>
 
678
</TR>
 
679
<TR><TD ALIGN="CENTER"><P></TD>
 
680
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>&nbsp;</TD>
 
681
<TD ALIGN="CENTER">&nbsp;</TD>
 
682
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=97>&nbsp;</TD>
 
683
</TR>
 
684
</TABLE></DIV></TD></TR>
 
685
</TABLE>
 
686
</DIV>
 
687
<BR>
 
688
<P>
 
689
<BR>
 
690
<DIV ALIGN="CENTER"><A NAME="EFConnections">&#160;</A><A NAME="6636">&#160;</A>
 
691
<TABLE WIDTH="50%">
 
692
<CAPTION><STRONG>Figure 6.8:</STRONG>
 
693
Permitted data and event flow diagram connections.</CAPTION>
 
694
<TR><TD>
 
695
<DIV ALIGN="CENTER">
 
696
 
 
697
<!-- MATH: $\includegraphics{p/EFconnections.eps}$ -->
 
698
<IMG
 
699
 WIDTH="613" HEIGHT="865" ALIGN="BOTTOM" BORDER="0"
 
700
 SRC="usersguideimg147.gif"
 
701
 ALT="\includegraphics{p/EFconnections.eps}"></DIV></TD></TR>
 
702
</TABLE>
 
703
</DIV>
 
704
<BR>
 
705
<P>
 
706
 
 
707
<H2><A NAME="SECTION00822000000000000000">
 
708
6.2.2 Constraint Checking</A>
 
709
</H2>
 
710
 
 
711
<P>
 
712
TEFD checks all the constraints of TDFD. For these constraints see figure&nbsp;<A HREF="usersguidenode8.html#DFConstraints">6.6</A>.
 
713
The other constraints that TEFD checks are listed in figure&nbsp;<A HREF="usersguidenode8.html#EFConstraints">6.9</A>.
 
714
 
 
715
<P>
 
716
<BR>
 
717
<DIV ALIGN="CENTER"><A NAME="EFConstraints">&#160;</A><A NAME="6646">&#160;</A>
 
718
<TABLE WIDTH="50%">
 
719
<CAPTION><STRONG>Figure 6.9:</STRONG>
 
720
Immediately checked and soft constraints on EFDs (not part of TDFD).</CAPTION>
 
721
<TR><TD>
 
722
<DIV ALIGN="CENTER">
 
723
 
 
724
<!-- MATH: $\includegraphics{p/EFconstraints.eps}$ -->
 
725
<IMG
 
726
 WIDTH="575" HEIGHT="366" ALIGN="BOTTOM" BORDER="0"
 
727
 SRC="usersguideimg148.gif"
 
728
 ALT="\includegraphics{p/EFconstraints.eps}"></DIV></TD></TR>
 
729
</TABLE>
 
730
</DIV>
 
731
<BR>
 
732
<P>
 
733
 
 
734
<H1><A NAME="SECTION00830000000000000000">&#160;</A>
 
735
<A NAME="6651">&#160;</A><A NAME="6652">&#160;</A> 
 
736
<A NAME="6653">&#160;</A>
 
737
<BR>
 
738
6.3 The System Network Diagram Editor (TSND)
 
739
</H1>
 
740
 
 
741
<P>
 
742
 
 
743
<H2><A NAME="SECTION00831000000000000000">
 
744
6.3.1 Nodes and Edges</A>
 
745
</H2>
 
746
 
 
747
<P>
 
748
In order to be able to edit a system network diagram as a graph, a 
 
749
system network connection in TSND is a compound connection
 
750
consisting of three parts: one node and two edges. 
 
751
The node is one of State vector, Data stream or Controlled data stream.<A NAME="6655">&#160;</A><A NAME="6656">&#160;</A><A NAME="6657">&#160;</A> 
 
752
The two edges are a Connection start edge and a 
 
753
Connection end edge. These two types of edges do not have a name label
 
754
but they can both have a cardinality constraint label.  
 
755
The cardinality constraints should conform to the same
 
756
syntax as in section&nbsp;<A HREF="usersguidenode6.html#CardConstraints">4.1.2</A>.
 
757
Compound connections connect system network processes (abbreviated to SN processes).
 
758
<A NAME="6659">&#160;</A><A NAME="6660">&#160;</A><A NAME="6661">&#160;</A>
 
759
See figure&nbsp;<A HREF="usersguidenode8.html#SNRepresentations">6.10</A> and&nbsp;<A HREF="usersguidenode8.html#SNConnections">6.11</A> for 
 
760
the representations and the permitted connections (immediately enforced).
 
761
For an example system network diagram, see figure&nbsp;<A HREF="usersguidenode8.html#SystemNetworkDiagram">6.12</A>.
 
762
 
 
763
<P>
 
764
<BR>
 
765
<DIV ALIGN="CENTER"><A NAME="SNRepresentations">&#160;</A><A NAME="6717">&#160;</A>
 
766
<TABLE WIDTH="50%">
 
767
<CAPTION><STRONG>Figure 6.10:</STRONG>
 
768
System network diagram nodes and edges.</CAPTION>
 
769
<TR><TD>
 
770
<DIV ALIGN="CENTER">
 
771
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
772
<TR><TD ALIGN="CENTER">
 
773
<BR><HR><P></P> 
 
774
<DIV ALIGN="CENTER">
 
775
 
 
776
<!-- MATH: $\includegraphics{p/box.eps}$ -->
 
777
<IMG
 
778
 WIDTH="89" HEIGHT="45" ALIGN="BOTTOM" BORDER="0"
 
779
 SRC="usersguideimg32.gif"
 
780
 ALT="\includegraphics{p/box.eps}">
 
781
<BR> </DIV><A NAME="6676">&#160;</A>
 
782
<HR>
 
783
<BR></TD>
 
784
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>System network process</TD>
 
785
<TD ALIGN="CENTER">
 
786
<BR><HR><P></P> 
 
787
<DIV ALIGN="CENTER">
 
788
 
 
789
<!-- MATH: $\includegraphics{p/sncircle.eps}$ -->
 
790
<IMG
 
791
 WIDTH="54" HEIGHT="54" ALIGN="BOTTOM" BORDER="0"
 
792
 SRC="usersguideimg149.gif"
 
793
 ALT="\includegraphics{p/sncircle.eps}">
 
794
<BR> </DIV>
 
795
<BR><HR>
 
796
<BR></TD>
 
797
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>Data stream</TD>
 
798
</TR>
 
799
<TR><TD ALIGN="CENTER"><A NAME="6685">&#160;</A>
 
800
<HR><P></P> 
 
801
<DIV ALIGN="CENTER">
 
802
 
 
803
<!-- MATH: $\includegraphics{p/sndiamond.eps}$ -->
 
804
<IMG
 
805
 WIDTH="55" HEIGHT="54" ALIGN="BOTTOM" BORDER="0"
 
806
 SRC="usersguideimg150.gif"
 
807
 ALT="\includegraphics{p/sndiamond.eps}">
 
808
<BR> </DIV>
 
809
<BR><HR>
 
810
<BR></TD>
 
811
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>State vector</TD>
 
812
<TD ALIGN="CENTER"><A NAME="6693">&#160;</A>
 
813
<HR><P></P> 
 
814
<DIV ALIGN="CENTER">
 
815
 
 
816
<!-- MATH: $\includegraphics{p/snllcircle.eps}$ -->
 
817
<IMG
 
818
 WIDTH="54" HEIGHT="54" ALIGN="BOTTOM" BORDER="0"
 
819
 SRC="usersguideimg151.gif"
 
820
 ALT="\includegraphics{p/snllcircle.eps}">
 
821
<BR> </DIV>
 
822
<BR><HR>
 
823
<BR></TD>
 
824
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>Controlled data stream</TD>
 
825
</TR>
 
826
<TR><TD ALIGN="CENTER"><A NAME="6701">&#160;</A>
 
827
<P>
 
828
<HR><P></P>
 
829
<DIV ALIGN="CENTER">
 
830
 
 
831
<!-- MATH: $\includegraphics{p/startc1line.eps}$ -->
 
832
<IMG
 
833
 WIDTH="70" HEIGHT="20" ALIGN="BOTTOM" BORDER="0"
 
834
 SRC="usersguideimg152.gif"
 
835
 ALT="\includegraphics{p/startc1line.eps}"></DIV>
 
836
<BR><HR>
 
837
<BR></TD>
 
838
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>Connection start</TD>
 
839
<TD ALIGN="CENTER"><A NAME="6708">&#160;</A>
 
840
<HR><P></P> 
 
841
<DIV ALIGN="CENTER">
 
842
 
 
843
<!-- MATH: $\includegraphics{p/endc1arrow.eps}$ -->
 
844
<IMG
 
845
 WIDTH="93" HEIGHT="31" ALIGN="BOTTOM" BORDER="0"
 
846
 SRC="usersguideimg66.gif"
 
847
 ALT="\includegraphics{p/c1arrow.eps}"></DIV> 
 
848
<A NAME="6714">&#160;</A>
 
849
<HR>
 
850
<BR></TD>
 
851
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=104>Connection end</TD>
 
852
</TR>
 
853
</TABLE></DIV></TD></TR>
 
854
</TABLE>
 
855
</DIV>
 
856
<BR>
 
857
<P>
 
858
<BR>
 
859
<DIV ALIGN="CENTER"><A NAME="SNConnections">&#160;</A><A NAME="6724">&#160;</A>
 
860
<TABLE WIDTH="50%">
 
861
<CAPTION><STRONG>Figure 6.11:</STRONG>
 
862
Permitted system network diagram connections.</CAPTION>
 
863
<TR><TD>
 
864
<DIV ALIGN="CENTER">
 
865
 
 
866
<!-- MATH: $\includegraphics{p/SNconnections.eps}$ -->
 
867
<IMG
 
868
 WIDTH="482" HEIGHT="253" ALIGN="BOTTOM" BORDER="0"
 
869
 SRC="usersguideimg153.gif"
 
870
 ALT="\includegraphics{p/SNconnections.eps}"></DIV></TD></TR>
 
871
</TABLE>
 
872
</DIV>
 
873
<BR>
 
874
<P>
 
875
<BR>
 
876
<DIV ALIGN="CENTER"><A NAME="SystemNetworkDiagram">&#160;</A><A NAME="6731">&#160;</A>
 
877
<TABLE WIDTH="50%">
 
878
<CAPTION><STRONG>Figure 6.12:</STRONG>
 
879
Example system network diagram.</CAPTION>
 
880
<TR><TD>
 
881
<DIV ALIGN="CENTER">
 
882
 
 
883
<!-- MATH: $\includegraphics{p/systemnetworkexample.eps}$ -->
 
884
<IMG
 
885
 WIDTH="634" HEIGHT="340" ALIGN="BOTTOM" BORDER="0"
 
886
 SRC="usersguideimg154.gif"
 
887
 ALT="\includegraphics{p/systemnetworkexample.eps}">
 
888
 
 
889
</DIV></TD></TR>
 
890
</TABLE>
 
891
</DIV>
 
892
<BR>
 
893
<P>
 
894
 
 
895
<H2><A NAME="SECTION00832000000000000000">
 
896
6.3.2 Constraint Checking</A>
 
897
</H2>
 
898
 
 
899
<P>
 
900
In addition to the constraints mentioned in the previous
 
901
section about TSND, TSND checks the immediately enforced and/or soft
 
902
constraints that are summarized in figure&nbsp;<A HREF="usersguidenode8.html#SNConstraints">6.13</A>.
 
903
 
 
904
<P>
 
905
<BR>
 
906
<DIV ALIGN="CENTER"><A NAME="SNConstraints">&#160;</A><A NAME="6740">&#160;</A>
 
907
<TABLE WIDTH="50%">
 
908
<CAPTION><STRONG>Figure 6.13:</STRONG>
 
909
Immediately checked and soft constraints on SNDs.</CAPTION>
 
910
<TR><TD>
 
911
<DIV ALIGN="CENTER">
 
912
 
 
913
<!-- MATH: $\includegraphics{p/SNconstraints.eps}$ -->
 
914
<IMG
 
915
 WIDTH="516" HEIGHT="219" ALIGN="BOTTOM" BORDER="0"
 
916
 SRC="usersguideimg155.gif"
 
917
 ALT="\includegraphics{p/SNconstraints.eps}"></DIV></TD></TR>
 
918
</TABLE>
 
919
</DIV>
 
920
<BR>
 
921
<P>
 
922
 
 
923
<H1><A NAME="SECTION00840000000000000000">&#160;</A>
 
924
<A NAME="6745">&#160;</A><A NAME="6746">&#160;</A> 
 
925
<A NAME="6747">&#160;</A>
 
926
<BR>
 
927
6.4 The Use Case Diagram Editor (TUCD)
 
928
</H1>
 
929
 
 
930
<P>
 
931
 
 
932
<H2><A NAME="SECTION00841000000000000000">
 
933
6.4.1 Nodes and Edges</A>
 
934
</H2>
 
935
 
 
936
<P>
 
937
See figure&nbsp;<A HREF="usersguidenode8.html#UCRepresentations">6.14</A> for the subjects
 
938
and the representing shapes that are used in TUCD.
 
939
In figure&nbsp;<A HREF="usersguidenode8.html#UCConnections">6.15</A> you can see which node types
 
940
can be connected by which edge types. These are immediately 
 
941
enforced constraints.
 
942
Note that actors can be represented by two different actor
 
943
types : a StickMan <A NAME="6751">&#160;</A> and 
 
944
a ClassBox <A NAME="6752">&#160;</A>.
 
945
In figure&nbsp;<A HREF="usersguidenode8.html#UCConnections">6.15</A> for actors only the stick-man 
 
946
type variant is shown but each stick-man could be 
 
947
replaced by a class box. 
 
948
You can change the representation of an actor by 
 
949
the <B>change actor type</B><A NAME="6755">&#160;</A>
 
950
command in a sub-menu of the Edit menu. 
 
951
 
 
952
<P>
 
953
<BR>
 
954
<DIV ALIGN="CENTER"><A NAME="UCRepresentations">&#160;</A><A NAME="6807">&#160;</A>
 
955
<TABLE WIDTH="50%">
 
956
<CAPTION><STRONG>Figure 6.14:</STRONG>
 
957
Use case diagram nodes and edges.</CAPTION>
 
958
<TR><TD>
 
959
<DIV ALIGN="CENTER">
 
960
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
961
<TR><TD ALIGN="CENTER"><P>
 
962
<HR><P></P>
 
963
<DIV ALIGN="CENTER">
 
964
 
 
965
<!-- MATH: $\includegraphics{p/stickman.eps}$ -->
 
966
<IMG
 
967
 WIDTH="33" HEIGHT="77" ALIGN="BOTTOM" BORDER="0"
 
968
 SRC="usersguideimg47.gif"
 
969
 ALT="\includegraphics{p/stickman.eps}">
 
970
<BR> </DIV>
 
971
<BR><HR>
 
972
<BR></TD>
 
973
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Actor <A NAME="6768">&#160;</A></TD>
 
974
<TD ALIGN="CENTER">
 
975
<BR><HR><P></P> 
 
976
<DIV ALIGN="CENTER">
 
977
 
 
978
<!-- MATH: $\includegraphics{p/UCsystembox.eps}$ -->
 
979
<IMG
 
980
 WIDTH="58" HEIGHT="102" ALIGN="BOTTOM" BORDER="0"
 
981
 SRC="usersguideimg156.gif"
 
982
 ALT="\includegraphics{p/UCsystembox.eps}">
 
983
<BR> </DIV>
 
984
<BR><HR>
 
985
<BR></TD>
 
986
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>System <A NAME="6776">&#160;</A></TD>
 
987
</TR>
 
988
<TR><TD ALIGN="CENTER"><P>
 
989
<HR><P></P>
 
990
<DIV ALIGN="CENTER">
 
991
 
 
992
<!-- MATH: $\includegraphics{p/UCactorbox.eps}$ -->
 
993
<IMG
 
994
 WIDTH="106" HEIGHT="46" ALIGN="BOTTOM" BORDER="0"
 
995
 SRC="usersguideimg124.gif"
 
996
 ALT="\includegraphics{p/UCactorbox.eps}">
 
997
<BR> </DIV>
 
998
<BR><HR>
 
999
<BR></TD>
 
1000
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Actor</TD>
 
1001
<TD ALIGN="CENTER">
 
1002
<BR><HR><P></P> 
 
1003
<DIV ALIGN="CENTER">
 
1004
 
 
1005
<!-- MATH: $\includegraphics{p/usecase.eps}$ -->
 
1006
<IMG
 
1007
 WIDTH="107" HEIGHT="53" ALIGN="BOTTOM" BORDER="0"
 
1008
 SRC="usersguideimg157.gif"
 
1009
 ALT="\includegraphics{p/usecase.eps}">
 
1010
<BR> </DIV>
 
1011
<BR><HR>
 
1012
<BR></TD>
 
1013
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Use Case <A NAME="6791">&#160;</A></TD>
 
1014
</TR>
 
1015
<TR><TD ALIGN="CENTER"><P>
 
1016
<HR><P></P> 
 
1017
<DIV ALIGN="CENTER">
 
1018
 
 
1019
<!-- MATH: $\includegraphics{p/c2line.eps}$ -->
 
1020
<IMG
 
1021
 WIDTH="93" HEIGHT="32" ALIGN="BOTTOM" BORDER="0"
 
1022
 SRC="usersguideimg65.gif"
 
1023
 ALT="\includegraphics{p/c2line.eps}"></DIV>
 
1024
<BR><HR>
 
1025
<BR></TD>
 
1026
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Binary association<A NAME="6798">&#160;</A></TD>
 
1027
<TD ALIGN="CENTER">
 
1028
<BR><HR><P></P> 
 
1029
<DIV ALIGN="CENTER">
 
1030
 
 
1031
<!-- MATH: $\includegraphics{p/generalizationarrow.eps}$ -->
 
1032
<IMG
 
1033
 WIDTH="92" HEIGHT="25" ALIGN="BOTTOM" BORDER="0"
 
1034
 SRC="usersguideimg62.gif"
 
1035
 ALT="\includegraphics{p/generalizationarrow.eps}"></DIV>
 
1036
<BR><HR>
 
1037
<BR></TD>
 
1038
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Generalization <A NAME="6805">&#160;</A></TD>
 
1039
</TR>
 
1040
<TR><TD ALIGN="CENTER"><P></TD>
 
1041
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1042
<TD ALIGN="CENTER">&nbsp;</TD>
 
1043
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1044
</TR>
 
1045
</TABLE></DIV></TD></TR>
 
1046
</TABLE>
 
1047
</DIV>
 
1048
<BR>
 
1049
<P>
 
1050
<BR>
 
1051
<DIV ALIGN="CENTER"><A NAME="UCConnections">&#160;</A><A NAME="6814">&#160;</A>
 
1052
<TABLE WIDTH="50%">
 
1053
<CAPTION><STRONG>Figure 6.15:</STRONG>
 
1054
Permitted Use case diagram connections.</CAPTION>
 
1055
<TR><TD>
 
1056
<DIV ALIGN="CENTER">
 
1057
 
 
1058
<!-- MATH: $\includegraphics{p/UCconnections.eps}$ -->
 
1059
<IMG
 
1060
 WIDTH="612" HEIGHT="174" ALIGN="BOTTOM" BORDER="0"
 
1061
 SRC="usersguideimg158.gif"
 
1062
 ALT="\includegraphics{p/UCconnections.eps}"></DIV></TD></TR>
 
1063
</TABLE>
 
1064
</DIV>
 
1065
<BR>
 
1066
<P>
 
1067
 
 
1068
<H2><A NAME="SECTION00842000000000000000">
 
1069
6.4.2 Constraint Checking</A>
 
1070
</H2>
 
1071
 
 
1072
<P>
 
1073
TUCD checks also the soft and immediately enforced constraints that are
 
1074
summarized in figure&nbsp;<A HREF="usersguidenode8.html#UCConstraints">6.16</A>.
 
1075
 
 
1076
<P>
 
1077
<BR>
 
1078
<DIV ALIGN="CENTER"><A NAME="UCConstraints">&#160;</A><A NAME="6823">&#160;</A>
 
1079
<TABLE WIDTH="50%">
 
1080
<CAPTION><STRONG>Figure 6.16:</STRONG>
 
1081
Immediately checked and soft constraints on UCDs.</CAPTION>
 
1082
<TR><TD>
 
1083
<DIV ALIGN="CENTER">
 
1084
 
 
1085
<!-- MATH: $\includegraphics{p/UCconstraints.eps}$ -->
 
1086
<IMG
 
1087
 WIDTH="569" HEIGHT="331" ALIGN="BOTTOM" BORDER="0"
 
1088
 SRC="usersguideimg159.gif"
 
1089
 ALT="\includegraphics{p/UCconstraints.eps}"></DIV></TD></TR>
 
1090
</TABLE>
 
1091
</DIV>
 
1092
<BR>
 
1093
<P>
 
1094
 
 
1095
<H1><A NAME="SECTION00850000000000000000">&#160;</A>
 
1096
<A NAME="6828">&#160;</A><A NAME="6829">&#160;</A> 
 
1097
<A NAME="6830">&#160;</A>
 
1098
<BR>
 
1099
6.5 The Component Diagram Editor (TCPD)
 
1100
</H1>
 
1101
 
 
1102
<P>
 
1103
This is a very lightweight diagram editor, only added to support basic 
 
1104
drawing of component diagrams. There is no constraint checking built in.
 
1105
 
 
1106
<P>
 
1107
 
 
1108
<H2><A NAME="SECTION00851000000000000000">
 
1109
6.5.1 Nodes and Edges</A>
 
1110
</H2>
 
1111
 
 
1112
<P>
 
1113
See figure&nbsp;<A HREF="usersguidenode8.html#CPRepresentations">6.17</A> for the subjects
 
1114
and the representing shapes that are used in TCPD.
 
1115
 
 
1116
<P>
 
1117
<BR>
 
1118
<DIV ALIGN="CENTER"><A NAME="CPRepresentations">&#160;</A><A NAME="6869">&#160;</A>
 
1119
<TABLE WIDTH="50%">
 
1120
<CAPTION><STRONG>Figure 6.17:</STRONG>
 
1121
Component diagram nodes and edges.</CAPTION>
 
1122
<TR><TD>
 
1123
<DIV ALIGN="CENTER">
 
1124
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
1125
<TR><TD ALIGN="CENTER"><P>
 
1126
<HR><P></P>
 
1127
<DIV ALIGN="CENTER">
 
1128
 
 
1129
<!-- MATH: $\includegraphics{p/buildingblock.eps}$ -->
 
1130
<IMG
 
1131
 WIDTH="100" HEIGHT="45" ALIGN="BOTTOM" BORDER="0"
 
1132
 SRC="usersguideimg51.gif"
 
1133
 ALT="\includegraphics{p/buildingblock.eps}">
 
1134
<BR> </DIV>
 
1135
<BR><HR>
 
1136
<BR></TD>
 
1137
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Component <A NAME="6845">&#160;</A></TD>
 
1138
<TD ALIGN="CENTER">
 
1139
<BR><HR><P></P> 
 
1140
<DIV ALIGN="CENTER">
 
1141
 
 
1142
<!-- MATH: $\includegraphics{p/miniellipse.eps}$ -->
 
1143
<IMG
 
1144
 WIDTH="24" HEIGHT="24" ALIGN="BOTTOM" BORDER="0"
 
1145
 SRC="usersguideimg160.gif"
 
1146
 ALT="\includegraphics{p/miniellipse.eps}">
 
1147
<BR> </DIV>
 
1148
<BR><HR>
 
1149
<BR></TD>
 
1150
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Interface <A NAME="6853">&#160;</A></TD>
 
1151
</TR>
 
1152
<TR><TD ALIGN="CENTER"><P>
 
1153
<HR><P></P> 
 
1154
<DIV ALIGN="CENTER">
 
1155
 
 
1156
<!-- MATH: $\includegraphics{p/predefinedline.eps}$ -->
 
1157
<IMG
 
1158
 WIDTH="93" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"
 
1159
 SRC="usersguideimg68.gif"
 
1160
 ALT="\includegraphics{p/predefinedline.eps}"></DIV>
 
1161
<BR><HR>
 
1162
<BR></TD>
 
1163
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Realization relationship<A NAME="6860">&#160;</A></TD>
 
1164
<TD ALIGN="CENTER">
 
1165
<BR><HR><P></P> 
 
1166
<DIV ALIGN="CENTER">
 
1167
 
 
1168
<!-- MATH: $\includegraphics{p/dashedarrow.eps}$ -->
 
1169
<IMG
 
1170
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
1171
 SRC="usersguideimg145.gif"
 
1172
 ALT="\includegraphics{p/dashedarrow.eps}"></DIV>
 
1173
<BR><HR>
 
1174
<BR></TD>
 
1175
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Dependency <A NAME="6867">&#160;</A></TD>
 
1176
</TR>
 
1177
<TR><TD ALIGN="CENTER"><P></TD>
 
1178
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1179
<TD ALIGN="CENTER">&nbsp;</TD>
 
1180
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1181
</TR>
 
1182
</TABLE></DIV></TD></TR>
 
1183
</TABLE>
 
1184
</DIV>
 
1185
<BR>
 
1186
<P>
 
1187
 
 
1188
<H1><A NAME="SECTION00860000000000000000">&#160;</A>
 
1189
<A NAME="6874">&#160;</A><A NAME="6875">&#160;</A> 
 
1190
<A NAME="6876">&#160;</A>
 
1191
<BR>
 
1192
6.6 The Deployment Diagram Editor (TDPD)
 
1193
</H1>
 
1194
 
 
1195
<P>
 
1196
This is a very lightweight diagram editor, only added to support basic 
 
1197
drawing of deployment diagrams. There is no constraint checking built in.
 
1198
 
 
1199
<P>
 
1200
TDPD is a superset of TCPD. The features that are specific 
 
1201
for T are explained in this section. In short, TDPD is TCPD extended with
 
1202
UML nodes. All nodes and edges of TCPD are available 
 
1203
in TDPD.
 
1204
It is also possible to read a <TT>.cpd</TT> diagram into TDPD. 
 
1205
The other way around, reading a <TT>.dpd</TT> diagram in TCPD
 
1206
is only possible when it does not contain UML nodes.
 
1207
 
 
1208
<P>
 
1209
 
 
1210
<H2><A NAME="SECTION00861000000000000000">
 
1211
6.6.1 Nodes and Edges</A>
 
1212
</H2>
 
1213
 
 
1214
<P>
 
1215
See figure&nbsp;<A HREF="usersguidenode8.html#DPRepresentations">6.18</A> for the subjects
 
1216
and the representing shapes that are used in TDPD.
 
1217
 
 
1218
<P>
 
1219
<BR>
 
1220
<DIV ALIGN="CENTER"><A NAME="DPRepresentations">&#160;</A><A NAME="6924">&#160;</A>
 
1221
<TABLE WIDTH="50%">
 
1222
<CAPTION><STRONG>Figure 6.18:</STRONG>
 
1223
Deployment diagram nodes and edges.</CAPTION>
 
1224
<TR><TD>
 
1225
<DIV ALIGN="CENTER">
 
1226
<TABLE CELLPADDING=3 BORDER="1" ALIGN="CENTER">
 
1227
<TR><TD ALIGN="CENTER"><P>
 
1228
<HR><P></P>
 
1229
<DIV ALIGN="CENTER">
 
1230
 
 
1231
<!-- MATH: $\includegraphics{p/buildingblock.eps}$ -->
 
1232
<IMG
 
1233
 WIDTH="100" HEIGHT="45" ALIGN="BOTTOM" BORDER="0"
 
1234
 SRC="usersguideimg51.gif"
 
1235
 ALT="\includegraphics{p/buildingblock.eps}">
 
1236
<BR> </DIV>
 
1237
<BR><HR>
 
1238
<BR></TD>
 
1239
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Component <A NAME="6893">&#160;</A></TD>
 
1240
<TD ALIGN="CENTER">
 
1241
<BR><HR><P></P> 
 
1242
<DIV ALIGN="CENTER">
 
1243
 
 
1244
<!-- MATH: $\includegraphics{p/miniellipse.eps}$ -->
 
1245
<IMG
 
1246
 WIDTH="24" HEIGHT="24" ALIGN="BOTTOM" BORDER="0"
 
1247
 SRC="usersguideimg160.gif"
 
1248
 ALT="\includegraphics{p/miniellipse.eps}">
 
1249
<BR> </DIV>
 
1250
<BR><HR>
 
1251
<BR></TD>
 
1252
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Interface <A NAME="6901">&#160;</A></TD>
 
1253
</TR>
 
1254
<TR><TD ALIGN="CENTER">
 
1255
<BR><HR><P></P>
 
1256
<DIV ALIGN="CENTER">
 
1257
 
 
1258
<!-- MATH: $\includegraphics{p/cube.eps}$ -->
 
1259
<IMG
 
1260
 WIDTH="89" HEIGHT="45" ALIGN="BOTTOM" BORDER="0"
 
1261
 SRC="usersguideimg50.gif"
 
1262
 ALT="\includegraphics{p/cube.eps}"></DIV>
 
1263
<BR><HR>
 
1264
<BR></TD>
 
1265
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Node <A NAME="6908">&#160;</A></TD>
 
1266
<TD ALIGN="CENTER">&nbsp;</TD>
 
1267
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1268
</TR>
 
1269
<TR><TD ALIGN="CENTER"><P>
 
1270
<HR><P></P> 
 
1271
<DIV ALIGN="CENTER">
 
1272
 
 
1273
<!-- MATH: $\includegraphics{p/predefinedline.eps}$ -->
 
1274
<IMG
 
1275
 WIDTH="93" HEIGHT="1" ALIGN="BOTTOM" BORDER="0"
 
1276
 SRC="usersguideimg68.gif"
 
1277
 ALT="\includegraphics{p/predefinedline.eps}"></DIV>
 
1278
<BR><HR>
 
1279
<BR></TD>
 
1280
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Realization relationship<A NAME="6915">&#160;</A></TD>
 
1281
<TD ALIGN="CENTER">
 
1282
<BR><HR><P></P> 
 
1283
<DIV ALIGN="CENTER">
 
1284
 
 
1285
<!-- MATH: $\includegraphics{p/dashedarrow.eps}$ -->
 
1286
<IMG
 
1287
 WIDTH="94" HEIGHT="19" ALIGN="BOTTOM" BORDER="0"
 
1288
 SRC="usersguideimg145.gif"
 
1289
 ALT="\includegraphics{p/dashedarrow.eps}"></DIV>
 
1290
<BR><HR>
 
1291
<BR></TD>
 
1292
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>Dependency <A NAME="6922">&#160;</A></TD>
 
1293
</TR>
 
1294
<TR><TD ALIGN="CENTER"><P></TD>
 
1295
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1296
<TD ALIGN="CENTER">&nbsp;</TD>
 
1297
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=94>&nbsp;</TD>
 
1298
</TR>
 
1299
</TABLE></DIV></TD></TR>
 
1300
</TABLE>
 
1301
</DIV>
 
1302
<BR>
 
1303
<P>
 
1304
<BR><HR><H4>Footnotes</H4>
 
1305
<DL>
 
1306
<DT><A NAME="foot6929">... yet&nbsp;</A><A NAME="foot6929"
 
1307
 HREF="usersguidenode8.html#tex2html114"><SUP>6.1</SUP></A>
 
1308
<DD>Both decomposition
 
1309
of data processes as more extensive checks on DFDs (like correct use
 
1310
of indexes and <B>balancing</B> of data flows) are on our wish list.
 
1311
 
 
1312
<DT><A NAME="foot6488">... printed&nbsp;</A><A NAME="foot6488"
 
1313
 HREF="usersguidenode8.html#tex2html115"><SUP>6.2</SUP></A>
 
1314
<DD>Printing or saving multiple minispecs as one 
 
1315
report is on our current wish list.
 
1316
 
 
1317
</DL><HR>
 
1318
<!--Navigation Panel-->
 
1319
<A NAME="tex2html963"
 
1320
 HREF="usersguidenode9.html">
 
1321
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A> 
 
1322
<A NAME="tex2html959"
 
1323
 HREF="User.html">
 
1324
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif.gif"></A> 
 
1325
<A NAME="tex2html953"
 
1326
 HREF="usersguidenode7.html">
 
1327
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif.gif"></A> 
 
1328
<A NAME="tex2html961"
 
1329
 HREF="usersguidenode1.html">
 
1330
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A> 
 
1331
<A NAME="tex2html962"
 
1332
 HREF="usersguidenode15.html">
 
1333
<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index" SRC="index_motif.gif"></A> 
 
1334
<BR>
 
1335
<B> Next:</B> <A NAME="tex2html964"
 
1336
 HREF="usersguidenode9.html">7. Table Editing</A>
 
1337
<B> Up:</B> <A NAME="tex2html960"
 
1338
 HREF="User.html">Toolkit for Conceptual Modeling</A>
 
1339
<B> Previous:</B> <A NAME="tex2html954"
 
1340
 HREF="usersguidenode7.html">5. Behavior View Editors</A>
 
1341
<!--End of Navigation Panel-->
 
1342
<ADDRESS>
 
1343
<I>Henk van de Zandschulp</I>
 
1344
<BR><I>2003-01-20</I>
 
1345
</ADDRESS>
 
1346
</BODY>
 
1347
</HTML>