1
00:00:02,320 --> 00:00:07,610
接下來，我們看下一步指定黑盒系統需求
2
00:00:08,790 --> 00:00:10,490
就是說，把這個系統
3
00:00:11,880 --> 00:00:15,810
我們的目標系統，ESS，看成黑盒
4
00:00:18,030 --> 00:00:22,850
然后從外部來觀察它有什么行為
5
00:00:22,860 --> 00:00:23,850
有什么特征
6
00:00:24,530 --> 00:00:27,860
系統的外部可觀察行為和物理特征
7
00:00:30,010 --> 00:00:32,440
也就是說，就變成這個系統的屬性
8
00:00:34,260 --> 00:00:35,230
還有行為
9
00:00:38,140 --> 00:00:41,800
我們來看，它是圖18.19
10
00:00:41,970 --> 00:00:43,120
前面我們見過了
11
00:00:43,130 --> 00:00:47,100
但是剛才是和內部塊圖對比的
12
00:00:48,150 --> 00:00:49,960
現在我們再來仔細看一下
13
00:00:49,970 --> 00:00:52,790
這個圖18.19，ESS黑盒規約
14
00:00:53,040 --> 00:00:58,160
這是一個BDD。塊定義圖
15
00:00:59,280 --> 00:01:01,880
放在2-結構這個包里面
16
00:01:02,250 --> 00:01:03,520
這是圖的名字了
17
00:01:03,530 --> 00:01:05,480
ESS黑盒規約，就是這個了
18
00:01:06,910 --> 00:01:11,370
里面實際上就是一個block
19
00:01:12,340 --> 00:01:13,050
就一個block
20
00:01:13,960 --> 00:01:18,820
ESS，然后這里分了很多欄
21
00:01:19,610 --> 00:01:25,540
很多分欄，有引用，值，類元操作，代理端口
22
00:01:26,550 --> 00:01:27,670
當然不止這么多分欄
23
00:01:27,680 --> 00:01:32,510
就是說，它有哪些這些內容
24
00:01:33,160 --> 00:01:36,030
如果該分欄有相關內容
25
00:01:36,480 --> 00:01:39,240
那么在分欄上就會出現這些東西
26
00:01:39,250 --> 00:01:40,960
沒有的話，它會隱藏起來
27
00:01:45,250 --> 00:01:46,000
引用是什么
28
00:01:46,290 --> 00:01:51,520
相當于我們面向對象建模的時候
29
00:01:51,530 --> 00:01:54,560
引用關聯
30
00:01:55,130 --> 00:01:56,820
一會我們操作的時候可以看到
31
00:01:57,920 --> 00:02:00,910
值就是跟引用相對的了
32
00:02:02,080 --> 00:02:06,680
引用是說我擁有你的一個標識
33
00:02:08,560 --> 00:02:10,840
但是你這獨立于我，在外面
34
00:02:11,090 --> 00:02:14,880
值就是你是我的一個值
35
00:02:15,090 --> 00:02:16,360
類元的行為
36
00:02:16,670 --> 00:02:20,840
ESS運營的狀態
37
00:02:21,090 --> 00:02:21,720
一個狀態機（的構造型）
38
00:02:21,730 --> 00:02:26,050
操作相當于系統的功能需求
39
00:02:26,060 --> 00:02:28,410
系統的行為，系統做什么
40
00:02:28,420 --> 00:02:29,170
系統做什么
41
00:02:30,950 --> 00:02:33,540
就是我們需求寫的系統做什么
42
00:02:34,340 --> 00:02:36,540
代理端口，我們上一個圖的時候
43
00:02:36,550 --> 00:02:41,560
我們說了，ESS上面的一些端口
44
00:02:43,840 --> 00:02:44,990
這里有一些構造型
1
00:00:00,910 --> 00:00:03,610
我們看這幾個構造型，這個store
2
00:00:03,900 --> 00:00:06,400
就是存儲的意思
3
00:00:07,370 --> 00:00:10,440
就表示這些是必須存儲的內容
4
00:00:11,350 --> 00:00:12,660
包括數據
5
00:00:12,670 --> 00:00:14,940
包括能量、質量
6
00:00:16,820 --> 00:00:19,300
下面這里有個mop
7
00:00:19,470 --> 00:00:21,470
就是measures of
8
00:00:21,760 --> 00:00:22,520
performance
9
00:00:24,080 --> 00:00:26,510
性能的度量
10
00:00:26,720 --> 00:00:29,630
實際上就是性能和質量特征
11
00:00:30,940 --> 00:00:33,720
它是通過一些值來表達的
12
00:00:33,930 --> 00:00:36,240
這個值就是我們定義的
13
00:00:36,250 --> 00:00:38,000
之前我們定義的值類型
14
00:00:40,760 --> 00:00:48,520
下面這個一樣的，這樣下來
15
00:00:50,440 --> 00:00:52,910
這兩個要標一下
16
00:00:54,130 --> 00:00:54,800
構造型
17
00:00:56,940 --> 00:00:59,090
下面我們就來畫一下這個圖
