[图解]UML剖析《三体》歌者文明

1
00:00:01,250 --> 00:00:05,390
这个内容来自《软件方法》的第8章

2
00:00:05,560 --> 00:00:09,790
里面提到我们建立领域模型的时候

3
00:00:11,940 --> 00:00:13,030
有几种来源

4
00:00:13,240 --> 00:00:16,160
一种就是在需求规约之前

5
00:00:17,340 --> 00:00:18,980
可能我们会通过领域模型

6
00:00:18,990 --> 00:00:20,820
来整理我们的各种素材

7
00:00:21,940 --> 00:00:22,940
什么都可以整理

8
00:00:23,490 --> 00:00:25,890
所以我们举了一个比较极端的例子

9
00:00:26,560 --> 00:00:28,200
我们用《三体》的第三部

10
00:00:28,210 --> 00:00:31,540
死神永生，里面的一个片段为例

11
00:00:34,840 --> 00:00:44,110
谈到歌者的片段，说得很玄妙

12
00:00:47,130 --> 00:00:52,170
我们把里面的概念，把它标上红色

13
00:00:55,220 --> 00:00:56,680
这些概念

14
00:00:57,060 --> 00:00:58,610
然后进一步整理

15
00:00:59,900 --> 00:01:01,380
通过类图来整理

16
00:01:01,630 --> 00:01:04,370
我们就得到这样一个类图

17
00:01:07,510 --> 00:01:14,810
这个类图我们用到了类、属性、类的关系

18
00:01:14,820 --> 00:01:17,830
关系有泛化，有关联

19
00:01:20,180 --> 00:01:23,930
但是，要注意，我们没有用动态的依赖

20
00:01:24,220 --> 00:01:26,490
因为我们是领域建模

21
00:01:28,880 --> 00:01:30,450
没有说是信息系统里面的类

22
00:01:30,460 --> 00:01:34,110
动态的调用什么的

23
00:01:34,120 --> 00:01:39,920
只有在系统运行的过程中才会发生

24
00:01:40,410 --> 00:01:41,480
我们都是静态的

25
00:01:41,490 --> 00:01:47,200
包括你看这里，主核匹配这个，吞下这个，识别出这个

26
00:01:48,650 --> 00:01:49,960
这里是用静态的

27
00:01:49,970 --> 00:01:51,410
也就是说

28
00:01:52,700 --> 00:01:54,100
我们这个领域模型

29
00:01:54,110 --> 00:01:55,260
就可以看作是什么

30
00:01:57,110 --> 00:02:00,090
宇宙里面的一个系统记录下来的一切

31
00:02:01,920 --> 00:02:04,630
但是如果说我们想用一个信息系统

32
00:02:04,640 --> 00:02:05,750
来模拟它的话

33
00:02:06,320 --> 00:02:09,550
那么很可能这三个关联是不存在的

34
00:02:09,560 --> 00:02:11,230
我们系统并不需要记录

35
00:02:11,740 --> 00:02:14,740
主核跟位置模式、信息

36
00:02:14,750 --> 00:02:16,260
它们之间的静态关系

37
00:02:16,720 --> 00:02:19,060
而是只在运行的时候才会

38
00:02:19,460 --> 00:02:25,750
主核可能会把信息发给位置模式

39
00:02:26,350 --> 00:02:27,700
调用它的一个操作

40
00:02:28,380 --> 00:02:30,150
然后返回一个坐标

41
00:02:31,660 --> 00:02:33,290
就是让它识别出坐标

42
00:02:35,120 --> 00:02:38,900
那么主核和这三个都是动态的

43
00:02:41,100 --> 00:02:44,090
当然如果你要维护静态关系也可以

44
00:02:44,100 --> 00:02:46,050
但是就需要很大的空间

45
00:02:46,060 --> 00:02:47,690
来记录这所有的一切了

46
00:02:48,850 --> 00:02:50,970
如果是宇宙那个系统是可以的

47
00:02:51,620 --> 00:02:54,900
包括我们人类跟《三体》的通讯都被追查到

