19
19This corresponds to the State Latch pattern in [12].
FIGURE 2-84
A sequence diagram with states.
sd [block] On-board computer [standard flow start car usage]
:Card reader :On-board
computer control
:Customer card
Card data Card data
Customer
card
Unlock car
passive idle free
Usage
handover
in
use
ref
Check usage right
ref
Check disposal right
ref
Start car usage
128 CHAPTER 2 The Pragmatic SYSMOD Approach
Only little is missing now to take this machine to execution in a modeling tool
with the corresponding capabilities. Simulating the system behavior is a fascinating
aspect. However, before you get to work you have to defi ne the goals you want to
achieve with the simulation. These goals determine the system areas you are looking
at in the simulation, and the kind of state modeling.
2.8 Marginal Notes
Marginal notes complete the approach chapter. This final section discusses a few
topics that support our modeling effort, including variant management or modeling
patterns, and topics such as testing that should not be left unmentioned, but
which would go beyond the scope and volume of this book if I were to discuss
them in detail.
Pages:
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279