1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
package UseCaseTest {
part def System;
part def User;
use case def UseSystem {
subject system : System;
actor user : User;
objective {
/* Goal */
}
include use case uc1 : UC1;
include use case uc2 {
subject = system;
actor user = UseSystem::user;
}
}
use case def UC1;
part user : User;
use case uc2 {
subject;
actor :>> user;
}
use case u : UseSystem;
part system : System {
include uc2;
perform u;
use case uc1 : UC1;
}
use case uc3 {
include u;
include system.uc1;
}
}