48
00:02:54,910 --> 00:02:57,060
这说明它有一个很大的数据库

49
00:02:57,070 --> 00:02:59,770
都把它记下来了，我们这里是没有

50
00:03:00,800 --> 00:03:01,870
我们做的系统

51
00:03:02,000 --> 00:03:03,160
是耗不起

52
00:03:03,170 --> 00:03:05,000
这么大的一个资源的

53
00:03:07,440 --> 00:03:08,480
我们还用了角色

54
00:03:08,570 --> 00:03:12,340
你看，母世界实际上是一个角色

55
00:03:12,350 --> 00:03:14,340
发送者实际上是一个角色

56
00:03:15,090 --> 00:03:16,890
发送者是低熵体

57
00:03:17,410 --> 00:03:20,860
三体人是低熵体，人类也是低熵体

58
00:03:20,950 --> 00:03:22,460
包括歌者也是低熵体

59
00:03:22,910 --> 00:03:24,580
低熵体就是生命的意思

60
00:03:25,100 --> 00:03:30,560
生命就是一种低熵体

61
00:03:31,620 --> 00:03:33,860
这里有个斜杠，表示

62
00:03:34,480 --> 00:03:36,140
表示这个可能是冗余的

63
00:03:36,440 --> 00:03:39,910
熵、有序度

64
00:03:39,920 --> 00:03:42,030
这两个可以互相推导

65
00:03:42,490 --> 00:03:44,950
熵增加，有序度就下降

66
00:03:45,740 --> 00:03:47,780
所以加一个斜杠，冗余的

67
00:03:48,610 --> 00:03:50,220
然后我们还用了枚举

68
00:03:50,230 --> 00:03:51,180
枚举类型

69
00:03:52,920 --> 00:03:55,320
基因类型，有隐藏的，清理的

70
00:03:56,020 --> 00:04:00,010
膜长类型，有中、长、轻、短

71
00:04:00,020 --> 00:04:01,450
变化趋势，上升，下降等等

72
00:04:03,540 --> 00:04:04,390
我们还可以看出来

73
00:04:04,400 --> 00:04:06,780
你看，我们这样整理概念之后

74
00:04:06,790 --> 00:04:08,260
我们还可以看出来

75
00:04:09,430 --> 00:04:12,270
这里面的知识分为4个区

76
00:04:13,260 --> 00:04:15,180
第一个区是宇宙变化的区

77
00:04:16,260 --> 00:04:17,210
宇宙怎么变的

78
00:04:18,660 --> 00:04:22,660
这跟你这个种族什么的关系不大

79
00:04:22,670 --> 00:04:23,820
它爱怎么变怎么变

80
00:04:24,590 --> 00:04:27,590
第二个，宇宙里面有哪些种族

81
00:04:28,170 --> 00:04:30,060
有哪些低熵体

82
00:04:31,040 --> 00:04:33,070
它们基因类型目前是什么样的

83
00:04:34,500 --> 00:04:35,190
这第二个

84
00:04:35,630 --> 00:04:37,890
第三个就是坐标的问题了

85
00:04:39,230 --> 00:04:40,290
有人发坐标

86
00:04:40,300 --> 00:04:41,890
然后被识别出来

87
00:04:42,480 --> 00:04:43,490
有人发信息

88
00:04:43,900 --> 00:04:46,260
其中的坐标信息被识别出来

89
00:04:47,900 --> 00:04:52,830
这是第三个，第四个就是星图，各个星星的位置

90
00:04:54,760 --> 00:04:56,990
这几个是互相不干扰的

91
00:04:57,410 --> 00:05:01,420
你看，即使这个不存在

92
00:05:03,400 --> 00:05:05,780
这个还在不在，还在

93
00:05:06,230 --> 00:05:07,770
这还在

94
00:05:07,780 --> 00:05:11,490
所以这个是什么

95
00:05:11,500 --> 00:05:14,670
这个是最不稳定的

96
00:05:14,680 --> 00:05:16,030
也是变化最大的

97
00:05:21,330 --> 00:05:24,160
通过这样来整理我们的领域知识