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