This is the reason why we model these blocks as property-specifi c types.
FIGURE 2-90
Deriving test cases.
act Start car usage [section]
[customer not identified]
[customer identified]
?«essential?»
Identify
customer
Customer
?«precondition?» Car not in use
TC1
TC2
FIGURE 2-91
Using a verify relationship.
req [package] Requirements [context car usage without staff]
?«requirement?»
Car usage without
staff
Start car usage
?«refine?»
?«block?»
On-board
computer control
?«satisfy?»
?«testCase?»
TC1: Customer
not identified
?«testCase?»
TC2: Customer
identified
?«verify?»
?«verify?»
134 CHAPTER 2 The Pragmatic SYSMOD Approach
2.8.4 The System of Systems
If you want to consistently model systems that, in turn, consist of systems, you have
to pay special attention to the model transitions. The reason is that, in this case, the
model of your entire system consists of fragments which form an independent
model from the view of other projects. What you have is a model of models ( MoM ).
What may be an independent system for you from the view of your project
may be ??? only ??? one block out of many for another project.
Pages:
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288