0
00:00:01,710 --> 00:00:04,682
首先我们来看它的位置
1
00:00:04,682 --> 00:00:07,655
这个包叫蒸馏器操作
2
00:00:07,655 --> 00:00:09,390
然后,控制器交互
3
00:00:10,080 --> 00:00:11,940
是一个序列图
4
00:00:12,940 --> 00:00:14,830
interaction这个
5
00:00:15,180 --> 00:00:16,560
交互
6
00:00:16,560 --> 00:00:18,400
这个的话
7
00:00:18,680 --> 00:00:20,021
应该怎么出来
8
00:00:20,021 --> 00:00:22,130
可能是这样出来的
9
00:00:23,160 --> 00:00:25,230
用例这里,添加
10
00:00:27,320 --> 00:00:29,879
然后添加interaction
11
00:00:29,879 --> 00:00:31,300
然后序列图
12
00:00:31,300 --> 00:00:34,712
但是你这里添加的序列图
13
00:00:34,712 --> 00:00:38,409
它默认应该是UML的序列图
14
00:00:38,409 --> 00:00:42,390
虽然这两个严格来说区别不大
15
00:00:42,930 --> 00:00:44,660
但是呢,我们还是要
16
00:00:46,110 --> 00:00:49,574
严谨一点,还是用SysML来画
17
00:00:49,574 --> 00:00:51,652
所以呢,我们怎么画
18
00:00:51,652 --> 00:00:53,500
你看,这个包叫什么
19
00:00:54,300 --> 00:00:56,105
是蒸馏器操作
20
00:00:56,105 --> 00:00:56,620
对吧
21
00:00:56,620 --> 00:00:56,878
22
00:00:56,878 --> 00:00:57,910
那我们来
23
00:00:58,300 --> 00:01:00,250
就在这里搞一个包吧
24
00:01:01,550 --> 00:01:02,950
添加一个包
25
00:01:05,930 --> 00:01:08,590
蒸馏器操作
26
00:01:13,770 --> 00:01:14,207
好
27
00:01:14,207 --> 00:01:15,520
然后呢
28
00:01:16,750 --> 00:01:18,277
创建一个图
29
00:01:18,277 --> 00:01:22,350
SysML 1.5,图的名字叫控制器交互
30
00:01:23,910 --> 00:01:24,188
31
00:01:24,188 --> 00:01:25,580
序列图
32
00:01:25,880 --> 00:01:26,585
好
33
00:01:26,585 --> 00:01:27,290
OK
34
00:01:30,210 --> 00:01:30,436
好
35
00:01:30,436 --> 00:01:31,114
双击它
36
00:01:31,114 --> 00:01:36,767
你看,就得到了一个这个,这里就没有interaction了
37
00:01:36,767 --> 00:01:40,160
因为我们是在这个包下面画嘛
38
00:01:40,620 --> 00:01:42,248
39
00:01:42,248 --> 00:01:44,420
除了这个地方不一样之外
40
00:01:45,320 --> 00:01:45,725
好
41
00:01:45,725 --> 00:01:46,940
我们看
42
00:01:47,470 --> 00:01:49,160
三个生命线
43
00:01:49,460 --> 00:01:51,043
操作人员
44
00:01:51,043 --> 00:01:53,260
控制面板、控制器
45
00:01:53,870 --> 00:01:55,715
这两个是没有的
46
00:01:55,715 --> 00:01:57,100
要加上去
47
00:01:57,520 --> 00:01:58,910
那我们就要
48
00:01:59,790 --> 00:02:02,000
到这个
49
00:02:02,600 --> 00:02:04,370
块定义图
50
00:02:04,920 --> 00:02:07,530
这边来找了
51
00:02:07,930 --> 00:02:09,451
来把它加上去
52
00:02:09,451 --> 00:02:10,972
应该是这里
53
00:02:10,972 --> 00:02:12,928
这有个块定义图是吧
54
00:02:12,928 --> 00:02:13,580
BDD
55
00:02:14,370 --> 00:02:15,880
我们给它加上去
56
00:02:18,390 --> 00:02:21,560
怎么加
57
00:02:21,840 --> 00:02:24,098
这完全是我们推测出来的
58
00:02:24,098 --> 00:02:26,357
书上就没有详细讲了
59
00:02:26,357 --> 00:02:30,259
我们推测应该在这里加,控制面板,控制器
60
00:02:30,259 --> 00:02:30,670
对吧
61
00:02:31,380 --> 00:02:31,581
62
00:02:31,581 --> 00:02:32,590
Block
63
00:02:33,230 --> 00:02:35,190
叫控制面板
64
00:02:36,360 --> 00:02:38,610
然后,另外一个叫做
65
00:02:39,020 --> 00:02:39,980
控制器
66
00:02:41,110 --> 00:02:41,450
67
00:02:41,450 --> 00:02:43,490
它跟这个就是
68
00:02:45,450 --> 00:02:47,730
组合这个
69
00:02:48,460 --> 00:02:48,736
70
00:02:48,736 --> 00:02:49,840
组合这个
71
00:02:52,460 --> 00:02:54,120
就这么简单画一下吧
72
00:02:55,110 --> 00:02:55,320
73
00:02:55,320 --> 00:02:56,160
这样来
74
00:02:58,400 --> 00:02:58,685
好
75
00:02:58,685 --> 00:02:59,827
这里有了
76
00:02:59,827 --> 00:03:00,970
我们回到
77
00:03:01,250 --> 00:03:02,350
序列图
78
00:03:04,220 --> 00:03:06,240
那首先我们来看
79
00:03:10,470 --> 00:03:12,712
第一个上来的,操作人员
80
00:03:12,712 --> 00:03:14,140
操作人员在哪里
81
00:03:14,690 --> 00:03:14,899
82
00:03:14,899 --> 00:03:16,364
在这个用例这里
83
00:03:16,364 --> 00:03:16,783
对吧
84
00:03:16,783 --> 00:03:17,830
这个拖上来
85
00:03:18,850 --> 00:03:21,180
选生命线
86
00:03:22,280 --> 00:03:23,220
OK
87
00:03:23,500 --> 00:03:24,674
这是一个
88
00:03:24,674 --> 00:03:26,730
然后第二个就是
89
00:03:27,010 --> 00:03:28,630
控制面板
90
00:03:28,940 --> 00:03:29,213
91
00:03:29,213 --> 00:03:30,580
控制面板这里
92
00:03:31,780 --> 00:03:32,920
拖上来
93
00:03:38,020 --> 00:03:39,700
然后它前面有个名字
94
00:03:39,700 --> 00:03:41,885
这个名字就是实例的名字
95
00:03:41,885 --> 00:03:42,390
我们叫
96
00:03:43,140 --> 00:03:45,280
用户界面
97
00:03:49,460 --> 00:03:51,190
这里嘛,用户界面
98
00:03:52,370 --> 00:03:54,130
然后上来一个控制器
99
00:03:54,130 --> 00:03:55,890
实例名字,热:阀门
100
00:03:56,170 --> 00:03:57,750
一样,控制器
101
00:04:03,990 --> 00:04:06,520
然后这个名字叫热
102
00:04:07,450 --> 00:04:08,800
阀门
103
00:04:12,980 --> 00:04:13,209
好
104
00:04:13,209 --> 00:04:14,816
这三个都有了
105
00:04:14,816 --> 00:04:18,030
接下来就是它们之间的消息了
106
00:04:19,590 --> 00:04:21,841
那这个图上实际上是有点问题的
107
00:04:21,841 --> 00:04:23,530
应该是这个是1
108
00:04:23,850 --> 00:04:24,089
109
00:04:24,089 --> 00:04:27,437
这个人去按开关之后
110
00:04:27,437 --> 00:04:29,350
它这边才传到后面
111
00:04:29,350 --> 00:04:31,024
界面才传到后面
112
00:04:31,024 --> 00:04:31,742
113
00:04:31,742 --> 00:04:35,090
这里是1,可能是画图的时候
114
00:04:35,090 --> 00:04:37,960
不小心把那个顺序给颠倒了
115
00:04:39,120 --> 00:04:41,130
顺序颠倒之后呢
116
00:04:42,540 --> 00:04:44,695
截图的时候也没注意看
117
00:04:44,695 --> 00:04:45,953
就直接截下来了
118
00:04:45,953 --> 00:04:47,570
那我们把它调整一下
119
00:04:48,910 --> 00:04:50,020
首先
120
00:04:50,430 --> 00:04:52,150
画过来
121
00:04:53,420 --> 00:04:56,650
这个消息
122
00:04:57,750 --> 00:04:58,200
123
00:04:58,200 --> 00:04:59,100
叫做
124
00:05:00,410 --> 00:05:01,900
激活
125
00:05:02,570 --> 00:05:04,550
启动开关
126
00:05:08,470 --> 00:05:10,983
那我们这里的序号是1.0
127
00:05:10,983 --> 00:05:11,950
它这上面是
128
00:05:13,270 --> 00:05:15,424
1234,这个怎么调
129
00:05:15,424 --> 00:05:16,716
我也不知道了
130
00:05:16,716 --> 00:05:18,439
你看,它是这样过来
131
00:05:18,439 --> 00:05:19,085
132
00:05:19,085 --> 00:05:21,024
1,.1,应该是
133
00:05:21,024 --> 00:05:21,240
134
00:05:21,520 --> 00:05:23,280
然后这个是初始化
135
00:05:29,620 --> 00:05:30,270
136
00:05:30,900 --> 00:05:31,910
这样来
137
00:05:32,980 --> 00:05:34,410
那我们来看一下
138
00:05:35,280 --> 00:05:37,220
这里是没有括号的
139
00:05:37,620 --> 00:05:37,861
140
00:05:37,861 --> 00:05:39,070
没有括号的
141
00:05:39,360 --> 00:05:40,594
那这个怎么选
142
00:05:40,594 --> 00:05:42,181
因为你参数不写的话
143
00:05:42,181 --> 00:05:43,415
这括号就冗余嘛
144
00:05:43,415 --> 00:05:44,826
如果说里面有参数
145
00:05:44,826 --> 00:05:47,118
你这个括号要有,没有参数的话
146
00:05:47,118 --> 00:05:49,234
不写参数你括号就不要了
147
00:05:49,234 --> 00:05:51,350
所以我们这个图的属性这里
148
00:05:53,140 --> 00:05:53,860
149
00:05:54,140 --> 00:05:54,366
150
00:05:54,366 --> 00:05:55,047
说一下
151
00:05:55,047 --> 00:05:57,542
就是说,如果没有参数的话
152
00:05:57,542 --> 00:05:58,450
就把它给
153
00:05:58,910 --> 00:05:59,840
消掉
154
00:06:00,920 --> 00:06:01,880
155
00:06:03,550 --> 00:06:03,732
156
00:06:03,732 --> 00:06:04,827
括号就没有了
157
00:06:04,827 --> 00:06:05,192
对吧
158
00:06:05,192 --> 00:06:06,470
那我们看下一个
159
00:06:07,460 --> 00:06:08,170
第三条
160
00:06:08,170 --> 00:06:09,590
然后这是什么
161
00:06:10,900 --> 00:06:12,070
162
00:06:13,830 --> 00:06:15,430
电源灯开
163
00:06:16,050 --> 00:06:16,861
164
00:06:16,861 --> 00:06:17,131
165
00:06:17,131 --> 00:06:19,294
这是一个虚线的
166
00:06:19,294 --> 00:06:21,727
表示是数据的流动
167
00:06:21,727 --> 00:06:23,620
那这个怎么表达
168
00:06:24,070 --> 00:06:25,580
照样画过来
169
00:06:26,800 --> 00:06:27,585
然后呢
170
00:06:27,585 --> 00:06:28,370
这个是
171
00:06:29,810 --> 00:06:31,340
电源灯
172
00:06:35,630 --> 00:06:36,430
开
173
00:06:38,240 --> 00:06:38,480
174
00:06:38,480 --> 00:06:40,160
但是这是实线
175
00:06:40,440 --> 00:06:41,930
我们把它
176
00:06:42,210 --> 00:06:43,430
变成虚线的
177
00:06:43,710 --> 00:06:45,260
在哪里,往上走
178
00:06:46,260 --> 00:06:51,650
把这个IsReturn这个,它出不全,实际上是return
179
00:06:51,930 --> 00:06:53,020
这个勾上
180
00:06:55,920 --> 00:06:56,270
181
00:06:56,270 --> 00:06:56,970
这样
182
00:06:57,610 --> 00:06:59,030
电源灯开
183
00:06:59,380 --> 00:07:01,040
然后看下一条
184
00:07:02,010 --> 00:07:02,910
第四条
185
00:07:02,910 --> 00:07:03,810
然后就
186
00:07:04,150 --> 00:07:05,266
这个就启动了
187
00:07:05,266 --> 00:07:05,639
对吧
188
00:07:05,639 --> 00:07:05,825
189
00:07:05,825 --> 00:07:06,570
就启动
190
00:07:07,920 --> 00:07:10,130
然后第四条它就
191
00:07:10,930 --> 00:07:13,518
启动,启动是自己指自己
192
00:07:13,518 --> 00:07:14,460
193
00:07:14,740 --> 00:07:15,930
自己指自己
194
00:07:25,680 --> 00:07:26,640
启动
0
00:00:00,970 --> 00:00:01,378
好
1
00:00:01,378 --> 00:00:03,830
我们看,下一条
2
00:00:04,210 --> 00:00:04,740
3
00:00:04,740 --> 00:00:05,800
就是
4
00:00:07,750 --> 00:00:08,652
操作灯
5
00:00:08,652 --> 00:00:11,358
它这里叫运行灯
6
00:00:11,358 --> 00:00:12,260
运行灯
7
00:00:12,540 --> 00:00:16,032
叫操作灯好了
8
00:00:16,032 --> 00:00:16,570
操作
9
00:00:17,440 --> 00:00:18,283
应该说
10
00:00:18,283 --> 00:00:20,531
操作中的灯开
11
00:00:20,531 --> 00:00:20,812
12
00:00:20,812 --> 00:00:22,780
我们叫操作灯开
13
00:00:29,750 --> 00:00:31,620
同样,这个是
14
00:00:31,900 --> 00:00:33,780
操作灯
15
00:00:36,090 --> 00:00:36,750
开
16
00:00:40,120 --> 00:00:40,920
好
17
00:00:42,040 --> 00:00:43,000
下一个
18
00:00:45,300 --> 00:00:46,593
第六条
19
00:00:46,593 --> 00:00:47,240
这是
20
00:00:47,520 --> 00:00:49,657
我们先把消息画出来
21
00:00:49,657 --> 00:00:51,152
先画出来,这框
22
00:00:51,152 --> 00:00:53,290
一会儿再加,高水位灯亮
23
00:01:19,570 --> 00:01:21,710
第七条,低水位灯亮
24
00:01:22,920 --> 00:01:26,460
然后,排空灯亮
25
00:01:27,170 --> 00:01:27,880
灯开
26
00:01:27,880 --> 00:01:29,300
应该是灯开
27
00:01:29,870 --> 00:01:30,980
灯开
28
00:01:41,010 --> 00:01:42,070
这是
29
00:01:44,760 --> 00:01:46,130
低水位
30
00:01:46,950 --> 00:01:47,640
31
00:01:49,130 --> 00:01:49,730
32
00:02:02,880 --> 00:02:03,450
下一点
33
00:02:13,520 --> 00:02:15,200
排空灯
34
00:02:17,450 --> 00:02:18,040
开
35
00:02:21,690 --> 00:02:22,590
还有吗
36
00:02:24,870 --> 00:02:25,660
好
37
00:02:27,650 --> 00:02:28,974
这是一个回合
38
00:02:28,974 --> 00:02:29,415
对吧
39
00:02:29,415 --> 00:02:30,960
第二个回合,你看
40
00:02:31,240 --> 00:02:32,330
那个
41
00:02:33,040 --> 00:02:34,200
激活
42
00:02:35,420 --> 00:02:37,630
关闭的开关
43
00:02:38,000 --> 00:02:39,880
一样,这里过来
44
00:02:47,740 --> 00:02:48,970
激活
45
00:02:49,600 --> 00:02:51,070
关闭开关
46
00:02:56,470 --> 00:02:57,510
关闭
47
00:03:11,430 --> 00:03:14,550
然后是操作灯关
48
00:03:15,380 --> 00:03:16,200
关闭
49
00:03:16,480 --> 00:03:17,770
所有灯关
50
00:03:24,280 --> 00:03:25,260
小一点
51
00:04:23,870 --> 00:04:24,880
好,齐了
52
00:04:24,880 --> 00:04:25,400
53
00:04:26,140 --> 00:04:28,920
现在呢,就要加上
54
00:04:29,210 --> 00:04:30,306
控制框
55
00:04:30,306 --> 00:04:33,047
你看,这里到这里,循环
56
00:04:33,047 --> 00:04:34,966
循环条件是状态
57
00:04:34,966 --> 00:04:37,160
等于“操作中”的时候
58
00:04:37,740 --> 00:04:38,007
59
00:04:38,007 --> 00:04:39,880
然后下面有分支
60
00:04:40,470 --> 00:04:41,160
61
00:04:41,850 --> 00:04:44,607
条件如果level等于这个的话
62
00:04:44,607 --> 00:04:45,880
怎么样怎么样
63
00:04:45,880 --> 00:04:47,790
那我们就照抄上去
64
00:04:48,070 --> 00:04:50,040
首先我们给它先加一个
65
00:04:51,310 --> 00:04:52,009
分支
66
00:04:52,009 --> 00:04:53,640
这三个有分支
67
00:04:54,730 --> 00:04:55,600
往下挪一点
68
00:05:09,390 --> 00:05:10,420
加一个
69
00:05:12,150 --> 00:05:12,573
fragment
70
00:05:12,573 --> 00:05:14,480
这里加一个这个
71
00:05:19,410 --> 00:05:22,270
这个我们叫什么
72
00:05:22,710 --> 00:05:22,927
73
00:05:22,927 --> 00:05:24,664
这就没有名字了
74
00:05:24,664 --> 00:05:25,967
名字就不要
75
00:05:25,967 --> 00:05:27,487
它有三个条件
76
00:05:27,487 --> 00:05:28,790
第一个条件是
77
00:05:29,640 --> 00:05:31,570
level等于这个
78
00:05:36,040 --> 00:05:36,208
79
00:05:36,208 --> 00:05:36,880
这是一个
80
00:05:38,280 --> 00:05:39,540
另外一个是
81
00:05:46,230 --> 00:05:47,500
低水位的
82
00:05:50,850 --> 00:05:52,520
这个第三个
83
00:05:54,640 --> 00:05:57,500
状态等于这个
84
00:05:59,570 --> 00:06:01,940
这个纯粹胡说八道
85
00:06:02,510 --> 00:06:05,090
你状态等于那个,又等于这个
86
00:06:07,210 --> 00:06:08,230
我们这是
87
00:06:08,930 --> 00:06:11,599
看这个图怎么表示就行了
88
00:06:11,599 --> 00:06:12,844
学习画图就行了
89
00:06:12,844 --> 00:06:13,912
内容的话
90
00:06:13,912 --> 00:06:15,870
到后面都有点乱七八糟的
91
00:06:25,390 --> 00:06:25,590
92
00:06:25,590 --> 00:06:26,794
正在排空残渣
93
00:06:26,794 --> 00:06:28,400
我们用汉字吧
94
00:06:37,840 --> 00:06:39,270
用汉字
95
00:06:45,310 --> 00:06:46,140
这边叫
96
00:06:47,510 --> 00:06:48,520
水位
97
00:06:49,070 --> 00:06:49,263
98
00:06:49,263 --> 00:06:50,616
我们的变量等等
99
00:06:50,616 --> 00:06:52,356
如果编程语言允许
100
00:06:52,356 --> 00:06:54,290
我们也应该尽量用我们
101
00:06:54,780 --> 00:06:55,041
102
00:06:55,041 --> 00:06:57,390
汉字和中文来表达
103
00:07:08,870 --> 00:07:09,818
高、低
104
00:07:09,818 --> 00:07:11,240
105
00:07:13,430 --> 00:07:14,133
三个
106
00:07:14,133 --> 00:07:16,010
我们把它搞大一点
107
00:07:17,100 --> 00:07:17,394
好
108
00:07:17,394 --> 00:07:18,570
把它往下
109
00:07:19,310 --> 00:07:20,010
110
00:07:37,970 --> 00:07:39,250
我们看看
111
00:07:39,600 --> 00:07:40,510
这三个
112
00:07:41,120 --> 00:07:42,040
113
00:07:43,020 --> 00:07:44,490
这个、这个、这个
114
00:07:44,900 --> 00:07:45,610
可以
115
00:07:50,000 --> 00:07:50,230
116
00:07:50,230 --> 00:07:51,150
实际上应该是
117
00:07:51,710 --> 00:07:52,903
==
118
00:07:52,903 --> 00:07:55,290
两个等号
119
00:07:55,570 --> 00:07:56,900
这个我们先不管了
120
00:07:57,610 --> 00:07:57,909
好
121
00:07:57,909 --> 00:08:00,303
再加一个循环的
122
00:08:00,303 --> 00:08:01,500
在这里加
123
00:08:04,490 --> 00:08:07,671
那这里就不是分支了
124
00:08:07,671 --> 00:08:08,406
是循环
125
00:08:08,406 --> 00:08:09,630
加上这个
126
00:08:10,140 --> 00:08:10,594
循环
127
00:08:10,594 --> 00:08:12,413
然后给它一个条件
128
00:08:12,413 --> 00:08:13,550
什么条件
129
00:08:14,200 --> 00:08:15,260
就是
130
00:08:17,820 --> 00:08:20,950
当状态为操作中
131
00:08:32,040 --> 00:08:32,334
好
132
00:08:32,334 --> 00:08:33,510
然后把它
133
00:08:34,340 --> 00:08:35,560
拖到这里
134
00:09:00,200 --> 00:09:00,533
好
135
00:09:00,533 --> 00:09:02,200
看对不对
136
00:09:03,930 --> 00:09:05,240
对的,就这样
137
00:09:07,590 --> 00:09:07,771
138
00:09:07,771 --> 00:09:09,038
这样画就可以
139
00:09:09,038 --> 00:09:09,400
140
00:09:11,640 --> 00:09:13,890
序列图就这样画