公开(公告)号：CN104679510B

公开(公告)日：2018-04-20

申请号：CN201510067946.4

申请日：2015-02-09

Applicant: 北京交通大学

Inventor： 郑伟 ,  杨凌云 ,  吴道华 ,  吴可 ,  赵林 ,  唐涛

IPC: G06F9/44

Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括：构造安全苛求系统的UML类图模型，UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系，使用了构造型来扩展模型元素语义；将UML类图模型保存为设定格式的文件，按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析，提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息，基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去，实现了系统设计模型与系统安全模型之间的自动转换，可以有效地克服安全苛求系统的设计型故障。

公开(公告)号：CN104679510A

公开(公告)日：2015-06-03

申请号：CN201510067946.4

申请日：2015-02-09

Applicant: 北京交通大学

Inventor： 郑伟 ,  杨凌云 ,  吴道华 ,  吴可 ,  赵林 ,  唐涛

IPC: G06F9/44

Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括：构造安全苛求系统的UML类图模型，UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系，使用了构造型来扩展模型元素语义；将UML类图模型保存为设定格式的文件，按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析，提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息，基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去，实现了系统设计模型与系统安全模型之间的自动转换，可以有效地克服安全苛求系统的设计型故障。

公开(公告)号：CN108717625B

公开(公告)日：2022-05-20

申请号：CN201810522440.1

申请日：2018-05-28

Applicant: 北京交通大学

Inventor： 郑伟 ,  吴可

IPC: G06Q10/10 ,  G06F16/18 ,  G06F16/2458

Abstract: 本发明提供了一种铁路电务工作流的生成方法。包括：从信息系统记录的事件日志中检测直接循环结构；根据直接循环检测结果，对事件日志进行解耦合处理；从解耦合处理后的事件日志中检测间接关联结构；对间接关联检测结果进行去冗余处理；从解耦合处理后的事件日志中检测直接关联结构；根据次序关系构造连接库所；根据连接库所构造有向弧集合。最后，根据变迁、连接库所和有向弧集合生成铁路电务工作流模型。本发明实施例对事件日志进行次序关系检测，对电务生产活动进行建模，使得工作流引擎能被模型驱动，可以有效地生成铁路电务工作流。

公开(公告)号：CN108717625A

公开(公告)日：2018-10-30

申请号：CN201810522440.1

申请日：2018-05-28

Applicant: 北京交通大学

Inventor： 郑伟 ,  吴可

IPC: G06Q10/10 ,  G06F17/30

Abstract: 本发明提供了一种铁路电务工作流的生成方法。包括：从信息系统记录的事件日志中检测直接循环结构；根据直接循环检测结果，对事件日志进行解耦合处理；从解耦合处理后的事件日志中检测间接关联结构；对间接关联检测结果进行去冗余处理；从解耦合处理后的事件日志中检测直接关联结构；根据次序关系构造连接库所；根据连接库所构造有向弧集合。最后，根据变迁、连接库所和有向弧集合生成铁路电务工作流模型。本发明实施例对事件日志进行次序关系检测，对电务生产活动进行建模，使得工作流引擎能被模型驱动，可以有效地生成铁路电务工作流。