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
下面我们就来画一下这个图