[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统

admin2024-08-23  14

[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统,第1张[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统,第2张[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统,第3张1
00:00:00,220 --> 00:00:03,580
然后我们看初始这里

2
00:00:03,590 --> 00:00:09,500
有一个指向它的一个迁移的事件

3
00:00:09,710 --> 00:00:13,730
站点可用,这个实际上是错误的

4
00:00:14,020 --> 00:00:15,050
这不是事件

5
00:00:15,900 --> 00:00:18,630
初始状态指向某个

6
00:00:18,640 --> 00:00:20,900
初始只是一个标志

7
00:00:23,010 --> 00:00:24,410
一个缺省的标志

8
00:00:25,000 --> 00:00:26,840
刚才我们讲解的时候也说了

9
00:00:27,520 --> 00:00:31,150
它指向某个状态的中间不能有事件

10
00:00:32,160 --> 00:00:33,410
但是可以有什么

11
00:00:34,060 --> 00:00:35,090
可以有条件

12
00:00:37,830 --> 00:00:40,750
A条件满足,就默认是那个状态

13
00:00:41,150 --> 00:00:42,500
B条件满足那个状态可以

14
00:00:42,510 --> 00:00:43,540
但不能有事件

15
00:00:43,710 --> 00:00:44,820
实际上这个是错的

16
00:00:48,080 --> 00:00:50,310
所以这个地方你可以加个条件

17
00:00:50,320 --> 00:00:53,110
但这个条件本身又有问题

18
00:00:53,120 --> 00:00:54,150
你如果有了这个

19
00:00:54,520 --> 00:00:57,170
比如说,站点可得,可用

20
00:00:57,970 --> 00:01:00,670
这个条件指向这个

21
00:01:00,680 --> 00:01:01,710
那你还得回答

22
00:01:02,180 --> 00:01:04,780
站点不可用,是哪一个

23
00:01:05,900 --> 00:01:11,030
所以这个图本身,很多地方是欠考虑的

24
00:01:11,040 --> 00:01:14,230
包括第17章,整个都有这个问题

25
00:01:14,520 --> 00:01:19,360
我们细究下去就会发现很多这种问题

26
00:01:19,450 --> 00:01:22,710
可能作者本身,因为它是不同的作者写的

27
00:01:23,320 --> 00:01:25,870
作者本身的话对这方面可能不是很熟悉

28
00:01:27,950 --> 00:01:35,610
我觉得比第16章水平要稍微有差别

29
00:01:37,950 --> 00:01:45,740
我们把它改成条件

30
00:01:48,710 --> 00:01:50,530
画过来,迁移

31
00:01:51,890 --> 00:01:54,490
然后我们把条件写在这里

32
00:01:55,230 --> 00:01:57,700
站点可用

33
00:02:04,310 --> 00:02:08,580
这个也是一样

34
00:02:09,030 --> 00:02:10,980
这个也是,我们把它改成条件

35
00:02:11,610 --> 00:02:12,880
站点不可用

36
00:02:20,230 --> 00:02:22,930
不把它作为迁移的事件

37
00:02:24,280 --> 00:02:27,350
这样来,下一个

38
00:02:27,360 --> 00:02:29,510
这里,电源关

39
00:02:29,520 --> 00:02:33,190
发生开机的事件就指向这里

40
00:02:42,440 --> 00:02:51,150
事件写在这里,开机,还有什么

41
00:02:52,930 --> 00:02:55,200
断电中,指向它就不需要事件了

42
00:02:55,370 --> 00:02:57,000
就是说,这里面一旦做完了

43
00:02:57,210 --> 00:03:01,000
所以断电中里面肯定会有一些活动

44
00:03:01,290 --> 00:03:02,360
有一些do活动

45
00:03:03,240 --> 00:03:08,430
在这里面,同样,上电中做完了

46
00:03:08,440 --> 00:03:09,750
不需要任何事件

47
00:03:09,920 --> 00:03:13,370
直接就自己迁移到电源开

48
00:03:15,510 --> 00:03:16,520
而电源开这里

49
00:03:16,530 --> 00:03:17,690
发生一个什么

50
00:03:24,680 --> 00:03:32,930
关机的事件

51
00:03:33,890 --> 00:03:36,010
就进入断电中

52
00:03:36,420 --> 00:03:39,730
挪过来一点

53
00:03:44,090 --> 00:03:50,960
好,这个是第一个层面上的状态了

54
00:03:51,640 --> 00:03:53,310
接下来就要去搞这里面了

55
00:03:54,390 --> 00:03:56,830
首先我们来看

56
00:03:58,280 --> 00:04:00,350
分区怎么样来添加

57
00:04:00,560 --> 00:04:01,910
我们前面讲解

58
00:04:02,750 --> 00:04:05,350
也提到了分区的问题,怎么添加

59
00:04:06,030 --> 00:04:06,810
我们来看一下

1
00:00:00,880 --> 00:00:01,840
分区怎么加

2
00:00:02,370 --> 00:00:06,330
右键点要加分区的状态

3
00:00:07,040 --> 00:00:11,840
这里,定义并发的子状态

4
00:00:13,020 --> 00:00:18,450
这个地方,然后,这个是写分区的名字了

5
00:00:18,930 --> 00:00:20,370
我们看,我们这个叫什么

6
00:00:27,930 --> 00:00:30,810
我们这个,首先第一个叫电源管理

7
00:00:46,070 --> 00:00:47,090
再多定义几个

8
00:00:48,540 --> 00:00:49,660
激活-停用

9
00:00:56,230 --> 00:00:59,560
还有入侵者监控,火灾监控,故障监控

10
00:01:27,800 --> 00:01:28,110

11
00:01:31,000 --> 00:01:32,550
在这里,就5个分区了

12
00:01:33,940 --> 00:01:35,370
我们把它拉开一点

13
00:01:38,820 --> 00:01:39,580
下面也拉开

14
00:02:05,880 --> 00:02:11,000
好,我们看,首先,电源管理这里,有两个状态

15
00:02:11,210 --> 00:02:13,120
一个主电源,辅助电源

16
00:02:14,960 --> 00:02:17,090
当然这样的名字是不太合适的

17
00:02:17,750 --> 00:02:19,900
我们说前面讲那个名字的时候

18
00:02:19,910 --> 00:02:21,950
说是什么,形容词

19
00:02:21,960 --> 00:02:22,750
应该叫什么

20
00:02:23,710 --> 00:02:29,510
正在用主电源,或者主电源上线中

21
00:02:30,570 --> 00:02:33,050
或者辅助电源上线中

22
00:02:33,220 --> 00:02:41,820
主电源

23
00:02:41,830 --> 00:02:47,790
辅助电源

24
00:02:48,000 --> 00:02:50,620
辅电源

25
00:03:00,680 --> 00:03:05,570
然后它们中间就有选择辅电源

26
00:03:05,580 --> 00:03:06,450
选择主电源

27
00:03:15,250 --> 00:03:18,230
选择辅电源

28
00:03:34,810 --> 00:03:35,960
选择主电源

29
00:03:41,610 --> 00:03:46,310
然后它的缺省是主电源

30
00:03:47,950 --> 00:03:48,330
这里

31
00:04:00,700 --> 00:04:02,820
这是第一个分区了,我们看第二个分区

32
00:04:04,650 --> 00:04:05,760
激活-停用

33
00:04:07,560 --> 00:04:10,240
这个是已停用,已激活

34
00:04:11,720 --> 00:04:14,350
但这里你看,它这里有一个参数

35
00:04:15,740 --> 00:04:16,900
选择激活

36
00:04:16,910 --> 00:04:19,220
然后这里开,这里关

37
00:04:20,160 --> 00:04:24,450
它用的是一个中括号

38
00:04:24,580 --> 00:04:27,750
它应该是普通的括号,因为是参数

39
00:04:28,010 --> 00:04:32,710
中括号指的是警戒条件

40
00:04:34,040 --> 00:04:36,150
它这里不是警戒条件,应该是参数

41
00:04:36,160 --> 00:04:39,480
所以我们把它改一下

42
00:04:42,530 --> 00:04:45,160
这个,已停用

43
00:04:47,040 --> 00:04:47,680
往下一点

44
00:05:00,430 --> 00:05:01,340
已激活

45
00:05:06,970 --> 00:05:11,690
然后过来是选择激活

46
00:05:11,700 --> 00:05:21,250
实际上这里有个参数

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明原文出处。如若内容造成侵权/违法违规/事实不符,请联系SD编程学习网:675289112@qq.com进行投诉反馈,一经查实,立即删除!